SEQ var1 := NOT x chan1 ! (x + 2) chan2 ! ((((y*3) - (y / 2)) + 5) * 6) chan3 ! ((z + 5) OR (a - 9))