Assertion list
mustang (primary) → AtLocation
Results from Ascent++: 2
mustang → AtLocation → herd 0.25
mustang → AtLocation → third place 0.25