Assertion list
global flood (subgroup of flood ) → HasProperty
Results from Ascent++: 1
global flood → HasProperty → possible 0.25