Assertion list
electric water heater (subgroup of water heater ) → HasA
Results from Ascent++: 2
electric water heater → HasA → two thermostats 0.52
electric water heater → HasA → a 2.5 gal 0.31