Assertion list for term "turn off on an overheat fault".

Results from Ascent++: 1
boiler CapableOfturn off on an overheat fault 0.36