Assertion list
heavy rainfall (subgroup of rain ) → HasProperty
Results from Ascent++: 1
heavy rainfall → HasProperty → possible 0.68