Assertion list
feral horse (subgroup of horse ) → HasProperty
Results from Ascent++: 1
feral horse → HasProperty → wild 0.25