Ctemp in run 0:[<() -- [=(?x, ?y)]>, <() -- [energy-storage(?s)]>, <() -- [button(?b)]>, <() -- [energy-available(?e)]>, <() -- [button-on(?b)]>]