Assertion list
copilot (primary) → ReceivesAction
Results from Ascent++: 2
copilot → ReceivesAction → injured 0.16
copilot → ReceivesAction → killed 0.16