Assertion list
ratchet (primary) → IsA
Results from Ascent++: 1
ratchet → IsA → a hand tool 0.32