Assertion list
equine (primary) → AtLocation
Results from Ascent++: 1
equine → AtLocation → tune 0.25