Assertion list
dense fog (subgroup of fog ) → HasProperty
Results from Ascent++: 1
dense fog → HasProperty → common 0.68