Assertion list
leg (aspect of horse ) → AtLocation
Results from Ascent++: 1
leg → AtLocation → the air 0.71