Assertion list for term "turn on the furnace".

Results from Ascent++: 1
thermostat CapableOfturn on the furnace 0.45