Assertion list
gas furnace (subgroup of furnace ) → AtLocation
Results from Ascent++: 1
gas furnace → AtLocation → every home 0.68