Assertion list
pursuer (primary) → ReceivesAction
Results from Ascent++: 2
pursuer → ReceivesAction → returned 0.51
pursuer → ReceivesAction → entitled to reject the vehicle 0.25