Assertion list for term "travel to next designated floor".

Results from Ascent++: 1
elevator CapableOftravel to next designated floor 0.28