Assertion list
captor (primary) → AtLocation
Results from Ascent++: 1
captor → AtLocation → agitated state 0.16