Assertion list
corps (primary) → AtLocation

Results from Ascent++: 1
corpsAtLocation early stages 0.25