Assertion list
common hippopotamus (subgroup of hippo ) → IsA
Results from Ascent++: 1
common hippopotamus → IsA → large, herbivorous mammal 0.81