Assertion list
elevation (primary) → AtLocation
Results from Ascent++: 2
elevation → AtLocation → the east 0.21
elevation → AtLocation → north 0.16