Assertion list
traditional water heater (subgroup of water heater ) → HasA
Results from Ascent++: 1
traditional water heater → HasA → tank 0.24