Assertion list for term "go to cold".

Results from Ascent++: 1
heat CapableOfgo to cold 0.50