Assertion list
gas boiler (subgroup of boiler ) → HasProperty
Results from Ascent++: 1
gas boiler → HasProperty → unsafe 0.16