Assertion list
total rise (subgroup of rise ) → IsA
Results from Ascent++: 1
total rise → IsA → the height 0.68