Assertion list for term "return to first floor".

Results from Ascent++: 1
elevator CapableOfreturn to first floor 0.34