Assertion list
arrest (primary) → AtLocation
Results from Ascent++: 2
arrest → AtLocation → retaliation 0.39
arrest → AtLocation → connection 0.36