Assertion list for term "cross the setpoint".

Results from Ascent++: 1
temperature CapableOfcross the setpoint 0.36