[SCL] Fwd: Common Logic status with respect to standards

[John F. Sowa]

Pat,

CGs have a typed notation, but the types are optional
in the sense that the universal type can be used in any
concept node.  I can make EGIF a proper subset of CGIF
in which only the universal type is used.  Then CGIF
would be a syntactic extension of EGIF.

>Would they be naturally formed as a sequence, or would the 'role' 
>style syntax (or some variant on it?) be more natural?

It would be simpler to treat sequences as first-class entities,
but I think I can handle the KIF-like treatment in both EGIF
and CGIF.

John