Assertion list for term "go to floor".

Results from Ascent++: 1
elevator CapableOfgo to floor 0.54