Assertion list for term "run before sensed temperature".

Results from Ascent++: 1
air conditioner CapableOfrun before sensed temperature 0.28