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