Assertion list
pika (primary) → AtLocation
Results from Ascent++: 2
pika → AtLocation → colony 0.25
pika → AtLocation → north america 0.25