Assertion list for term "needed for cooling".

Results from Ascent++: 2
energy ReceivesActionneeded for cooling 0.67
energy (aspect of sign) ReceivesActionneeded for cooling 0.25