Assertion list
foal (primary) → AtLocation
Results from Ascent++: 1
foal → AtLocation → herd 0.16