Assertion list
ratchet (primary) → HasA
Results from Ascent++: 4
ratchet → HasA → full polish finish 0.25
ratchet → HasA → lever-reverse 0.25
ratchet → HasA → quick-release 0.25
ratchet → HasA → tooth 0.25