Assertion list for term "go to cooling".

Results from Ascent++: 1
energy CapableOfgo to cooling 0.53