Assertion list
beeper (primary) → AtLocation
Results from Ascent++: 1
beeper → AtLocation → any place 0.25