Assertion list
power drill (primary) → HasProperty
Results from Ascent++: 2
power drill → HasProperty → useful 0.68
power drill → HasProperty → more useful 0.25