x REL y x REL (y REL z) x + y - z & w x + y * z / y DIV z MOD y & w NIL 2.3e5 "Text Literal" x Foo.V [ 1, "Two", 3 ] Bar.P() Foo.V:Bar.P() Bar.P(TRUE, FALSE, x, y.z, 2+z) Foo.V:Bar.P(TRUE, FALSE, x, y.z, 2+z) (E x :: TRUE) (E x, y :: TRUE) (E x~1, y :: x = y AND x * x = 2) (x + 2) TRUE FALSE (TRUE AND TRUE) (NOT NOT NOT FALSE) (x + 2, y + 3) (TRUE, y + 3) (x + 2):Foo.P() (x + 2):Foo.P(a, b.c, d+e) (x + 2, y + 3):Foo.P() (x + 2, y + 3):Foo.P(a, b.c, d+e) (x + 2, y + 3, z, w):Foo.P() (x + 2, y + 3, z, w):Foo.P(a, b.c, d+e) ISTEXT("Foo") ISREAL(x) ISINT(y) ISPAIR(CAR(CDR(z))) COS(SIN(MAX(x, MIN(y, ATAN(5,LN(EXP(FLOOR(CEILING(ABS(2))))))))))