Assertion list
push (primary) → AtLocation
Results from Ascent++: 1
push → AtLocation → part 0.25