Assertion list
heat exchanger (aspect of furnace ) → HasProperty
Results from Ascent++: 3
heat exchanger → HasProperty → faulty 0.36
heat exchanger → HasProperty → vital 0.34
heat exchanger → HasProperty → bad 0.31