Assertion list
overhead crane (subgroup of crane ) → HasProperty
Results from Ascent++: 1
overhead crane → HasProperty → customizable 0.41