Assertion list
hay (primary) → AtLocation
Results from Ascent++: 1
hay → AtLocation → the barn 0.67