Assertion list
tower crane (subgroup of crane ) → IsA

Results from Ascent++: 1
tower craneIsA modern form of balance crane 0.34