Assertion list
condensing furnace (subgroup of furnace ) → CapableOf
Results from Ascent++: 1
condensing furnace → CapableOf → use the heat 0.68