;;Date: Thu, 28 May 92 08:48:16 -0500
;;From: esch%email.sp.unisys.com@metro.ucc.su.OZ.AU (John Esch)
;;To: cg@cs.umn.edu
;;Subject: CG TEST8, appendix B2

;;The following is used for regression testing CONSTRUCT.

;;It contains the types and canonical graphs form Conceptual Structures 
;;Appendix B.2 Concepts, page 408.

;;CANON APPENDIX-B-2 .

TYPE ACT(a) IS [EVENT:*a].

SELECTING-GRAPH ACT IS
[ACT]->(AGNT)->[ANIMATE].

TYPE AGE(a) IS [CHARACTERISTIC:*a].

SELECTING-GRAPH AGE IS
[AGE]-
  ->(CHRC)->[ENTITY]
  ->(PTIM)->[TIME],.

TYPE ANGEL(a) IS [ANIMATE:*a].

TYPE ANGEL(a) IS [MOBILE-ENTITY:*a].

TYPE ANGEL(a) IS [~PHYOBJ:*a].

TYPE ANIMAL(a) IS [ANIMATE:*a].

TYPE ANIMAL(a) IS [MOBILE-ENTITY:*a].

TYPE ANIMAL(a) IS [PHYOBJ:*a].

TYPE ANIMAL(a) IS [~MACHINE:*a].

TYPE ANIMATE(a) IS [ENTITY:*a].

TYPE ~ANIMATE(a) IS [:*a]
~[PROPOSITION:[ANIMATE:*a]].

TYPE ARRIVE(a) IS [ACT:*a].

SELECTING-GRAPH ARRIVE IS
[ARRIVE]-
  ->(AGNT)->[MOBILE-ENTITY]
  ->(LOC)->[PLACE],.

TYPE ATTRIBUTE(a) IS [UNIV:*a].

SELECTING-GRAPH ATTRIBUTE IS
[ATTRIBUTE]<-(ATTR)<-[ENTITY].

TYPE BELIEVE(b) IS [STATE:*b].

SELECTING-GRAPH BELIEVE IS
[BELIEVE]-
  ->(EXPR)->[ANIMATE]
  ->(OBJ)->[PROPOSITION],.

TYPE BIG(b) IS [MAGNITUDE:*b].

SELECTING-GRAPH BIG IS
[BIG]-
  <-(SIZE)<-[PHYOBJ:*O1]
  ->(COMP)->[PHYOBJ:*O2],.

TYPE CAKE(c) IS [FOOD:*c].

TYPE CAKE(c) IS [PHYOBJ:*c].

TYPE CAKE-STUFF(c) IS [FOOD:*c].

TYPE CAKE-STUFF(c) IS [STUFF:*c].

SELECTING-GRAPH CAKE-STUFF IS
[CAKE-STUFF]<-(MATR)<-[CAKE].

TYPE CAT(c) IS [ANIMAL:*c].

TYPE CHARACTERISTIC(c) IS [ATTRIBUTE:*c].

TYPE CHILD(c) IS [PERSON:*c].

SELECTING-GRAPH CHILD IS
[CHILD]<-(CHLD)<-[PERSON].

TYPE CITY(c) IS [PLACE:*c].

TYPE CITY(c) IS [SOCIETY:*c].

TYPE CLOTHING(c) IS [ENTITY:*c].

TYPE COLOR(c) IS [ATTRIBUTE:*c].

SELECTING-GRAPH COLOR IS
[COLOR]<-(ATTR)<-[PHYOBJ].

TYPE COMMAND(c) IS [MESSAGE:*c].

SELECTING-GRAPH COMMAND IS
[COMMAND]<-(OBJ)<-[ORDER]->(RCPT)->[PERSON].

TYPE COMMUNICATE(c) IS [GIVE:*c].

SELECTING-GRAPH COMMUNICATE IS
[COMMUNICATE]-
  ->(AGNT)->[ANIMATE:*A1]
  ->(RCPT)->[ANIMATE:*A2]
  ->(INST)->[ENTITY]
  ->(OBJ)->[INFORMATION],.

TYPE CONTAIN(c) IS [STATE:*c].

SELECTING-GRAPH CONTAIN IS
[CONTAIN]-
  ->(LOC)->[ENTITY:*X]->(PART)->[INTERIOR:*Z]<-(LOC)<-[ENTITY:*Y]
  ->(OBJ)->[ENTITY:*Y],.

TYPE CONVEYANCE(c) IS [MACHINE:*c].

TYPE CUT(c) IS [ACT:*c].

