Assertion list
hoof (primary) → IsA
Results from Ascent++: 1
hoof → IsA → nail 0.32