Assertion list
pygmy goat (subgroup of goat ) → IsA
Results from Ascent++: 1
pygmy goat → IsA → pet 0.41