Assertion list
nail (primary) → IsA
Results from Ascent++: 3
nail → IsA → metal 0.34
nail → IsA → tool 0.31
nail → IsA → the part 0.25