Assertion list for term "remain at the highest point".

Results from Ascent++: 1
tension CapableOfremain at the highest point 0.25