SELECTING-GRAPH CUT IS
[CUT]-
  ->(AGNT)->[ANIMATE]
  ->(INST)->[PHYOBJ:*P1]->(ATTR)->[SHARP]
  ->(OBJ)->[PHYOBJ:*P2],.

TYPE DIFFICULT(d) IS [MANNER:*d].

SELECTING-GRAPH DIFFICULT IS
[DIFFICULT]-
  ->(EXPR)->[ANIMATE]
  ->(MANR)->[ACT],.

TYPE ENTITY(e) IS [UNIV:*e].

TYPE EVENT(e) IS [SITUATION:*e].

TYPE FOOD(f) IS [ENTITY:*f].

TYPE GIVE(g) IS [ACT:*g].

SELECTING-GRAPH GIVE IS
[GIVE]-
  ->(AGNT)->[ANIMATE:*A1]
  ->(RCPT)->[ANIMATE:*A2]
  ->(OBJ)->[ENTITY],.

TYPE HARDWARE(h) IS [STUFF:*h].

TYPE HOMEWORK(h) IS [WORK:*h].

TYPE HUMAN(h) IS [ANIMAL:*h].

TYPE INFORMATION(i) IS [UNIV:*i].

TYPE INTERIOR(i) IS [ENTITY:*i].

SELECTING-GRAPH INTERIOR IS
[INTERIOR]<-(PART)<-[ENTITY].

TYPE JACK(j) IS [TOOL:*j].

TYPE KITCHEN(k) IS [ROOM:*k].

TYPE KNOW(k) IS [STATE:*k].

SELECTING-GRAPH KNOW IS
[KNOW]-
  ->(EXPR)->[ANIMATE]
  ->(STAT)->[PROPOSITION],.

TYPE LAY(l) IS [ACT:*l].

SELECTING-GRAPH LAY IS
[LAY]-
  ->(AGNT)->[ANIMATE]
  ->(STAT)->[PHYOBJ]
  ->(LOC)->[PLACE],.

TYPE LOVE(l) IS [STATE:*l].

SELECTING-GRAPH LOVE IS
[LOVE]-
  ->(EXPR)->[ANIMATE]
  ->(OBJ)->[ENTITY],.

TYPE MACHINE(m) IS [ENTITY:*m].

TYPE ~MACHINE(m) IS [:*m]
~[PROPOSITION:[MACHINE:*m]].

TYPE MAGNITUDE(m) IS [MEASURE:*m].

TYPE MAKE(m) IS [ACT:*m].

SELECTING-GRAPH MAKE IS
[MAKE]-
  ->(AGNT)->[ANIMATE]
  ->(MATR)->[SUBSTANCE]
  ->(RSLT)->[PHYOBJ],.

TYPE MAMMAL(m) IS [ANIMAL:*m].

TYPE MANNER(m) IS [ATTRIBUTE:*m].

TYPE MEASURE(m) IS [UNIV:*m].

TYPE MESSAGE(m) IS [INFORMATION:*m].

SELECTING-GRAPH MESSAGE IS
[MESSAGE]<-(OBJ)<-[COMMUNICATE].

TYPE MOBILE-ENTITY(m) IS [ENTITY:*m].

TYPE MYTHICAL-CREATURE(m) IS [~ANIMATE:*m].

TYPE ORDER(o) IS [COMMUNICATE:*o].

TYPE PARENT(p) IS [PERSON:*p].

SELECTING-GRAPH PARENT IS
[PARENT]->(CHLD)->[PERSON].

TYPE PERSON(p) IS [ANIMAL:*p].

TYPE PET(p) IS [ANIMAL:*p].

SELECTING-GRAPH PET IS
[PET]<-(POSS)<-[PERSON].

TYPE PHYOBJ(p) IS [ENTITY:*p].

TYPE ~PHYOBJ(p) IS [:*p]
~[PROPOSITION:[PHYOBJ:*p]].

TYPE PLACE(p) IS [STATIONARY-ENTITY:*p].

SELECTING-GRAPH PLACE IS
[PLACE]<-(LOC)<-[UNIV].

TYPE PROCESS(p) IS [ACT:*p].

TYPE PROPOSITION(p) IS [INFORMATION:*p].

TYPE RECEIVE(r) IS [ACT:*r].

SELECTING-GRAPH RECEIVE IS
[RECEIVE]-
  ->(RCPT)->[ANIMATE]
  ->(INST)->[ENTITY]
  ->(OBJ)->[ENTITY]
  ->(SRCE)->[PLACE],.

