Assertion list for term "stop on sixth floor".

Results from Ascent++: 1
elevator CapableOfstop on sixth floor 0.25