;^ (load "/projects/mkb3/CVA/src/synfn")

;^ (load "/projects/mkb3/CVA/src/defn3")

;(innet "/projects/mkb3/CVA/networks/brachet.net")

^ (setf snepsul::*infertrace* nil)

(intext "/projects/stn2/CVA/demos/brachet.base")
;(intext "/projects/stn2/CVA/demos/pre-brachet.demo")

;;; This is the content of Karen's original "br.txt1" file  ;;;

;Right so as they sat, there came a white hart running into the hall with
;a white brachet next to him, and thirty couples of black hounds came
;running after them with a great cry.  

(describe
(add object1 #hart1 rel "ISA" object2 (build lex "hart") 
	kn_cat "story"))
;
(define into)
;
(describe
(add agent *hart1 act (build lex "run") into #hall1 kn_cat "story"))
;
(describe
(add member *hall1 class (build lex "hall") kn_cat "story"))
;
(describe
(add object *hall1 rel (build lex "hall") possessor *KA kn_cat "story-comp"))
;
(describe
(add object1 #brachet1 rel "ISA" object2 (build lex "brachet")
	kn_cat "story"))
;
(describe
(add object1 *brachet1 rel (build lex "next to") object2 *hart1 kn_cat "story"))
;
(describe
(add object *brachet1 property (build lex "white") kn_cat "story"))
;
^(defineNoun 'brachet)
;
(describe
(add object1 #hounds1 rel "ISA" object2 (build lex "hound") kn_cat "story"))
;
(describe
(add object *hounds1 property (build lex "black") kn_cat "story"))
;
(describe
(add agent *hounds1 act (build lex "run") kn_cat "story"))
;
(describe
(add object1 *hounds1 rel (build lex "behind") object2 *hart1 kn_cat "story"))
;
;Then the hart went running about the Round Table; as he went by the sideboard,
;the white brachet bit him in the buttock [. . .]
;
(describe
(add object1 *hart1 
        rel (build lex "next to") 
        object2 (build lex "Round Table") kn_cat "story"))
;
(describe
(add agent *brachet1 
     act (build action (build lex "bite") 
	 	object #butt1)
     kn_cat "story"))
;
(describe
(add whole *hart1 part *butt1 kn_cat "story"))
;
(describe
(add object1 *butt1 rel ISA object2 (build lex "buttock") kn_cat "story"))
;
^(defineNoun 'brachet)
;
;Therewith the knight arose, took up the brachet, went forth out of the hall,
;took his horse and rode away with the brachet.
;
(describe
(add member #knight1 class (build lex "knight") kn_cat "story"))
;
(describe
(add agent *knight1 act (build lex "arise") kn_cat "story"))
;
(describe
(add agent *knight1 
     act (build action (build lex "pick up") 
	        object *brachet1)
     kn_cat "story"))
;
(describe
(add agent *knight1 
     act (build action (build lex "mount") 
                object #horsey1) 
     kn_cat "story"))
;
(describe
(add member *horsey1 class (build lex "horse") kn_cat "story"))
;
(describe
(add agent *knight1 
     act (build action (build lex "ride") 
                object *horsey1)
      kn_cat "story"))
;
(describe
(add agent *knight1 
     act (build action (build lex "carry") 
	        object *brachet1)
     kn_cat "story"))
;
^(defineNoun 'brachet)
;
;Right so a lady came in on a white palfrey and cried aloud to King Arthur,
;`Sire, suffer me not to have this spite for the brachet is mine that the knight
;led away.'"  [p66]
;
(describe
(add object1 #lady1 rel "ISA" object2 (build lex "lady") kn_cat "story"))
;
(describe
(add agent *lady1 
     act (build action (build lex "say that")
                object (build agent *knight1 
                              act (build action (build lex "take") 
                                         object *brachet1)))
     kn_cat "story"))
;
(describe
(add agent *lady1 
     act (build action (build lex "say that")
                object (build possessor *lady1 
                              object *brachet1 
                              rel (build lex "brachet")))
     kn_cat "story"))
;
(describe
(add agent *lady1 
     act (build action (build lex "say that")
                object (build agent *lady1 
                              act (build action (build lex "want") 
                                         object *brachet1)))
     kn_cat "story"))
;
^(defineNoun 'brachet)


;;; This is the content of Karen's original "br.txt2" file  ;;;

;"'Then,' said Merlin, 'call sir Gawain, for he must bring back the white
;hart.  Also, sir, ye must call Sir Tor, for he must bring back the brachet
;and the knight, or else slay him. ...'"  [p67]
;
(describe
(add    agent *Mer 
        act (build action (build lex "say that")
                   object (build mode (build lex "must")
                                 object (build agent *SG
                                               act (build action build lex "bring")
                                                          object *hart1)
                                               to *hall1))
	kn_cat "story"))
;
(describe
(add    agent *Mer 
        act (build action (build lex "say that")
                   object (build mode (build lex "must")
                                 object (build agent #SirTor
                                               act (build action (build lex "bring")
                                                          object *brachet1)
                                               to *hall1)))
	kn_cat "story"))
;
(define proper-name)
;
(describe
(assert object *SirTor proper-name (build lex "Sir Tor") kn_cat "story"))
;
(describe
(assert member *SirTor class (build lex "knight") kn_cat "story-comp"))
;
(describe
(add    agent *Mer 
        act (build action (build lex "say that")
                   object (build mode (build lex "must")
                                 object (build min 1 max 1 
                                               arg (build agent *SirTor
                                                          act (build action 
                                                                 (build lex "bring")
                                                                     object *knight1)
                                                          to *hall1))
                                               arg (build agent *SirTor
                                                          act (build action (build lex "slay")
                                                          object *knight1))))
	kn_cat "story"))
;
^(defineNoun 'brachet)
;

;;; This is the content of Karen's original "br.txt3" file  ;;;

;`Sir,' said the elder `there came a white hart this way this day and
;many hounds chased him, and a white brachet was always next to him.'
;[p67]
;
(describe
(add 	agent #elder 
        act (build action (build lex "say that")
	           object (build agent #hart2 
				 act (build action (build lex "come") 
					    place #elderplace)))
	kn_cat "story"))
;
(describe 
(assert object1 *elder rel "ISA" object2 (build lex "elder") kn_cat "story"))
;
(describe
(assert object1 *hart2 rel "ISA" object2 (build lex "hart") kn_cat "story"))
;
(describe
(assert object *hart2 property (build lex "white") kn_cat "story"))
;
(describe
(add 	agent *elder 
        act (build action (build lex "say that")
	           object (build agent #hounds2 
                                 act (build action (build lex "chase") 
                                            object *hart2)))
	kn_cat "story"))
;
(describe
(assert object1 *hounds2 rel "ISA" object2 (build lex "hound")
	kn_cat "story"))
;
(describe
(add 	agent *elder 
        act (build action (build lex "say that")
	           object (build object1 #brachet2
		                 rel (build lex "next to")
		                 object1 *hart2))
	kn_cat "story"))
;
(describe
(assert object1 *brachet2 rel "ISA" object2 (build lex "brachet") 
	kn_cat "story"))
;
(describe
(assert object *brachet2 property (build lex "white") kn_cat "story"))
;
(describe
(assert equiv *brachet1 equiv *brachet2 kn_cat "story-comp"))
;
(describe
(assert equiv *hart1 equiv *hart2 kn_cat "story-comp"))
;
(describe
(assert equiv *hounds1 equiv *hounds2 kn_cat "story-comp"))
;
^(defineNoun 'brachet)

;;; This is the content of Karen's original "br.txt4" file  ;;;

;When Sir Tor was ready, he mounted upon his horse's back, and rode after the 
;knight with the brachet.  [71]
;
(describe
(add agent *SirTor 
     act (build action (build lex "mount") 
                object #torhorse kn_cat "story")))
;
(describe
(assert object *torhorse rel (build lex "horse") possessor *SirTor 
	kn_cat "story"))
;
(describe
(assert member *torhorse class (build lex "horse") kn_cat "story"))
;
(define direction)
;
(describe
(add agent *SirTor 
     act (build action (build lex "ride") 
                object *torhorse) 
	direction *knight1 kn_cat "story"))
;
(describe
(assert object1 *knight1 rel (build lex "with") object2 *brachet1 
	kn_cat "story"))
;
;`Ye shall say [you are sent]  by the knight who went in quest of the knight 
;with the brachet.'  [71]
;
(describe
(add agent *SirTor 
     act (build action (build lex "say that")
                object (build mode (build lex "shall")
	                      object (build agent #guys 
			                    act (build action (build lex "say that")
		                                       object (build 
	                                                        agent (build skf "questor-for"
						                a1 *knight1
					                        a2 *brachet1)
								act (build object *guys
				               			           action (build 
                                                                             lex "send")))))))
	kn_cat "story"))
;
(describe
(assert equiv (build skf "questor-for" a1 *knight1 a2 *brachet1)
	equiv *SirTor  kn_cat "story-comp"))
;
^(defineNoun 'brachet)
;
;`I know you ride after the knight with the white brachet, and I shall bring you
;where he is,' said the dwarf.  [72]
;
(describe
(add agent #dwarf1 
     act (build action (build lex "say that")
                object (build agent *dwarf1
			      act (build action (build lex "know that") 
	     	                         object (build agent *SirTor 
						       act (build action (build lex "seek")
			                               object *knight1)))))
     kn_cat "story"))
;
(describe
(add agent *dwarf1 
     act (build action (build lex "say that")
                object (build agent *dwarf1 
                              act (build action (build lex "bring") 
		              object *SirTor to #brplace)))
     kn_cat "story"))
;
(describe
(assert object *knight1 place *brplace kn_cat "story"))
;
(describe
(assert object *brachet1 place *brplace kn_cat "story-comp"))
;
(describe
(assert object1 *dwarf1 rel "ISA" object2 (build lex "dwarf") kn_cat "story"))
;

;;; This is the content of Karen's original "br.txt5" file  ;;;

;Then he went to the other pavilion and found a lady lying sleeping therein;
;and there was the white brachet which bayed at him fast. 
;
(describe
(add agent *SirTor act (build lex "go") to #pavilion1 kn_cat "story"))
;
(describe
(assert object1 *pavilion1 rel "ISA" object2 (build lex "pavilion")
	kn_cat "story"))
;
(describe
(add agent *lady1 act (build lex "sleep") place *pavilion1 kn_cat "story"))
;
(describe
(add agent *SirTor 
     act (build action (build lex "find") 
                object *lady1)
     place *pavilion1
     kn_cat "story"))
;
(describe
(add agent *SirTor 
     act (build action (build lex "find") 
                object *brachet1)
     place *pavilion1
     kn_cat "story"))
;
(describe
(add agent *brachet1 
     act (build lex "bay") 
     direction *SirTor 
     kn_cat "story"))
;
^(defineNoun 'brachet)

;;; This is the content of Karen's original "br.txt6" file  ;;;

;As soon as Sir Tor spied the white brachet, he took it by force and gave it 
;to the dwarf.  
;
(describe
(add agent *SirTor 
     act (build action (build lex "spy") 
                object *brachet1)
     kn_cat "story"))
;
(describe
(add agent *SirTor 
     act (build action (build lex "take") 
                object *brachet1)
     kn_cat "story"))
;
(define indobj)
;
(describe
(add agent *SirTor 
     act (build action (build lex "give") 
                object *brachet1 
                indobj *dwarf1)
	kn_cat "story"))
;
;With the noise, the lady came out of the pavilion with all her damosels.
;
(describe
(add agent *lady1 act (build lex "come") from *pavilion1 kn_cat "story"))
;
(define cause)
;
(describe
(add  	cause #noise1
	effect (build agent *lady1 act (build lex "come") from *pavilion1)
	kn_cat "story"))
;
(describe
(assert object1 *noise1 rel "ISA" object2 (build lex noise)))
;
(describe
(add agent #damosels1 act (build lex "come") from *pavilion1 kn_cat "story"))
;
(describe
(add  	cause *noise1
	effect (build agent *damosels1 act (build lex "come") from *pavilion1)
	kn_cat "story"))
;
(describe
(assert object1 *damosels1 rel "ISA" object2 (build lex "damosel") 
	kn_cat "story"))
;
(describe
(assert member *damosels1 class (build lex "person") kn_cat "story-comp"))
;
(describe
(assert equiv *noise1 equiv (build agent *brachet1 act (build lex "bay"))
	kn_cat "story_comp"))
;
;  `What!  Will ye take my brachet from me?' said the lady.
;
(describe
(add agent *lady1 
     act (build action (build lex "ask") 
                object (build agent *SirTor 
                              act (build action (build lex "take") 
                                         object *brachet1)
	 	              from *lady1))
                indobj *SirTor kn_cat "story"))
;
(describe
(assert object *lady1 property (build lex "angry") kn_cat "story-comp"))
;
(describe
(assert cause (build agent *SirTor 
		     act (build action (build lex "take") 
                                object *brachet1)
	 	     from *lady1)
	effect (build object *lady1 property (build lex "angry"))
	kn_cat "story-comp"))
;
;  `Yes,' said Sir Tor, `this brachet I have sought from King Arthur's court
;hither.'  [72]
;
(describe
(add agent *SirTor 
     act (build action (build lex "say that")
                object (build agent *SirTor 
                              act (build action (build lex "take") 
                                         object *brachet1)
	 	              from *lady1)
                indobj *lady1)  kn_cat "story"))
;
(describe
(add agent *SirTor 
     act (build action (build lex "say that")
                object (build agent *SirTor 
                              act (build action (build lex "seek") 
                                         object *brachet1)
     		              from *hall1 
                              to *pavilion1)) 
     kn_cat "story"))

;; What does brachet mean?
^(defineNoun 'brachet)