Assertion list
slab avalanche (subgroup of avalanche ) → HasProperty
Results from Ascent++: 1
slab avalanche → HasProperty → possible 0.68