Assertion list
ladybug (primary) → IsA
Results from Ascent++: 2
ladybug → IsA → beetle 0.48
ladybug → IsA → good bugs 0.16