Assertion list for term "stop at single ground".

Results from Ascent++: 1
elevator CapableOfstop at single ground 0.28