Assertion list
boom (aspect of crane ) → HasProperty
Results from Ascent++: 2
boom → HasProperty → long 0.34
boom → HasProperty → high 0.25