Assertion list
migration (primary) → AtLocation
Results from Ascent++: 3
migration → AtLocation → progress 0.50
migration → AtLocation → northern serengeti 0.25
migration → AtLocation → part 0.25