[SCL] analytic operators and axioms

[John F. Sowa]

Robert and Chris,

I like the following description of the abstract syntax:

   http://www.ontologos.org/SCL%20Abstract%20Syntax.pdf

It is more readable than the current SCL document, and I
would recommend that Chris copy or adapt this presentation
for the next version of the SCL document.

I would also suggest that a few words of explanation be
included in the introductory paragraph(s) to make it clear
that this approach describes the mathematical structure of
the CL syntax while permitting a very broad range of options
in the printable form of any concrete language.  It is general
enough to specify the underlying structure of languages whose
surface structures vary as widely as KIF, conceptual graphs,
predicate calculus, and CLML.

Just one more suggestion:  Greek letters tend to scare people.
I suggest that they be replaced by ordinary Roman letters.

John