Assertion list
indexing (primary) → AtLocation
Results from Ascent++: 1
indexing → AtLocation → progress 0.40