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