Assertion list
system boiler (subgroup of boiler ) → HasProperty
Results from Ascent++: 2
system boiler → HasProperty → perfect 0.53
system boiler → HasProperty → compatible 0.38