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