Assertion list for term "keep cooling down to negative 10".

Results from Ascent++: 1
ice maker CapableOfkeep cooling down to negative 10 0.25