[CL] CG: RE: Posted Annex B

[John F. Sowa]

John,

I agree:

 > It seems to me that the definition of universalConcept
 > should be in the Concept section, not the arc section.
 > Further, one might like to define concept as a universalConcept
 > | ordinaryConcept in the definition of concept.

This was one of the loose ends I patched up quickly,
when I thought that the following example would not be
handled correctly.

For example, one might want to say "Every cat is on a mat"
and translate it to the following CGIF:

    (On [Cat: @every] [Mat])

This should be expanded to the following core CGIF:

    ~[ [*x] (Cat ?x) ~[ [*y] (Mat ?y) (On ?x ?y)]]

Late last night, I thought that the universal quantifier
wouldn't be handled properly if it was nested inside an
arc of a conceptual relation.

But just now, I checked the transformation rules, and
indeed, the arc sequence of a conceptual relation is
unpacked *before* the CG is translated to core CGIF.

Therefore, any concept, existential or universal, could
be nested inside the arcs of an actor or relation.  The
simplest fix is to delete the late night "fix".

So I did that.  See the new version:

    http://www.jfsowa.com/cg/annexb.htm

John Sowa