Assertion list for term "arrive at floor".

Results from Ascent++: 1
elevator CapableOfarrive at floor 0.40