Assertion list
possible sample (subgroup of sample ) → ReceivesAction
Results from Ascent++: 2
possible sample → ReceivesAction → likely to occur 0.84
possible sample → ReceivesAction → selected 0.84