Assertion list
male horse (subgroup of horse ) → HasA
Results from Ascent++: 2
male horse → HasA → four canines 0.38
male horse → HasA → 40 teeth 0.32