Assertion list
natural avalanche (subgroup of avalanche ) → ReceivesAction
Results from Ascent++: 1
natural avalanche → ReceivesAction → expected 0.25