Assertion list
positron (primary) → AtLocation
Results from Ascent++: 1
positron → AtLocation → overlapping arm 0.25