Assertion list
shaft (aspect of screwdriver ) → MadeOf
Results from Ascent++: 1
shaft → MadeOf → tough steel 0.77