Assertion list
traditional water heater (subgroup of water heater ) → HasProperty
Results from Ascent++: 1
traditional water heater → HasProperty → clear-cut 0.25