Assertion list for term "connect floor".

Results from Ascent++: 1
elevator CapableOfconnect floor 0.28