Assertion list
storm sewer (subgroup of sewer ) → HasProperty
Results from Ascent++: 1
storm sewer → HasProperty → separate 0.68