Assertion list
mezzanine floor (primary) → AtLocation

Results from Ascent++: 1
mezzanine floorAtLocation the midship 0.25