Assertion list
head (aspect of horse ) → AtLocation
Results from Ascent++: 2
head → AtLocation → profile 0.30
head → AtLocation → cloud 0.25