Assertion list
corkscrew (primary) → IsA
Results from Ascent++: 1
corkscrew → IsA → tool 0.50