Assertion list
conventional boiler (subgroup of boiler ) → HasProperty
Results from Ascent++: 1
conventional boiler → HasProperty → suitable 0.72