Assertion list
condensing boiler (subgroup of boiler ) → HasA
Results from Ascent++: 1
condensing boiler → HasA → larger heat exchanger 0.49