Assertion list for term "drive to designated rescue floor".

Results from Ascent++: 1
elevator CapableOfdrive to designated rescue floor 0.25