Assertion list
progress (primary) → AtLocation
Results from Ascent++: 1
progress → AtLocation → the making 0.25