Assertion list
messenger (primary) → AtLocation
Results from Ascent++: 3
messenger → AtLocation → the world 0.40
messenger → AtLocation → makkah 0.25
messenger → AtLocation → yearlong extended mission 0.16