[CL] The case of the vanishing variables -- history and analysis

[John F. Sowa]

Chris,

I agree that blurring the distinction between individuals
and relations is a bigger jump.  But actually, it didn't
cause much difficulty in mapping CGIF to CL.

 > By contrast, the distinction between constant and
 > variable is purely syntactic...

True.  But if you recall, that's what I'm trying to
define -- syntax.  I'm just piggybacking the semantics
on what you and Pat did.

John