View source for SCL/For Harry/5

== {{strike|conventional}} First-Order Logic (SCL) ==

* {{strike|Lexicon fixed by signature}}   No signature required
* {{strike|Lexicon is pre-sorted into relation/function/individual names}}  Lexical categories implicit
* {{strike|One context-free syntax for expressing logical forms}} Syntactic options may be user-defined
* {{strike|Only ‘pure’ logical forms allowed SCL}}  can be intermixed with other content, including XML markup
* {{strike|No relations in the universe of discourse}} No restrictions on universe of quantification
* {{strike|No global naming scheme}}  Uses WWW standard  URI conventions


{{red|SCL is first-order logic with syntactic limitations removed and network use in mind. }}