Assertion list
shaft (aspect of screwdriver ) → HasProperty
Results from Ascent++: 1
shaft → HasProperty → strong 0.25