Assertion list for term "stop at the height".

Results from Ascent++: 1
bed CapableOfstop at the height 0.25