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