[CL] CGIF / CG Display Form and Higher-Order Style

[Michael Schneider]

Dear all!

I try to get a basic understanding of CGIF and the CG display form, in 
particular w.r.t. the higher-order style that CL supports. The CL spec 
has a small example on Page 36, which shows how to quantify over 
predicates, but does not provide for the corresponding CG display form. 
I have tried to encode some own examples based on my understanding of 
what I could found in the spec but am uncertain whether I'm correct. So, 
it would be nice if someone could have a look at my examples. In each 
example, I will first start with the CLIF encoding of the example, then 
give my understanding of the CGIF variant and finally draw my 
understanding of the CG display form.

== Example 1 ==

"Eagles are a species, and Harry is an eagle."

CLIF:

     (and (Species Eagle) (Eagle Harry) )

CGIF [FIXME!]:

     [Species: Eagle] [Eagle: Harry]

CGDP [FIXME!]:

     +----------------+  +--------------+
     | Species: Eagle |  | Eagle: Harry |
     +----------------+  +--------------+

Question: Can this be written/drawn even more concisely, given that the 
label "Eagle" appears in both nodes (but as different kinds of labels)?

== Example 2 ==

"There exist members of classes that are species."

CLIF:

     (exists (s m)
         (and (Species s) (s m)
              (isMemberOfSpecies m s) ))

CGIF [FIXME!]:

     [Species: *s] [#?s: *m]
     (isMemberOfSpecies ?m ?s)

CGDP [FIXME!]:

     +-----+       +-----------------+       +-------------+
     | #?s | ---> ( isMemberOfSpecies ) ---> | Species: *s |
     +-----+       +-----------------+       +-------------+

Note: In the left-hand-side concept node, I have omitted the "*m" 
co-reference label, which isn't referred to elsewhere. This seems to be 
ok from looking at the other examples in the spec, right? An interesting 
question (similar to my question in example 1) would be: Is there a way 
to also avoid mentioning the "s" label? Probably not, I guess?

Thanks in advance and best regards,
Michael

-- 
Dipl.-Inform. Michael Schneider
Research Scientist, Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider at fzi.de
WWW  : http://www.fzi.de/michael.schneider
==============================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Stiftung Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Dipl. Wi.-Ing. Michael Flor, Prof. Dr. rer. nat. Ralf Reussner,
Prof. Dr. rer. nat. Dr. h.c. Wolffried Stucky, Prof. Dr. rer. nat. Rudi 
Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
==============================================================================