Assertion list
reasoning (primary) → AtLocation
Results from Ascent++: 1
reasoning → AtLocation → conflict 0.25