;;Date: Thu, 28 May 92 08:45:26 -0500 ;;From: esch%email.sp.unisys.com@metro.ucc.su.OZ.AU (John Esch) ;;To: cg@cs.umn.edu ;;Subject: CG TEST4, individuals ;;The following is used for regression testing of CONSTRUCT. ;;It contains the first set of type and individual examples from Conceptual Structures ;;page 119 & 120. ;;CANON RESERVATIONS-AND-ELEPHANTS . TYPE ARRIVAL-DATE(a) IS [UNIV:*a]. TYPE CIRCUS(c) IS [UNIV:*c]. TYPE CIRCUS-ELEPHANT(C) IS [ELEPHANT:*C]<-(AGNT)<-[PERFORM]->(LOC)->[CIRCUS]. TYPE DEPARTURE-DATE(d) IS [UNIV:*d]. TYPE ELEPHANT(e) IS [UNIV:*e]. TYPE HOTEL(h) IS [UNIV:*h]. TYPE HOTEL-RESERVATION(RESERVATION-NO) IS [RESERVATION:*RESERVATION-NO]- ->(RCPT)->[PERSON] ->(OBJ)->[ROOM]->(LOC)->[HOTEL] ->(DUR)->[TIME-PERIOD]- ->(STRT)->[ARRIVAL-DATE] ->(UNTL)->[DEPARTURE-DATE],,. TYPE PERFORM(p) IS [UNIV:*p]. TYPE PERSON(p) IS [UNIV:*p]. TYPE PROPOSITION(p) IS [UNIV:*p]. TYPE RESERVATION(r) IS [UNIV:*r]. TYPE ROOM(r) IS [UNIV:*r]. TYPE TIME-PERIOD(t) IS [UNIV:*t]. INDIVIDUAL HOTEL-RESERVATION(#316209) IS [RESERVATION:#316209]- ->(RCPT)->[PERSON:JOHN SOWA] ->(OBJ)->[ROOM:Q2]->(LOC)->[HOTEL:Shelburne] ->(DUR)->[TIME-PERIOD:@4 NIGHTS]- ->(STRT)->[ARRIVAL-DATE:MARCH 14 1983] ->(UNTL)->[DEPARTURE-DATE:MARCH 18 1983],,. INDIVIDUAL HOTEL-RESERVATION(#316210) IS [RESERVATION:#316210]- ->(RCPT)->[PERSON:JOHN ESCH] ->(OBJ)->[ROOM:Q3]->(LOC)->[HOTEL:Sidney] ->(DUR)->[TIME-PERIOD:@7 NIGHTS]- ->(STRT)->[ARRIVAL-DATE:MARCH 12 1983] ->(UNTL)->[DEPARTURE-DATE:MARCH 19 1983],,. INDIVIDUAL CIRCUS-ELEPHANT(#BUMBO) IS [ELEPHANT:#BUMBO]<-(AGNT)<-[PERFORM: {*}]->(LOC)->[CIRCUS:Flying Tigers]. INDIVIDUAL CIRCUS-ELEPHANT(#JUMBO) IS [ELEPHANT:#JUMBO]<-(AGNT)<-[PERFORM: {*}]->(LOC)->[CIRCUS:Barnum & Bailey].