Assertion list for term "reach their maximum height".

Results from Ascent++: 1
rocket CapableOfreach their maximum height 0.41