Assertion list
hacksaw (primary) → IsA
Results from Ascent++: 2
hacksaw → IsA → hand saws 0.38
hacksaw → IsA → -toothed saw 0.25