Assertion list
combination wrench (subgroup of wrench ) → IsA
Results from Ascent++: 1
combination wrench → IsA → stamped vlchek 0.68