Assertion list
gas furnace (subgroup of furnace ) → HasA
Results from Ascent++: 1
gas furnace → HasA → a pilot light 0.33