Assertion list
random variable (subgroup of variable ) → ReceivesAction
Results from Ascent++: 2
random variable → ReceivesAction → distributed 0.41
random variable → ReceivesAction → written 0.34