;;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].