Assertion list
fire sprinkler (subgroup of sprinkler ) → HasProperty
Results from Ascent++: 1
fire sprinkler → HasProperty → effective 0.47