[SCL] Headers and bodies

[John F. Sowa]

Pat,

When I said that I would prefer to have a very small
(say 2) number of Boolean operators in the SCL core,
I meant that as a preference.  If you and Chris want 5,
I can live with it, but 5 just sounds rather arbitrary.

The real question I wanted to ask is the following:

> Question:  What if I write (x y z w) in a KIF-like syntax, and x is not
> a relation?  Is that false?  Or is it syntactically incorrect?  Is there
> a distinction between simple falsity and syntax errors?  If there is no
> such distinction, what happens if I write (not (x y z w))?  Is it true?

How are such things defined?

John