Assertion list for term "enter cooling phase".

Results from Ascent++: 1
refrigerator CapableOfenter cooling phase 0.25