Assertion list for term "skip past desired temperature".

Results from Ascent++: 1
air conditioner CapableOfskip past desired temperature 0.16