Assertion list for term "stop on 9th floor".

Results from Ascent++: 1
elevator CapableOfstop on 9th floor 0.34