Assertion list
condensing boiler (subgroup of boiler ) → HasProperty
Results from Ascent++: 2
condensing boiler → HasProperty → more efficient 0.75
condensing boiler → HasProperty → more expensive 0.38