Assertion list
mayfly (primary) → IsA
Results from Ascent++: 1
mayfly → IsA → insect 0.43