Assertion list
single sample (subgroup of sample ) → ReceivesAction

Results from Ascent++: 3
single sampleReceivesAction collected 0.68
single sampleReceivesAction drawn 0.25
single sampleReceivesAction run 0.22