Assertion list
beta (primary) → AtLocation
Results from Ascent++: 2
beta → AtLocation → progress 0.25
beta → AtLocation → the funds 0.25