Assertion list for term "stop at each floor".

Results from Ascent++: 1
elevator CapableOfstop at each floor 0.39