[SCL] analytic operators and axioms

[Chris Menzel]

On Thu, Nov 06, 2003 at 05:58:35PM -0500, John Sowa wrote:
> 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, 

Well, I do find it virtuously elegant, but more readable?  "There is a
collection of analytic/selector operators on SCL formulas with the nine
subgroup clusters in one-one correspondence with the nine
synthetic/constructor operators (their inverse)..."  Now *I* like that
way of talking, but it sure sounds like the same sort of discourse you
randomly excoriate in the current document.

-chris