Assertion list
pet cat (subgroup of cat ) → IsA
Results from Ascent++: 1
pet cat → IsA → carnivore 0.16