Assertion list
gas water heater (subgroup of water heater ) → HasA
Results from Ascent++: 3
gas water heater → HasA → vent 0.67
gas water heater → HasA → a pilot light 0.45
gas water heater → HasA → ef 0.25