Assertion list for term "stop at fifth floor".

Results from Ascent++: 1
elevator CapableOfstop at fifth floor 0.25