Assertion list
omnivore (primary) → IsA
Results from Ascent++: 1
omnivore → IsA → animal 0.55