Assertion list
gantry crane (subgroup of crane ) → HasA
Results from Ascent++: 1
gantry crane → HasA → hoist 0.43