Assertion list
new boiler (subgroup of boiler ) → HasProperty
Results from Ascent++: 3
new boiler → HasProperty → efficient 0.70
new boiler → HasProperty → a-rated 0.53
new boiler → HasProperty → pricey 0.44