Ctemp in run 0:[<() -- [energy-available(?e)]>, <() -- [¬button-on(?b)]>]