Assertion list for term "reach 80".

Results from Ascent++: 1
temperature CapableOfreach 80 0.55