Assertion list for term "stop at floor".

Results from Ascent++: 1
elevator CapableOfstop at floor 0.66