Assertion list
socket wrench (primary) → IsA
Results from Ascent++: 1
socket wrench → IsA → wrench 0.68