Assertion list
carnivore (primary) → IsA
Results from Ascent++: 2
carnivore → IsA → predator 0.32
carnivore → IsA → organism 0.31