Assertion list
automatic sprinkler (subgroup of sprinkler ) → CapableOf
Results from Ascent++: 1
automatic sprinkler → CapableOf → control fire 0.16