Assertion list
reach (primary) → AtLocation
Results from Ascent++: 2
reach → AtLocation → early 0.25
reach → AtLocation → late 19th 0.25