Assertion list
probability distribution (subgroup of distribution ) → ReceivesAction
Results from Ascent++: 2
probability distribution → ReceivesAction → shown 0.68
probability distribution → ReceivesAction → derived 0.25