Assertion list for term "work as gate".

Results from Ascent++: 1
thermostat CapableOfwork as gate 0.25