selector{ cond Is(AC,On) sequence{ cond Is(AC,Off) act Turn(AC,On) } }