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

[John F. Sowa]

Pat,

Will do.

> John, can you focus on providing an SCL-abstract-syntax
> version of CGs? If you don't need seqvars, don't use them:
> in fact, I think its an interesting question how 'small'
> a subset of SCL-AS is needed to cover all of CG syntax:
> if it turns out to be exactly the SCL-FOL subset that
> would be great.

I have been designing EGIF (Existential Graph Interchange
Format) as an untyped subset of CGIF.  I plan to map the
untyped SCL to EGIF and keep types in CGIF.

> (Do CGs require that functions be declared explicitly
> and have a fixed arity?)

I have always assumed so, but I could drop that assumption
for EGIF.  For CGIF, I would assume that functions and
relations are disjoint from individuals, but I plan to
support variable numbers of arcs (i.e., arguments).

John