Assertion list
handle (aspect of wrench ) → HasProperty
Results from Ascent++: 1
handle → HasProperty → ergonomic 0.16