Assertion list
boom (aspect of crane ) → HasA

Results from Ascent++: 1
boomHasA tube 0.25