Assertion list
backhoe (primary) → HasProperty
Results from Ascent++: 1
backhoe → HasProperty → useful 0.36