Assertion list
initial (primary) → AtLocation
Results from Ascent++: 2
initial → AtLocation → the center 0.47
initial → AtLocation → the title 0.25