Assertion list
member (aspect of guard ) → ReceivesAction

Results from Ascent++: 5
memberReceivesAction injured 0.40
memberReceivesAction killed 0.40
memberReceivesAction assigned to other, emergency-re… 0.25
memberReceivesAction declared elected 0.25
memberReceivesAction left bloody 0.16