Assertion list
grasshopper (primary) → IsA
Results from Ascent++: 1
grasshopper → IsA → insect 0.44