Assertion list
chain hoist (subgroup of hoist ) → HasA
Results from Ascent++: 1
chain hoist → HasA → lever 0.68