Assertion list
pivot (primary) → AtLocation
Results from Ascent++: 1
pivot → AtLocation → the downstream 0.25