Assertion list
robot (primary) → AtLocation
Results from Ascent++: 2
robot → AtLocation → the air 0.40
robot → AtLocation → peace 0.30