Assertion list
natural avalanche (subgroup of avalanche ) → HasProperty
Results from Ascent++: 2
natural avalanche → HasProperty → possible 0.68
natural avalanche → HasProperty → unlikely 0.49