Assertion list
boiler (primary) → IsA
Results from Ascent++: 4
boiler → IsA → closed vessel 0.56
boiler → IsA → vessel 0.49
boiler → IsA → a pressure vessel 0.41
boiler → IsA → enclosed vessel 0.40