Assertion list
warner (primary) → AtLocation
Results from Ascent++: 3
warner → AtLocation → operation year-round 0.31
warner → AtLocation → prison 0.25
warner → AtLocation → the loop 0.25