Assertion list for term "switch the heater".

Results from Ascent++: 1
thermostat CapableOfswitch the heater 0.42