Assertion list
mobile crane (subgroup of crane ) → HasProperty
Results from Ascent++: 1
mobile crane → HasProperty → simple 0.59