Assertion list
jib crane (subgroup of crane ) → HasProperty
Results from Ascent++: 1
jib crane → HasProperty → more flexible 0.16