Assertion list
right (aspect of call ) → AtLocation
Results from Ascent++: 2
right → AtLocation → peace 0.35
right → AtLocation → security 0.29