TYPE ROBOT(r) IS [ANIMATE:*r].

TYPE ROBOT(r) IS [MACHINE:*r].

TYPE ROBOT(r) IS [MOBILE-ENTITY:*r].

TYPE ROOM(r) IS [PLACE:*r].

TYPE SET(s) IS [ACT:*s].

SELECTING-GRAPH SET IS
[SET]-
  ->(AGNT)->[ANIMATE]
  ->(STAT)->[PHYOBJ]
  ->(LOC)->[PLACE],.

TYPE SHARP(s) IS [ATTRIBUTE:*s].

TYPE SHIP(s) IS [MOBILE-ENTITY:*s].

TYPE SHIPMENT(s) IS [TRANSPORT:*s].

SELECTING-GRAPH SHIPMENT IS
[SHIPMENT]-
  ->(AGNT)->[ANIMATE]
  ->(INST)->[CONVEYANCE]
  ->(SRCE)->[PLACE:*P1]
  ->(DEST)->[PLACE:*P2]
  ->(PATH)->[PLACE: {*}]
  ->(OBJ)->[PHYOBJ],.

TYPE SITUATION(s) IS [UNIV:*s].

SELECTING-GRAPH SITUATION IS
[SITUATION]-
  ->(LOC)->[PLACE]
  ->(DUR)->[TIME-PERIOD],.

TYPE SOCIETY(s) IS [ANIMATE:*s].

TYPE STATE(s) IS [UNIV:*s].

SELECTING-GRAPH STATE IS
[STATE]-
  ->(DUR)->[TIME-PERIOD]
  ->(LOC)->[PLACE],.

TYPE STATIONARY-ENTITY(s) IS [ENTITY:*s].

TYPE STUFF(s) IS [ENTITY:*s].

TYPE SUBJECT-MATTER(s) IS [INFORMATION:*s].

TYPE SUBSTANCE(s) IS [ENTITY:*s].

TYPE TEACH(t) IS [ACT:*t].

SELECTING-GRAPH TEACH IS
[TEACH]-
  ->(AGNT)->[ANIMATE:*A1]
  ->(RCPT)->[ANIMATE:*A2]
  ->(OBJ)->[SUBJECT-MATTER],.

TYPE TEACHER(t) IS [PERSON:*t].

SELECTING-GRAPH TEACHER IS
[TEACHER]<-(AGNT)<-[TEACH]-
                     ->(RCPT)->[ANIMATE]
                     ->(OBJ)->[SUBJECT-MATTER],.

TYPE TELEPHONE(t) IS [PHYOBJ:*t].

SELECTING-GRAPH TELEPHONE IS
[TELEPHONE]<-(INST)<-[COMMUNICATE].

TYPE THINK(t) IS [ACT:*t].

SELECTING-GRAPH THINK IS
[THINK]-
  ->(AGNT)->[ANIMATE]
  ->(OBJ)->[PROPOSITION],.

TYPE THOUGHT(t) IS [PROPOSITION:*t].

SELECTING-GRAPH THOUGHT IS
[THOUGHT]<-(OBJ)<-[THINK].

TYPE TIME(t) IS [MEASURE:*t].

TYPE TIME-PERIOD(t) IS [MEASURE:*t].

TYPE TOOL(t) IS [ENTITY:*t].

SELECTING-GRAPH TOOL IS
[TOOL]<-(INST)<-[ACT].

TYPE TRANSPORT(t) IS [MOBILE-ENTITY:*t].

TYPE UNICORN(u) IS [MAMMAL:*u].

TYPE UNICORN(u) IS [MYTHICAL-CREATURE:*u].

TYPE USE(u) IS [ACT:*u].

SELECTING-GRAPH USE IS
[USE]-
  ->(AGNT)->[ANIMATE]
  ->(INST)->[ENTITY],.

TYPE WARM(w) IS [STATE:*w].

SELECTING-GRAPH WARM IS
[WARM]-
  ->(EXPR)->[ANIMAL]
  ->(INST)->[~ANIMATE],.

TYPE WEAR(w) IS [ACT:*w].

SELECTING-GRAPH WEAR IS
[WEAR]-
  ->(AGNT)->[HUMAN]
  ->(OBJ)->[CLOTHING],.

TYPE WEAR-OUT(w) IS [PROCESS:*w].

SELECTING-GRAPH WEAR-OUT IS
[WEAR-OUT]-
  ->(INST)->[TOOL]
  ->(OBJ)->[PHYOBJ],.

TYPE WORK(w) IS [ACT:*w].
