Assertion list
new water heater (subgroup of water heater ) → HasProperty

Results from Ascent++: 1
new water heaterHasProperty efficient 0.16