Assertion list
tower crane (subgroup of crane ) → HasProperty
Results from Ascent++: 1
tower crane → HasProperty → more difficult than the install… 0.25