Assertion list for term "go to third floor".

Results from Ascent++: 1
elevator CapableOfgo to third floor 0.40