Assertion list
mission (aspect of platoon ) → ReceivesAction
Results from Ascent++: 2
mission → ReceivesAction → accomplished 0.68
mission → ReceivesAction → aborted 0.16