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

;;The following is used for regression testing CONSTRUCT.

;;This file contains examples from Conceptual Structures, 
;;page by page, of graphs with contexts.
;;This includes lots of cases of negative contexts.
;;A Few other examples are thrown in just to be sure most cases are covered.

[PROPOSITION:[P] [Q] [R]].

~[PROPOSITION:[P] [Q] [R]].

[PROPOSITION:(PAST)->[EVENT]].

~[PROPOSITION:~[PROPOSITION:[P] [Q] [R]]].

~[PROPOSITION:(PAST)->~[PROPOSITION:[EVENT]]].

~[PROPOSITION:~[PROPOSITION:[P]] ~[PROPOSITION:[Q]] ~[PROPOSITION:[R]]].

~[PROPOSITION:[P] ~[PROPOSITION:[Q]] ~[PROPOSITION:[R]]].

~[PROPOSITION:[P] [Q] ~[PROPOSITION:[R] [S]]].

~[PROPOSITION:[OSTRICH]<-(AGNT)<-[FLY]].

~[PROPOSITION:[PERSON] ~[PROPOSITION:[PERSON]<-(CHLD)<-[MOTHER]]].

~[PROPOSITION:[STUDENT]-
  <-(AGNT)<-[READ]->(OBJ)->[BOOK:*B1]
  <-(POSS)->[BOOK:*B1],].

[PROPOSITION:[TEACHER:#]<-(AGNT)<-[WRITE]->(RSLT)->[BOOK:*B1] ~[PROPOSITION:[STUDENT]<-(AGNT)<-[READ]->(OBJ)->[BOOK:*B1]]].

[PROPOSITION:[PERSON:Rosalie] ~[PROPOSITION:[PERSON:Rosann]]].

[PROPOSITION:[PERSON:Rosalie] ~[PROPOSITION:[PERSON:Rosann=Roaslie]]].

~[PROPOSITION:[PERSON:*x] ~[PROPOSITION:[PERSON:*y=*y]<-(CHLD)<-[MOTHER:*z]]].

~[PROPOSITION:[MAN:*x] ~[PROPOSITION:[MAN:*x]<-(EXPR)<-[LOVE]->(OBJ)->[WOMAN]]].

[PROPOSITION:[WOMAN:*y] ~[PROPOSITION:[MAN:*x] ~[PROPOSITION:[MAN:*x]<-(EXPR)<-[LOVE]->(OBJ)->[WOMAN:*y]]]].

[PROPOSITION:[PROPOSITION:*x] [PROPOSITION:*y] ~[PROPOSITION:~[PROPOSITION:[PROPOSITION:*x]] ~[PROPOSITION:[PROPOSITION:*y]]]].

[PROPOSITION:[PROPOSITION:*x] [PROPOSITION:*y] ~[PROPOSITION:[PROPOSITION:*x] ~[PROPOSITION:[PROPOSITION:*y]]]].

[PROPOSITION:[PERSON:*x] [PERSON:*y] ~[PROPOSITION:[PERSON:*x=*y]]].

TYPE T(t) IS [UNIV:*t].

TYPE ~T(x) IS [:*x]
~[PROPOSITION:[T:*x]].

[PROPOSITION:[PROPOSITION:*x] [PROPOSITION:*y] ~[PROPOSITION:[PROPOSITION:*x=*y]]].

RELATION ~PART(x,y) IS [ENTITY:*x] [ENTITY:*y]
~[PROPOSITION:[ENTITY:*x]->(PART)->[ENTITY:*y]].

~[PROPOSITION:[BOAT:Cybele]->(PART)->[MOTOR]].

[~BOAT:Cybele]->(PART)->[MOTOR].

[PROPOSITION:[ENTITY:Cybele]->(PART)->[MOTOR] ~[PROPOSITION:[BOAT:Cybele]]].

[BOAT:Cybele]->(~PART)->[MOTOR].

[PROPOSITION:[BOAT:Cybele] [MOTOR:*x] ~[PROPOSITION:[ENTITY:Cybele]->(PART)->[ENTITY:*x]]].

[BOAT:Cybele]->(PART)->[~MOTOR].

[PROPOSITION:[BOAT:Cybele]->(PART)->[ENTITY:*x] ~[PROPOSITION:[MOTOR:*x]]].

[SITUATION].

[SITUATION:[]].

[SITUATION:initial-state[]].

[SITUATION:*s0[]].

[SITUATION:early-state*s1[]].

[[UNIV]].

[UNIV:middle-state[]].

[UNIV:*s3[]].

[UNIV:late-state*s4[]].

[HISTORY:name1[EVENT]].

[HISTORY:*v1[EVENT]->(WHEN)->[YEAR:1520]].

[HISTORY:(OLD)->[EVENT]].

[HISTORY:name3[[EVENT:e1] [EVENT:e2]]].

[HISTORY:*v3[[EVENT:e3] [EVENT:e4]]].

[HISTORY:name4*v4[[EVENT:e5] [EVENT:e6]]].

[HISTORY:name5~[[EVENT:e7] [EVENT:e8]]].

[HISTORY:*v5~[[EVENT:e9] [EVENT:e10]]].

[HISTORY:name6*v6~[[EVENT:e11] [EVENT:e12]]].
