I Current work in Baha'i philosophy.
II Rogets' Thesaurus in English and Glosa.
III Software to help in the translation to and from Glosa.
IV The Glosa website.
V The lambda papers written by the inventors of the Scheme programming language.
SABIAN GRAMMAR
Take the following sentence in Glosa:
Es u lingua tu no ski pa existe.
This translates literally as:
Its a language you didn't know existed.
The phrase "you didn't know existed" could be said to modify "language" and so in the Glosa equivalent we could put the Glosa ";" punctuation mark ( see the link above ) after it, but it could also be expressed as a function word in lambda calculus. Using the syntax of Scheme ( see above ) we could also express other modifying phrases in relation to the words they modify, like this:
( Es u (lingua tu no (ski (pa existe))))
As this looks a little awkward, we could use the following equivalences instead:
"." == "("
"," == ")"
So the sentence could be written like this:
. Es u .lingua tu no .ski .pa existe,,,,
But since in speech these distinctions do not occur, perhaps it should be relegated to the grammar books and discussions on the proper usage of the language.
It should also be noted that the above syntax does not precisely correspond to the computer language syntax of the Scheme programming language or classical lambda calculus. Thus, for example, instead of this:
( lambda x ( + 3 x ))
we would write the same thing like this:
{ + 3 x }
The '{' represents the defining word 'lambda', and '}' the end of the definition. The calculus of natural language includes only the lambda definition and not its application; therefore the fact that we are defining a new instance of 'x' is irrelevant since we are also defining a new instance of the function '+'. It differs from a computational context, in that all the elements of calculation in a defining context are functions and not variables or literal constants. There are three contexts: a defining one, a computational one, and an applicative one. The latter is entirely dependent on the former, and of itself cannot influence the outcome of the previous ones.