Assertion list
butterfly (primary) → IsA
Results from Ascent++: 3
butterfly → IsA → insect 0.52
butterfly → IsA → bird 0.31
butterfly → IsA → beautiful, flying insects 0.26