Assertion list
run (primary) → AtLocation
Results from Ascent++: 2
run → AtLocation → progress 0.43
run → AtLocation → premium 0.39