Date: Wed, 12 Feb 2003 13:59:03 -0500 (EST) From: Scott T Napieralski Subject: Annotated brachet demo Edited and reformatted by: William J. Rapaport, 18 Feb 2003 [wjr] ============================================================== Starting image `/util/acl62/composer' with no arguments in directory `/home/unmdue/stn2/' on machine `localhost'. International Allegro CL Enterprise Edition 6.2 [Solaris] (Aug 15, 2002 14:24) Copyright (C) 1985-2002, Franz Inc., Berkeley, CA, USA. All Rights Reserved. This development copy of Allegro CL is licensed to: [4549] SUNY/Buffalo, N. Campus ;; Optimization settings: safety 1, space 1, speed 1, debug 2. ;; For a complete description of all compiler switches given the current ;; optimization settings evaluate (explain-compiler-settings). ;;--- ;; Current reader case mode: :case-sensitive-lower cl-user(1): :cd /projects/stn2/CVA /projects/stn2/CVA/ cl-user(2): :ld /projects/snwiz/bin/sneps ; Loading /projects/snwiz/bin/sneps.lisp Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% SNePS-2.6 [PL:0a 2002/09/30 22:37:46] loaded. Type `(sneps)' or `(snepslog)' to get started. cl-user(3): :ld defun_noun.cl ; Loading /projects/stn2/CVA/defun_noun.cl cl-user(4): (sneps) Welcome to SNePS-2.6 [PL:0a 2002/09/30 22:37:46] Copyright (C) 1984--2002 by Research Foundation of State University of New York. SNePS comes with ABSOLUTELY NO WARRANTY! Type `(copyright)' for detailed copyright information. Type `(demo)' for a list of example applications. 2/11/2003 19:00:22 * (demo "demos/brachet.demo") File /projects/stn2/CVA/demos/brachet.demo is now the source of input. CPU time : 0.01 * ;; Brachet demo - created by K. Ehrlich ;; - modified by A. Hunt & J. Koplas ;; - modified by M. Broklawski ;; - modified by S. Napieralski ;; clear all information out of the network (resetnet t) Net reset CPU time : 0.01 * ;; turn off singular path inference ^( --> in-package snip) # CPU time : 0.01 * ;;; redefine function to return nil ;;; so that forward inference will not be limited ^( --> defun broadcast-one-report (rep) (let (anysent) (do.chset (ch *OUTGOING-CHANNELS* anysent) (when (isopen.ch ch) (setq anysent (or (try-to-send-report rep ch) anysent))))) nil) broadcast-one-report CPU time : 0.00 * ;;; return to sneps package ^( --> in-package sneps) # CPU time : 0.00 * ;;; turn off inference tracing [wjr] ^ --> (setf snepsul::*infertrace* nil) nil CPU time : 0.01 * ;;; input background knowledge (intext "/projects/stn2/CVA/demos/rels") File /projects/stn2/CVA/demos/rels is now the source of input. CPU time : 0.00 * ;;; Define the relations (arc labels). ;;; The first 5 relations listed next are predefined by SNeRE; ;;; the rest (a1, a2, ..., kn_cat) are user-defined. [wjr] act is already defined. action is already defined. effect is already defined. object1 is already defined. object2 is already defined. (a1 a2 a3 a4 act action after agent antonym associated before cause class direction effect equiv etime from in indobj instr into lex location manner member mode object object1 object2 on onto part place possessor proper-name property rel skf sp-rel stime subclass superclass synonym time to whole kn_cat) CPU time : 0.14 * End of file /projects/stn2/CVA/demos/rels CPU time : 0.15 * (demo "/projects/stn2/CVA/demos/paths") File /projects/stn2/CVA/demos/paths is now the source of input. CPU time : 0.00 * ;;; Composition of certain paths ;;; Make Before Transitive (define-path before (compose before (kstar (compose after- ! before)))) before implied by the path (compose before (kstar (compose after- ! before))) before- implied by the path (compose (kstar (compose before- ! after)) before-) CPU time : 0.00 * ;;; Make After Transitive (define-path after (compose after (kstar (compose before- ! after)))) after implied by the path (compose after (kstar (compose before- ! after))) after- implied by the path (compose (kstar (compose after- ! before)) after-) CPU time : 0.00 * ;; If X is a member of the class Y and Y is a subclass of Z then ;; X is a member of the class Z. ;; Example: If Fido is a brachet and all brachets are hounds then ;;; Fido is a hound. (define-path class (compose class (kstar (compose subclass- ! superclass)))) class implied by the path (compose class (kstar (compose subclass- ! superclass))) class- implied by the path (compose (kstar (compose superclass- ! subclass)) class-) CPU time : 0.00 * ;; Make subclass transitive (define-path subclass (compose subclass (kstar (compose superclass- ! subclass)))) subclass implied by the path (compose subclass (kstar (compose superclass- ! subclass))) subclass- implied by the path (compose (kstar (compose subclass- ! superclass)) subclass-) CPU time : 0.00 * End of /projects/stn2/CVA/demos/paths demonstration. CPU time : 0.02 * (demo "/projects/stn2/CVA/demos/brachet.base") File /projects/stn2/CVA/demos/brachet.base is now the source of input. CPU time : 0.00 * ;;; This is the set of assertions which build the base network which ;;; corresponds to Karen Ehrlich's vocabulary acquisition project. ;;; Commented and made accessible by Alan Hunt and Geoffrey Koplas, '97 ;;; The following is the information that needs to get fed into the network ;;; for the Narrative Acquisition demos; namely the background knowledge ;;; on the words _other_ than the one being acquired. ; Animals are physical objects (describe (assert subclass (build lex "animal") superclass (build lex "phys obj") kn_cat "life")) (m3! (kn_cat life) (subclass (m1 (lex animal))) (superclass (m2 (lex phys obj)))) (m3!) CPU time : 0.01 * ; Quadrupeds are vertebrates (describe (assert subclass (build lex "quadruped") superclass (build lex "vertebrate") kn_cat "life")) (m6! (kn_cat life) (subclass (m4 (lex quadruped))) (superclass (m5 (lex vertebrate)))) (m6!) CPU time : 0.01 * ; Ungulates are herbivores (describe (assert subclass (build lex "ungulate") superclass (build lex "herbivore") kn_cat "life")) (m9! (kn_cat life) (subclass (m7 (lex ungulate))) (superclass (m8 (lex herbivore)))) (m9!) CPU time : 0.01 * ; Mammals are animals (describe (assert subclass (build lex "mammal") superclass (build lex "animal") kn_cat "life")) (m11! (kn_cat life) (subclass (m10 (lex mammal))) (superclass (m1 (lex animal)))) (m11!) CPU time : 0.00 * ; Mammals are vertebrates (describe (assert subclass (build lex "mammal") superclass (build lex "vertebrate") kn_cat "life")) (m12! (kn_cat life) (subclass (m10 (lex mammal))) (superclass (m5 (lex vertebrate)))) (m12!) CPU time : 0.00 * ; Deer are mammals (describe (assert subclass (build lex "deer") superclass (build lex "mammal") kn_cat "life")) (m14! (kn_cat life) (subclass (m13 (lex deer))) (superclass (m10 (lex mammal)))) (m14!) CPU time : 0.01 * ; Deer are quadrupeds (describe (assert subclass (build lex "deer") superclass (build lex "quadruped") kn_cat "life")) (m15! (kn_cat life) (subclass (m13 (lex deer))) (superclass (m4 (lex quadruped)))) (m15!) CPU time : 0.01 * ; Deer are herbivores (describe (assert subclass (build lex "deer") superclass (build lex "herbivore") kn_cat "life")) (m16! (kn_cat life) (subclass (m13 (lex deer))) (superclass (m8 (lex herbivore)))) (m16!) CPU time : 0.00 * ; Deer are animals (describe (assert subclass (build lex "deer") superclass (build lex "animal") kn_cat "life")) (m17! (kn_cat life) (subclass (m13 (lex deer))) (superclass (m1 (lex animal)))) (m17!) CPU time : 0.01 * ; Deer is a basic level category (describe (assert member (build lex "deer") class (build lex "basic ctgy") kn_cat "life")) (m19! (class (m18 (lex basic ctgy))) (kn_cat life) (member (m13 (lex deer)))) (m19!) CPU time : 0.01 * ;"Harts are deer" (describe (assert subclass (build lex "hart") superclass (build lex "deer") kn_cat "life")) (m21! (kn_cat life) (subclass (m20 (lex hart))) (superclass (m13 (lex deer)))) (m21!) CPU time : 0.00 * ; Horses are quadrupeds (describe (assert subclass (build lex "horse") superclass (build lex "quadruped") kn_cat "life")) (m23! (kn_cat life) (subclass (m22 (lex horse))) (superclass (m4 (lex quadruped)))) (m23!) CPU time : 0.00 * ; Horses are herbivores (describe (assert subclass (build lex "horse") superclass (build lex "herbivore") kn_cat "life")) (m24! (kn_cat life) (subclass (m22 (lex horse))) (superclass (m8 (lex herbivore)))) (m24!) CPU time : 0.01 * ; Horses are animals (describe (assert subclass (build lex "horse") superclass (build lex "animal") kn_cat "life")) (m25! (kn_cat life) (subclass (m22 (lex horse))) (superclass (m1 (lex animal)))) (m25!) CPU time : 0.00 * ; Horse is a basic level category (describe (assert member (build lex "horse") class (build lex "basic ctgy") kn_cat "life")) (m26! (class (m18 (lex basic ctgy))) (kn_cat life) (member (m22 (lex horse)))) (m26!) CPU time : 0.01 * ; Ponies are animals (describe (assert subclass (build lex "pony") superclass (build lex "animal") kn_cat "life")) (m28! (kn_cat life) (subclass (m27 (lex pony))) (superclass (m1 (lex animal)))) (m28!) CPU time : 0.01 * ;"Dogs are mammals" (describe (assert subclass (build lex "dog") superclass (build lex "mammal") kn_cat "life")) (m30! (kn_cat life) (subclass (m29 (lex dog))) (superclass (m10 (lex mammal)))) (m30!) CPU time : 0.00 * ;"Dogs are quadrupeds" (describe (assert subclass (build lex "dog") superclass (build lex "quadruped") kn_cat "life")) (m31! (kn_cat life) (subclass (m29 (lex dog))) (superclass (m4 (lex quadruped)))) (m31!) CPU time : 0.01 * ;"Dogs are animals" (describe (assert subclass (build lex "dog") superclass (build lex "animal") kn_cat "life")) (m32! (kn_cat life) (subclass (m29 (lex dog))) (superclass (m1 (lex animal)))) (m32!) CPU time : 0.01 * ; Dog is a basic level category (describe (assert member (build lex "dog") class (build lex "basic ctgy") kn_cat "life")) (m33! (class (m18 (lex basic ctgy))) (kn_cat life) (member (m29 (lex dog)))) (m33!) CPU time : 0.00 * ;"Hounds are dogs" (describe (assert subclass (build lex "hound") superclass (build lex "dog") kn_cat "life")) (m35! (kn_cat life) (subclass (m34 (lex hound))) (superclass (m29 (lex dog)))) (m35!) CPU time : 0.01 * ;"Something is a member of the class dog" (describe (assert member #rex class (build lex "dog"))) (m36! (class (m29 (lex dog))) (member b1)) (m36!) CPU time : 0.00 * ;"The dog is possessed by something" (describe (assert object *rex rel (build lex "dog") possessor #rexboss)) (m37! (object b1) (possessor b2) (rel (m29 (lex dog)))) (m37!) CPU time : 0.00 * ;"The thing that owns the dog is a person" (describe (assert member *rexboss class (build lex "person"))) (m39! (class (m38 (lex person))) (member b2)) (m39!) CPU time : 0.01 * ; Kings are persons (describe (add subclass (build lex "king") superclass (build lex "person") kn_cat "life")) (m41! (kn_cat life) (subclass (m40 (lex king))) (superclass (m38 (lex person)))) (m41!) CPU time : 0.01 * ; Wizards are persons. (describe (assert subclass (build lex "wizard") superclass (build lex "person") kn_cat "life")) (m43! (kn_cat life) (subclass (m42 (lex wizard))) (superclass (m38 (lex person)))) (m43!) CPU time : 0.00 * ; Knights are persons. (describe (assert subclass (build lex "knight") superclass (build lex "person") kn_cat "life")) (m45! (kn_cat life) (subclass (m44 (lex knight))) (superclass (m38 (lex person)))) (m45!) CPU time : 0.01 * ; Person is a basic level category (describe (assert member (build lex "person") class (build lex "basic ctgy") kn_cat "life")) (m46! (class (m18 (lex basic ctgy))) (kn_cat life) (member (m38 (lex person)))) (m46!) CPU time : 0.01 * ; Something is named 'King Arthur' (describe (assert object #KA proper-name (build lex "King Arthur") kn_cat "life")) (m48! (kn_cat life) (object b3) (proper-name (m47 (lex King Arthur)))) (m48!) CPU time : 0.00 * ; King Arthur is a king (describe (assert member *KA class (build lex "king") kn_cat "life")) (m49! (class (m40 (lex king))) (kn_cat life) (member b3)) (m49!) CPU time : 0.00 * ; The Round Table is a table (describe (assert member (build lex "Round Table") class (build lex "table") kn_cat "life")) (m52! (class (m51 (lex table))) (kn_cat life) (member (m50 (lex Round Table)))) (m52!) CPU time : 0.01 * ; King Arthur owns the Round Table (describe (assert possessor *KA object (build lex "Round Table") rel (build lex "table") kn_cat "life")) (m53! (kn_cat life) (object (m50 (lex Round Table))) (possessor b3) (rel (m51 (lex table)))) (m53!) CPU time : 0.00 * ; There is something named 'Excalibur' (describe (assert object #Excalibur proper-name (build lex "Excalibur") kn_cat "life")) (m55! (kn_cat life) (object b4) (proper-name (m54 (lex Excalibur)))) (m55!) CPU time : 0.00 * ; Excalibur is a sword (describe (assert member *Excalibur class (build lex "sword") kn_cat "life")) (m57! (class (m56 (lex sword))) (kn_cat life) (member b4)) (m57!) CPU time : 0.01 * ; King Arthur owns Excalibur (describe (assert object *Excalibur rel (build lex "sword") possessor *KA kn_cat "life")) (m58! (kn_cat life) (object b4) (possessor b3) (rel (m56 (lex sword)))) (m58!) CPU time : 0.00 * ; Something is named 'Merlin' (describe (assert object #Mer proper-name (build lex "Merlin") kn_cat "life")) (m60! (kn_cat life) (object b5) (proper-name (m59 (lex Merlin)))) (m60!) CPU time : 0.01 * ; Merlin is a wizard. (describe (assert member *Mer class (build lex "wizard") kn_cat "life")) (m61! (class (m42 (lex wizard))) (kn_cat life) (member b5)) (m61!) CPU time : 0.00 * ; Something is named 'Sir Galahad' (describe (assert object #Galahad proper-name (build lex "Sir Galahad") kn_cat "life")) (m63! (kn_cat life) (object b6) (proper-name (m62 (lex Sir Galahad)))) (m63!) CPU time : 0.01 * ; Sir Galahad is a knight (describe (assert member *Galahad class (build lex "knight") kn_cat "life")) (m64! (class (m44 (lex knight))) (kn_cat life) (member b6)) (m64!) CPU time : 0.00 * ; Something is named 'Sir Tristram' (describe (assert object #Tris proper-name (build lex "Sir Tristram") kn_cat "life")) (m66! (kn_cat life) (object b7) (proper-name (m65 (lex Sir Tristram)))) (m66!) CPU time : 0.00 * ; Sir Tristram is a knight (describe (assert member *Tris class (build lex "knight") kn_cat "life")) (m67! (class (m44 (lex knight))) (kn_cat life) (member b7)) (m67!) CPU time : 0.01 * ; Something is named 'Sir Gawain' (describe (assert object #SG proper-name (build lex "Sir Gawain") kn_cat "life")) (m69! (kn_cat life) (object b8) (proper-name (m68 (lex Sir Gawain)))) (m69!) CPU time : 0.01 * ; Sir Gawain is a knight (describe (assert member *SG class (build lex "knight") kn_cat "life")) (m70! (class (m44 (lex knight))) (kn_cat life) (member b8)) (m70!) CPU time : 0.00 * ; Something is named 'King Ban' (describe (assert object #Ban proper-name (build lex "King Ban") kn_cat "life")) (m72! (kn_cat life) (object b9) (proper-name (m71 (lex King Ban)))) (m72!) CPU time : 0.01 * ; King Ban is a king (describe (assert member *Ban class (build lex "king") kn_cat "life")) (m73! (class (m40 (lex king))) (kn_cat life) (member b9)) (m73!) CPU time : 0.00 * ; Something is named 'King Bors' (describe (assert object #Bors proper-name (build lex "King Bors") kn_cat "life")) (m75! (kn_cat life) (object b10) (proper-name (m74 (lex King Bors)))) (m75!) CPU time : 0.00 * ; King Bors is a king (describe (assert member *Bors class (build lex "king") kn_cat "life")) (m76! (class (m40 (lex king))) (kn_cat life) (member b10)) (m76!) CPU time : 0.01 * ; Something is named 'King Lot' (describe (assert object #Lot proper-name (build lex "King Lot") kn_cat "life")) (m78! (kn_cat life) (object b11) (proper-name (m77 (lex King Lot)))) (m78!) CPU time : 0.00 * ; King Lot is a king (describe (assert member *Lot class (build lex "king") kn_cat "life")) (m79! (class (m40 (lex king))) (kn_cat life) (member b11)) (m79!) CPU time : 0.00 * ; Sideboards are furniture (describe (assert subclass (build lex "sideboard") superclass (build lex "furniture") kn_cat "life")) (m82! (kn_cat life) (subclass (m80 (lex sideboard))) (superclass (m81 (lex furniture)))) (m82!) CPU time : 0.01 * ; Tables are furniture (describe (assert subclass (build lex "table") superclass (build lex "furniture") kn_cat "life")) (m83! (kn_cat life) (subclass (m51 (lex table))) (superclass (m81 (lex furniture)))) (m83!) CPU time : 0.00 * ; Chairs are furniture (describe (assert subclass (build lex "chair") superclass (build lex "furniture") kn_cat "life")) (m85! (kn_cat life) (subclass (m84 (lex chair))) (superclass (m81 (lex furniture)))) (m85!) CPU time : 0.00 * ; Chair is a basic level category (describe (assert member (build lex "chair") class (build lex "basic ctgy") kn_cat "life")) (m86! (class (m18 (lex basic ctgy))) (kn_cat life) (member (m84 (lex chair)))) (m86!) CPU time : 0.01 * ; Table is a basic level category (describe (assert member (build lex "table") class (build lex "basic ctgy") kn_cat "life")) (m87! (class (m18 (lex basic ctgy))) (kn_cat life) (member (m51 (lex table)))) (m87!) CPU time : 0.00 * ; White is a color (describe (assert member (build lex "white") class (build lex "color") kn_cat "life")) (m90! (class (m89 (lex color))) (kn_cat life) (member (m88 (lex white)))) (m90!) CPU time : 0.01 * ; Black is a color (describe (assert member (build lex "black") class (build lex "color") kn_cat "life")) (m92! (class (m89 (lex color))) (kn_cat life) (member (m91 (lex black)))) (m92!) CPU time : 0.01 * ; Small is a size (describe (assert member (build lex "small") class (build lex "size") kn_cat "life")) (m95! (class (m94 (lex size))) (kn_cat life) (member (m93 (lex small)))) (m95!) CPU time : 0.01 * ; "Small" and "little" are synonyms (describe (assert synonym (build lex "small") synonym (build lex "little") kn_cat "life")) (m97! (kn_cat life) (synonym (m96 (lex little)) (m93 (lex small)))) (m97!) CPU time : 0.01 * ; Large is a size (describe (assert member (build lex "large") class (build lex "size") kn_cat "life")) (m99! (class (m94 (lex size))) (kn_cat life) (member (m98 (lex large)))) (m99!) CPU time : 0.00 * ; "Large" and "big" are synonyms (describe (assert synonym (build lex "large") synonym (build lex "big") kn_cat "life")) (m101! (kn_cat life) (synonym (m100 (lex big)) (m98 (lex large)))) (m101!) CPU time : 0.01 * ; Spears are weapons (describe (add subclass (build lex "spear") superclass (build lex "weapon") kn_cat "life")) (m104! (kn_cat life) (subclass (m102 (lex spear))) (superclass (m103 (lex weapon)))) (m104!) CPU time : 0.01 * ; "Kill" and "Slay" are synonyms (describe (assert synonym (build lex "kill") synonym (build lex "slay") kn_cat "life")) (m107! (kn_cat life) (synonym (m106 (lex slay)) (m105 (lex kill)))) (m107!) CPU time : 0.01 * ;; ###################### ;; RULES ;; ###################### ; If something is a hound then that thing hunts. (describe (add forall $hound1 ant (build member *hound1 class (build lex "hound")) cq (build agent *hound1 act (build action (build lex "hunt"))) kn_cat "life-rule.1")) (m110! (forall v1) (ant (p1 (class (m34 (lex hound))) (member v1))) (cq (p2 (act (m109 (action (m108 (lex hunt))))) (agent v1))) (kn_cat life-rule.1)) (m110!) CPU time : 0.02 * ;; If something bays and it is a member of some class then ;; that class is a subclass of hound (describe (add forall ($bayer $categ) &ant ((build agent *bayer act (build action (build lex "bay"))) (build member *bayer class *categ)) cq (build subclass *categ superclass (build lex "hound")))) (m147! (class (m18 (lex basic ctgy))) (member (m13 (lex deer)))) (m146! (class (m18)) (member (m22 (lex horse)))) (m145! (class (m18)) (member (m29 (lex dog)))) (m144! (class (m10 (lex mammal))) (member b1)) (m143! (class (m5 (lex vertebrate))) (member b1)) (m142! (class (m4 (lex quadruped))) (member b1)) (m141! (class (m2 (lex phys obj))) (member b1)) (m140! (class (m1 (lex animal))) (member b1)) (m139! (class (m18)) (member (m38 (lex person)))) (m138! (class (m40 (lex king))) (member b3)) (m137! (class (m38)) (member b3)) (m136! (class (m81 (lex furniture))) (member (m50 (lex Round Table)))) (m135! (class (m51 (lex table))) (member (m50))) (m134! (class (m56 (lex sword))) (member b4)) (m133! (class (m42 (lex wizard))) (member b5)) (m132! (class (m38)) (member b5)) (m131! (class (m44 (lex knight))) (member b6)) (m130! (class (m38)) (member b6)) (m129! (class (m44)) (member b7)) (m128! (class (m38)) (member b7)) (m127! (class (m44)) (member b8)) (m126! (class (m38)) (member b8)) (m125! (class (m40)) (member b9)) (m124! (class (m38)) (member b9)) (m123! (class (m40)) (member b10)) (m122! (class (m38)) (member b10)) (m121! (class (m40)) (member b11)) (m120! (class (m38)) (member b11)) (m119! (class (m18)) (member (m84 (lex chair)))) (m118! (class (m18)) (member (m51))) (m117! (class (m89 (lex color))) (member (m88 (lex white)))) (m116! (class (m89)) (member (m91 (lex black)))) (m115! (class (m94 (lex size))) (member (m93 (lex small)))) (m114! (class (m94)) (member (m98 (lex large)))) (m113! (forall v3 v2) (&ant (p4 (class v3) (member v2)) (p3 (act (m112 (action (m111 (lex bay))))) (agent v2))) (cq (p5 (subclass v3) (superclass (m34 (lex hound)))))) (m39! (class (m38)) (member b2)) (m36! (class (m29)) (member b1)) (m147! m146! m145! m144! m143! m142! m141! m140! m139! m138! m137! m136! m135! m134! m133! m132! m131! m130! m129! m128! m127! m126! m125! m124! m123! m122! m121! m120! m119! m118! m117! m116! m115! m114! m113! m39! m36!) CPU time : 0.24 * ;; Newly inferred information: ;; ;; "Deer" is a basic category ;; "Horse" is a basic category ;; "Dog" is a basic category ;; The dog (b1) is a quadruped ;; The dog (b1) is a mammal ;; The dog (b1) is a vertebrate ;; The dog (b1) is a physical object ;; The dog (b1) is a animal ;; "Person" is a basic category ;; King Arthur is a king ;; King Arthur is a person ;; The Round Table is a piece of furniture ;; The Round Table is a table ;; Excalibur is a sword ;; Merlin is a wizard ;; Merlin is a person ;; Sir Galahad is a knight ;; Sir Galahad is a person ;; Sir Tristram is a knight ;; Sir Tristram is a person ;; Sir Gawain is a knight ;; Sir Gawain is a person ;; King Ban is a king ;; King Ban is a person ;; King Bors is a king ;; King Bors is a person ;; King Lot is a king ;; King Lot is a person ;; "Chair" is a basic category ;; "Table" is a basic category ;; White is a color ;; Black is a color ;; Small is a size ;; Large is a size ;; If one thing bites another and the biter is a member of some ;; class then that class is a subclass of animal (describe (add forall ($animal1 $bitten *categ) &ant ((build agent *animal1 act (build action (build lex "bite") object *bitten)) (build member *animal1 class *categ)) cq (build subclass *categ superclass (build lex "animal")) kn_cat "life-rule.1")) (m149! (forall v5 v4 v3) (&ant (p8 (class v3) (member v4)) (p7 (act (p6 (action (m148 (lex bite))) (object v5))) (agent v4))) (cq (p9 (subclass v3) (superclass (m1 (lex animal))))) (kn_cat life-rule.1)) (m147! (class (m18 (lex basic ctgy))) (member (m13 (lex deer)))) (m146! (class (m18)) (member (m22 (lex horse)))) (m145! (class (m18)) (member (m29 (lex dog)))) (m144! (class (m10 (lex mammal))) (member b1)) (m143! (class (m5 (lex vertebrate))) (member b1)) (m142! (class (m4 (lex quadruped))) (member b1)) (m141! (class (m2 (lex phys obj))) (member b1)) (m140! (class (m1)) (member b1)) (m139! (class (m18)) (member (m38 (lex person)))) (m138! (class (m40 (lex king))) (member b3)) (m137! (class (m38)) (member b3)) (m136! (class (m81 (lex furniture))) (member (m50 (lex Round Table)))) (m135! (class (m51 (lex table))) (member (m50))) (m134! (class (m56 (lex sword))) (member b4)) (m133! (class (m42 (lex wizard))) (member b5)) (m132! (class (m38)) (member b5)) (m131! (class (m44 (lex knight))) (member b6)) (m130! (class (m38)) (member b6)) (m129! (class (m44)) (member b7)) (m128! (class (m38)) (member b7)) (m127! (class (m44)) (member b8)) (m126! (class (m38)) (member b8)) (m125! (class (m40)) (member b9)) (m124! (class (m38)) (member b9)) (m123! (class (m40)) (member b10)) (m122! (class (m38)) (member b10)) (m121! (class (m40)) (member b11)) (m120! (class (m38)) (member b11)) (m119! (class (m18)) (member (m84 (lex chair)))) (m118! (class (m18)) (member (m51))) (m117! (class (m89 (lex color))) (member (m88 (lex white)))) (m116! (class (m89)) (member (m91 (lex black)))) (m115! (class (m94 (lex size))) (member (m93 (lex small)))) (m114! (class (m94)) (member (m98 (lex large)))) (m39! (class (m38)) (member b2)) (m36! (class (m29)) (member b1)) (m149! m147! m146! m145! m144! m143! m142! m141! m140! m139! m138! m137! m136! m135! m134! m133! m132! m131! m130! m129! m128! m127! m126! m125! m124! m123! m122! m121! m120! m119! m118! m117! m116! m115! m114! m39! m36!) CPU time : 0.18 * ;; Newly inferred information: ;; ;; None ;; If something is an animal and part of another class then ;; presumably, that class is a subclass of animal (describe (add forall (*animal1 $class2) &ant ((build member *animal1 class (build lex "animal")) (build member *animal1 class *class2)) cq (build mode (build lex "presumably") object (build subclass *class2 superclass (build lex "animal"))) kn_cat "life-rule.1")) (m173! (mode (m150 (lex presumably))) (object (m172 (subclass (m5 (lex vertebrate))) (superclass (m1 (lex animal)))))) (m171! (mode (m150)) (object (m170 (subclass (m4 (lex quadruped))) (superclass (m1))))) (m167! (mode (m150)) (object (m166 (subclass (m10 (lex mammal))) (superclass (m1))))) (m165! (mode (m150)) (object (m164 (subclass (m13 (lex deer))) (superclass (m1))))) (m163! (mode (m150)) (object (m162 (subclass (m20 (lex hart))) (superclass (m1))))) (m161! (mode (m150)) (object (m160 (subclass (m22 (lex horse))) (superclass (m1))))) (m157! (mode (m150)) (object (m156 (subclass (m29 (lex dog))) (superclass (m1))))) (m155! (mode (m150)) (object (m154 (subclass (m34 (lex hound))) (superclass (m1))))) (m153! (mode (m150)) (object (m152 (subclass (m2 (lex phys obj))) (superclass (m1))))) (m151! (forall v6 v4) (&ant (p11 (class v6) (member v4)) (p10 (class (m1)) (member v4))) (cq (p13 (mode (m150)) (object (p12 (subclass v6) (superclass (m1)))))) (kn_cat life-rule.1)) (m147! (class (m18 (lex basic ctgy))) (member (m13))) (m146! (class (m18)) (member (m22))) (m145! (class (m18)) (member (m29))) (m144! (class (m10)) (member b1)) (m143! (class (m5)) (member b1)) (m142! (class (m4)) (member b1)) (m141! (class (m2)) (member b1)) (m140! (class (m1)) (member b1)) (m139! (class (m18)) (member (m38 (lex person)))) (m138! (class (m40 (lex king))) (member b3)) (m137! (class (m38)) (member b3)) (m136! (class (m81 (lex furniture))) (member (m50 (lex Round Table)))) (m135! (class (m51 (lex table))) (member (m50))) (m134! (class (m56 (lex sword))) (member b4)) (m133! (class (m42 (lex wizard))) (member b5)) (m132! (class (m38)) (member b5)) (m131! (class (m44 (lex knight))) (member b6)) (m130! (class (m38)) (member b6)) (m129! (class (m44)) (member b7)) (m128! (class (m38)) (member b7)) (m127! (class (m44)) (member b8)) (m126! (class (m38)) (member b8)) (m125! (class (m40)) (member b9)) (m124! (class (m38)) (member b9)) (m123! (class (m40)) (member b10)) (m122! (class (m38)) (member b10)) (m121! (class (m40)) (member b11)) (m120! (class (m38)) (member b11)) (m119! (class (m18)) (member (m84 (lex chair)))) (m118! (class (m18)) (member (m51))) (m117! (class (m89 (lex color))) (member (m88 (lex white)))) (m116! (class (m89)) (member (m91 (lex black)))) (m115! (class (m94 (lex size))) (member (m93 (lex small)))) (m114! (class (m94)) (member (m98 (lex large)))) (m39! (class (m38)) (member b2)) (m36! (class (m29)) (member b1)) (m173! m171! m167! m165! m163! m161! m157! m155! m153! m151! m147! m146! m145! m144! m143! m142! m141! m140! m139! m138! m137! m136! m135! m134! m133! m132! m131! m130! m129! m128! m127! m126! m125! m124! m123! m122! m121! m120! m119! m118! m117! m116! m115! m114! m39! m36!) CPU time : 0.54 * ;; Newly inferred information: ;; ;; Presumably, quadruped is a subclass of animal ;; Presumably, vertebrate is a subclass of animal ;; Presumably, mammal is a subclass of animal ;; Presumably, deer is a subclass of animal ;; Presumably, hart is a subclass of animal ;; Presumably, horse is a subclass of animal ;; Presumably, dog is a subclass of animal ;; Presumably, hound is a subclass of animal ;; Presumably, physical object is a subclass of animal ;; If something is presumably an animal and is a member of another class then ;; presumably, that class is a subclass of animal (describe (add forall (*animal1 *class2) &ant ((build mode (build lex "presumably") object (build member *animal1 class (build lex "animal"))) (build member *animal1 class *class2)) cq (build mode (build lex "presumably") object (build subclass *class2 superclass (build lex "animal"))) kn_cat "life-rule.1")) (m174! (forall v6 v4) (&ant (p15 (mode (m150 (lex presumably))) (object (p10 (class (m1 (lex animal))) (member v4)))) (p11 (class v6) (member v4))) (cq (p13 (mode (m150)) (object (p12 (subclass v6) (superclass (m1)))))) (kn_cat life-rule.1)) (m174!) CPU time : 0.04 * ;; Newly inferred information: ;; ;; None ;; If something is a mammal and a member of another class then ;; presumably, that class is a subclass of mammal (describe (add forall (*animal1 *class2) &ant ((build member *animal1 class (build lex "mammal")) (build member *animal1 class *class2)) cq (build mode (build lex "presumably") object (build subclass *class2 superclass (build lex "mammal"))) kn_cat "life-rule.1")) (m197! (mode (m150 (lex presumably))) (object (m196 (subclass (m10 (lex mammal))) (superclass (m10))))) (m195! (mode (m150)) (object (m194 (subclass (m13 (lex deer))) (superclass (m10))))) (m193! (mode (m150)) (object (m192 (subclass (m20 (lex hart))) (superclass (m10))))) (m191! (mode (m150)) (object (m190 (subclass (m22 (lex horse))) (superclass (m10))))) (m189! (mode (m150)) (object (m188 (subclass (m27 (lex pony))) (superclass (m10))))) (m187! (mode (m150)) (object (m186 (subclass (m34 (lex hound))) (superclass (m10))))) (m185! (mode (m150)) (object (m184 (subclass (m1 (lex animal))) (superclass (m10))))) (m183! (mode (m150)) (object (m182 (subclass (m4 (lex quadruped))) (superclass (m10))))) (m181! (mode (m150)) (object (m180 (subclass (m29 (lex dog))) (superclass (m10))))) (m179! (mode (m150)) (object (m178 (subclass (m5 (lex vertebrate))) (superclass (m10))))) (m177! (mode (m150)) (object (m176 (subclass (m2 (lex phys obj))) (superclass (m10))))) (m175! (forall v6 v4) (&ant (p16 (class (m10)) (member v4)) (p11 (class v6) (member v4))) (cq (p18 (mode (m150)) (object (p17 (subclass v6) (superclass (m10)))))) (kn_cat life-rule.1)) (m144! (class (m10)) (member b1)) (m197! m195! m193! m191! m189! m187! m185! m183! m181! m179! m177! m175! m144!) CPU time : 0.33 * ;; Newly inferred information: ;; ;; Presumably, mammal is a subclass of mammal ;; Presumably, deer is a subclass of mammal ;; Presumably, hart is a subclass of mammal ;; Presumably, horse is a subclass of mammal ;; Presumably, pony is a subclass of mammal ;; Presumably, hound is a subclass of mammal ;; Presumably, animal is a subclass of mammal ;; Presumably, vertebrate is a subclass of mammal ;; Presumably, quadruped is a subclass of mammal ;; Presumably, dog is a subclass of mammal ;; Presumably, physical object is a subclass of mammal ;; If something is a mammal, then it presumably bears live young (describe (add forall *animal1 ant (build member *animal1 class (build lex "mammal")) cq (build mode (build lex "presumably") object (build agent *animal1 act (build action (build lex "bear") object (build lex "live young")))) kn_cat "life-rule.1")) (m203! (mode (m150 (lex presumably))) (object (m202 (act (m200 (action (m198 (lex bear))) (object (m199 (lex live young))))) (agent b1)))) (m201! (forall v4) (ant (p16 (class (m10 (lex mammal))) (member v4))) (cq (p21 (mode (m150)) (object (p20 (act (m200)) (agent v4))))) (kn_cat life-rule.1)) (m203! m201!) CPU time : 0.02 * ;; Newly inferred information: ;; ;; The dog (b1) bears live young ;"If something bears something else, the bearer is an animal" (describe (add forall (*animal1 $animal2) ant (build agent *animal1 act (build action (build lex "bear") object *animal2)) cq (build member *animal1 class (build lex "mammal")) kn_cat "life-rule.1")) (m204! (forall v7 v4) (ant (p23 (act (p22 (action (m198 (lex bear))) (object v7))) (agent v4))) (cq (p16 (class (m10 (lex mammal))) (member v4))) (kn_cat life-rule.1)) (m204!) CPU time : 0.11 * ;; Newly inferred information: ;; ;; None ; If there is a person and that person can carry something, then the ; thing that can be carried has the property "small". (describe (add forall ($thingy $person) &ant ((build member *person class (build lex "person")) (build agent *person act (build action (build lex "carry") object *thingy))) cq (build object *thingy property (build lex "small")) kn_cat "life-rule.2")) (m206! (forall v9 v8) (&ant (p26 (act (p25 (action (m205 (lex carry))) (object v8))) (agent v9)) (p24 (class (m38 (lex person))) (member v9))) (cq (p27 (object v8) (property (m93 (lex small))))) (kn_cat life-rule.2)) (m137! (class (m38)) (member b3)) (m132! (class (m38)) (member b5)) (m130! (class (m38)) (member b6)) (m128! (class (m38)) (member b7)) (m126! (class (m38)) (member b8)) (m124! (class (m38)) (member b9)) (m122! (class (m38)) (member b10)) (m120! (class (m38)) (member b11)) (m39! (class (m38)) (member b2)) (m206! m137! m132! m130! m128! m126! m124! m122! m120! m39!) CPU time : 0.14 * ;; Newly inferred information: ;; ;; None ; If something wants something then the thing that is wanted is valuable (describe (add forall (*thingy *person) ant (build agent *person act (build action (build lex "want") object *thingy)) cq (build object *thingy property (build lex "valuable")) kn_cat "life-rule.2")) (m209! (forall v9 v8) (ant (p31 (act (p30 (action (m207 (lex want))) (object v8))) (agent v9))) (cq (p32 (object v8) (property (m208 (lex valuable))))) (kn_cat life-rule.2)) (m209!) CPU time : 0.02 * ;; Newly inferred information: ;; ;; None ; If something says that it wants another thing, then it actually ; does want that thing (describe (add forall (*thingy *person) ant (build agent *person act (build action (build lex "say that") object (build agent *person act (build action (build lex "want") object *thingy)))) cq (build agent *person act (build action (build lex "want") object *thingy)) kn_cat "life-rule.2")) (m211! (forall v9 v8) (ant (p34 (act (p33 (action (m210 (lex say that))) (object (p31 (act (p30 (action (m207 (lex want))) (object v8))) (agent v9))))) (agent v9))) (cq (p31)) (kn_cat life-rule.2)) (m211!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. ; (describe ; If a member of some class has a property that is a color, ; then the class that it is a member of is a subclass of 'physical object' (add forall ($thing $prop $foo) &ant ((build member *foo class *thing) (build object *foo property *prop) (build member *prop class (build lex "color"))) cq (build subclass *thing superclass (build lex "phys obj")) kn_cat "intrinsic")) (m212! (forall v12 v11 v10) (&ant (p37 (class (m89 (lex color))) (member v11)) (p36 (object v12) (property v11)) (p35 (class v10) (member v12))) (cq (p38 (subclass v10) (superclass (m2 (lex phys obj))))) (kn_cat intrinsic)) (m147! (class (m18 (lex basic ctgy))) (member (m13 (lex deer)))) (m146! (class (m18)) (member (m22 (lex horse)))) (m145! (class (m18)) (member (m29 (lex dog)))) (m144! (class (m10 (lex mammal))) (member b1)) (m143! (class (m5 (lex vertebrate))) (member b1)) (m142! (class (m4 (lex quadruped))) (member b1)) (m141! (class (m2)) (member b1)) (m140! (class (m1 (lex animal))) (member b1)) (m139! (class (m18)) (member (m38 (lex person)))) (m138! (class (m40 (lex king))) (member b3)) (m137! (class (m38)) (member b3)) (m136! (class (m81 (lex furniture))) (member (m50 (lex Round Table)))) (m135! (class (m51 (lex table))) (member (m50))) (m134! (class (m56 (lex sword))) (member b4)) (m133! (class (m42 (lex wizard))) (member b5)) (m132! (class (m38)) (member b5)) (m131! (class (m44 (lex knight))) (member b6)) (m130! (class (m38)) (member b6)) (m129! (class (m44)) (member b7)) (m128! (class (m38)) (member b7)) (m127! (class (m44)) (member b8)) (m126! (class (m38)) (member b8)) (m125! (class (m40)) (member b9)) (m124! (class (m38)) (member b9)) (m123! (class (m40)) (member b10)) (m122! (class (m38)) (member b10)) (m121! (class (m40)) (member b11)) (m120! (class (m38)) (member b11)) (m119! (class (m18)) (member (m84 (lex chair)))) (m118! (class (m18)) (member (m51))) (m117! (class (m89)) (member (m88 (lex white)))) (m116! (class (m89)) (member (m91 (lex black)))) (m115! (class (m94 (lex size))) (member (m93 (lex small)))) (m114! (class (m94)) (member (m98 (lex large)))) (m39! (class (m38)) (member b2)) (m36! (class (m29)) (member b1)) (m212! m147! m146! m145! m144! m143! m142! m141! m140! m139! m138! m137! m136! m135! m134! m133! m132! m131! m130! m129! m128! m127! m126! m125! m124! m123! m122! m121! m120! m119! m118! m117! m116! m115! m114! m39! m36!) CPU time : 0.51 * ;; Newly inferred information: ;; ;; None. ; If a member of some class has a property that is a size, ; then the class that it is a member of is a subclass of 'physical object' (describe (add forall (*thing *prop *foo) &ant ((build member *foo class *thing) (build object *foo property *prop) (build member *prop class (build lex "size"))) cq (build subclass *thing superclass (build lex "phys obj")) kn_cat "intrinsic")) (m213! (forall v12 v11 v10) (&ant (p42 (class (m94 (lex size))) (member v11)) (p36 (object v12) (property v11)) (p35 (class v10) (member v12))) (cq (p38 (subclass v10) (superclass (m2 (lex phys obj))))) (kn_cat intrinsic)) (m115! (class (m94)) (member (m93 (lex small)))) (m114! (class (m94)) (member (m98 (lex large)))) (m213! m115! m114!) CPU time : 0.08 * ;; Newly inferred information: ;; ;; None. ; A weapon damages (describe (add forall $weapon1 ant (build member *weapon1 class (build lex "weapon")) cq (build agent *weapon1 act (build action (build lex "damage"))) kn_cat "life-rule.1")) (m216! (forall v13) (ant (p46 (class (m103 (lex weapon))) (member v13))) (cq (p47 (act (m215 (action (m214 (lex damage))))) (agent v13))) (kn_cat life-rule.1)) (m216!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ; If something is an elder then that thing is old and is presumably a person (describe (add forall $eld1 ant (build member *eld1 class (build lex "elder")) cq ((build object *eld1 property (build lex "old")) (build mode (build lex "presumably") object (build member *eld1 class (build lex "person")))) kn_cat "life-rule.1")) (m219! (forall v14) (ant (p51 (class (m217 (lex elder))) (member v14))) (cq (p54 (mode (m150 (lex presumably))) (object (p53 (class (m38 (lex person))) (member v14)))) (p52 (object v14) (property (m218 (lex old))))) (kn_cat life-rule.1)) (m219!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ; if one thing chases another, the former runs behind the latter (describe (add forall ($chaser $chasee) ant (build agent *chaser act (build action (build lex "chase") object *chasee)) cq ((build agent *chaser act (build action (build lex "run"))) (build object1 *chaser rel (build lex "behind") object2 *chasee)) kn_cat "life-rule.1")) (m224! (forall v16 v15) (ant (p59 (act (p58 (action (m220 (lex chase))) (object v16))) (agent v15))) (cq (p61 (object1 v15) (object2 v16) (rel (m223 (lex behind)))) (p60 (act (m222 (action (m221 (lex run))))) (agent v15))) (kn_cat life-rule.1)) (m224!) CPU time : 0.04 * ;; Newly inferred information: ;; ;; None. End of /projects/stn2/CVA/demos/brachet.base demonstration. CPU time : 2.93 * ;;; 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. ;; In the story, there is a hart (describe (add member #hart1 class (build lex "hart") kn_cat "story")) (m239! (mode (m150 (lex presumably))) (object (m238 (act (m200 (action (m198 (lex bear))) (object (m199 (lex live young))))) (agent b12)))) (m237! (mode (m150)) (object (m236 (subclass (m8 (lex herbivore))) (superclass (m10 (lex mammal)))))) (m235! (mode (m150)) (object (m234 (subclass (m8)) (superclass (m1 (lex animal)))))) (m233! (class (m20 (lex hart))) (member b12)) (m232! (class (m13 (lex deer))) (member b12)) (m231! (class (m10)) (member b12)) (m230! (class (m8)) (member b12)) (m229! (class (m5 (lex vertebrate))) (member b12)) (m228! (class (m4 (lex quadruped))) (member b12)) (m227! (class (m2 (lex phys obj))) (member b12)) (m226! (class (m1)) (member b12)) (m225! (class (m20)) (kn_cat story) (member b12)) (m197! (mode (m150)) (object (m196 (subclass (m10)) (superclass (m10))))) (m195! (mode (m150)) (object (m194 (subclass (m13)) (superclass (m10))))) (m193! (mode (m150)) (object (m192 (subclass (m20)) (superclass (m10))))) (m191! (mode (m150)) (object (m190 (subclass (m22 (lex horse))) (superclass (m10))))) (m189! (mode (m150)) (object (m188 (subclass (m27 (lex pony))) (superclass (m10))))) (m187! (mode (m150)) (object (m186 (subclass (m34 (lex hound))) (superclass (m10))))) (m185! (mode (m150)) (object (m184 (subclass (m1)) (superclass (m10))))) (m183! (mode (m150)) (object (m182 (subclass (m4)) (superclass (m10))))) (m181! (mode (m150)) (object (m180 (subclass (m29 (lex dog))) (superclass (m10))))) (m179! (mode (m150)) (object (m178 (subclass (m5)) (superclass (m10))))) (m177! (mode (m150)) (object (m176 (subclass (m2)) (superclass (m10))))) (m173! (mode (m150)) (object (m172 (subclass (m5)) (superclass (m1))))) (m171! (mode (m150)) (object (m170 (subclass (m4)) (superclass (m1))))) (m167! (mode (m150)) (object (m166 (subclass (m10)) (superclass (m1))))) (m165! (mode (m150)) (object (m164 (subclass (m13)) (superclass (m1))))) (m163! (mode (m150)) (object (m162 (subclass (m20)) (superclass (m1))))) (m161! (mode (m150)) (object (m160 (subclass (m22)) (superclass (m1))))) (m157! (mode (m150)) (object (m156 (subclass (m29)) (superclass (m1))))) (m155! (mode (m150)) (object (m154 (subclass (m34)) (superclass (m1))))) (m153! (mode (m150)) (object (m152 (subclass (m2)) (superclass (m1))))) (m239! m237! m235! m233! m232! m231! m230! m229! m228! m227! m226! m225! m197! m195! m193! m191! m189! m187! m185! m183! m181! m179! m177! m173! m171! m167! m165! m163! m161! m157! m155! m153!) CPU time : 0.64 * ;; Newly inferred information: ;; ;; Presumably, the hart bears live young ;; Presumably, the herbivores are mammals ;; Presumably, herbivores are animals ;; The hart is a hart ;; The hart is a quadruped ;; The hart is a deer ;; The hart is a mammal ;; The hart is a herbivore ;; The hart is a vertebrate ;; The hart is a physical object ;; The hart is a animal ;; In the story, the hart runs into something (describe (add agent *hart1 act (build action (build lex "run")) into #hall1 kn_cat "story")) (m245! (act (m222 (action (m221 (lex run))))) (agent b12)) (m244! (act (m222)) (agent b12) (into b13) (kn_cat story)) (m245! m244!) CPU time : 0.02 * ;; Newly inferred information: ;; ;; None. ;; In the story, the thing that the hart runs into is a hall (describe (add member *hall1 class (build lex "hall") kn_cat "story")) (m248! (class (m246 (lex hall))) (member b13)) (m247! (class (m246)) (kn_cat story) (member b13)) (m248! m247!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. ;; In the story, the hall is King Arthur's hall (KA from background) (describe (add object *hall1 rel (build lex "hall") possessor *KA kn_cat "story-comp")) (m249! (kn_cat story-comp) (object b13) (possessor b3) (rel (m246 (lex hall)))) (m249!) CPU time : 0.02 * ;; Newly inferred information: ;; ;; None. ;; In the story, there is a brachet (describe (add member #brachet1 class (build lex "brachet") kn_cat "story")) (m252! (class (m250 (lex brachet))) (member b14)) (m251! (class (m250)) (kn_cat story) (member b14)) (m252! m251!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. ;; In the story, the brachet is next to a hart (describe (add object *brachet1 location (build sp-rel (build lex "next to") object (build lex "hart")) kn_cat "story")) (m255! (kn_cat story) (location (m254 (object (m20 (lex hart))) (sp-rel (m253 (lex next to))))) (object b14)) (m255!) CPU time : 0.02 * ;; Newly inferred information: ;; ;; None. ;; In the story, the brachet is white (describe (add object *brachet1 property (build lex "white") kn_cat "story")) (m258! (subclass (m250 (lex brachet))) (superclass (m2 (lex phys obj)))) (m257! (object b14) (property (m88 (lex white)))) (m256! (kn_cat story) (object b14) (property (m88))) (m258! m257! m256!) CPU time : 0.04 * ;; Newly inferred information: ;; ;; Brachet is a subclass of physical object. ;; What does brachet mean? ^ --> (defineNoun "brachet") Definition of brachet: Class Inclusions: phys obj, Possible Properties: white, Possibly Similar Items: animal, mammal, deer, horse, pony, dog, nil CPU time : 5.59 * ;; In the story, there is a hound (describe (add member #hounds1 class (build lex "hound") kn_cat "story")) (m305! (mode (m150 (lex presumably))) (object (m304 (act (m200 (action (m198 (lex bear))) (object (m199 (lex live young))))) (agent b15)))) (m303! (act (m109 (action (m108 (lex hunt))))) (agent b15)) (m302! (class (m34 (lex hound))) (member b15)) (m301! (class (m29 (lex dog))) (member b15)) (m300! (class (m10 (lex mammal))) (member b15)) (m299! (class (m5 (lex vertebrate))) (member b15)) (m298! (class (m4 (lex quadruped))) (member b15)) (m297! (class (m2 (lex phys obj))) (member b15)) (m296! (class (m1 (lex animal))) (member b15)) (m295! (class (m34)) (kn_cat story) (member b15)) (m264! (mode (m150)) (object (m261 (subclass (m250 (lex brachet))) (superclass (m10))))) (m263! (mode (m150)) (object (m260 (subclass (m250)) (superclass (m1))))) (m197! (mode (m150)) (object (m196 (subclass (m10)) (superclass (m10))))) (m195! (mode (m150)) (object (m194! (subclass (m13 (lex deer))) (superclass (m10))))) (m193! (mode (m150)) (object (m192 (subclass (m20 (lex hart))) (superclass (m10))))) (m191! (mode (m150)) (object (m190 (subclass (m22 (lex horse))) (superclass (m10))))) (m189! (mode (m150)) (object (m188 (subclass (m27 (lex pony))) (superclass (m10))))) (m187! (mode (m150)) (object (m186 (subclass (m34)) (superclass (m10))))) (m185! (mode (m150)) (object (m184 (subclass (m1)) (superclass (m10))))) (m183! (mode (m150)) (object (m182 (subclass (m4)) (superclass (m10))))) (m181! (mode (m150)) (object (m180! (subclass (m29)) (superclass (m10))))) (m179! (mode (m150)) (object (m178 (subclass (m5)) (superclass (m10))))) (m177! (mode (m150)) (object (m176 (subclass (m2)) (superclass (m10))))) (m173! (mode (m150)) (object (m172 (subclass (m5)) (superclass (m1))))) (m171! (mode (m150)) (object (m170 (subclass (m4)) (superclass (m1))))) (m169! (mode (m150)) (object (m168 (subclass (m1)) (superclass (m1))))) (m167! (mode (m150)) (object (m166! (subclass (m10)) (superclass (m1))))) (m165! (mode (m150)) (object (m164! (subclass (m13)) (superclass (m1))))) (m163! (mode (m150)) (object (m162 (subclass (m20)) (superclass (m1))))) (m161! (mode (m150)) (object (m160! (subclass (m22)) (superclass (m1))))) (m159! (mode (m150)) (object (m158! (subclass (m27)) (superclass (m1))))) (m157! (mode (m150)) (object (m156! (subclass (m29)) (superclass (m1))))) (m155! (mode (m150)) (object (m154 (subclass (m34)) (superclass (m1))))) (m153! (mode (m150)) (object (m152 (subclass (m2)) (superclass (m1))))) (m305! m303! m302! m301! m300! m299! m298! m297! m296! m295! m264! m263! m197! m195! m193! m191! m189! m187! m185! m183! m181! m179! m177! m173! m171! m169! m167! m165! m163! m161! m159! m157! m155! m153!) CPU time : 1.30 * ;; Newly inferred information: ;; ;; Presumably, the hound bears live young ;; The hound hunts. ;; The hound is a hound. ;; The hound is a dog. ;; The hound is a quadruped. ;; The hound is a mammal. ;; The hound is a vertebrate. ;; The hound is a physical object. ;; The hound is an animal. ;; In the story, the hound is a hound. ;; Presumably, brachet is a subclass of mammal. ;; Presumably, brachet is a subclass of animal ;; In the story, the hound is black (describe (add object *hounds1 property (build lex "black") kn_cat "story")) (m312! (subclass (m20 (lex hart))) (superclass (m2 (lex phys obj)))) (m311! (subclass (m34 (lex hound))) (superclass (m2))) (m310! (subclass (m5 (lex vertebrate))) (superclass (m2))) (m309! (subclass (m4 (lex quadruped))) (superclass (m2))) (m308! (subclass (m2)) (superclass (m2))) (m307! (object b15) (property (m91 (lex black)))) (m306! (kn_cat story) (object b15) (property (m91))) (m285! (subclass (m29 (lex dog))) (superclass (m2))) (m283! (subclass (m27 (lex pony))) (superclass (m2))) (m278! (subclass (m22 (lex horse))) (superclass (m2))) (m273! (subclass (m13 (lex deer))) (superclass (m2))) (m270! (subclass (m10 (lex mammal))) (superclass (m2))) (m268! (subclass (m1 (lex animal))) (superclass (m2))) (m258! (subclass (m250 (lex brachet))) (superclass (m2))) (m312! m311! m310! m309! m308! m307! m306! m285! m283! m278! m273! m270! m268! m258!) CPU time : 1.56 * ;; Newly inferred information: ;; ;; Hart is a subclass of physical object ;; Hound is a subclass of physical object ;; Vertebrate is a subclass of physical object ;; Quadruped is a subclass of physical object ;; Physical object is a subclass of physical object ;; Dog is a subclass of physical object ;; Pony is a subclass of physical object ;; Horse is a subclass of physical object ;; Deer is a subclass of physical object ;; Mammal is a subclass of physical object ;; Animal is a subclass of physical object ;; In the story, the hound is running (describe (add agent *hounds1 act (build action (build lex "run")) kn_cat "story")) (m314! (act (m222 (action (m221 (lex run))))) (agent b15)) (m313! (act (m222)) (agent b15) (kn_cat story)) (m314! m313!) CPU time : 0.02 * ;; Newly inferred information: ;; ;; None. ;; In the story, the hound is behind the hart (describe (add object *hounds1 location (build sp-rel (build lex "behind") object *hart1) kn_cat "story")) (m316! (kn_cat story) (location (m315 (object b12) (sp-rel (m223 (lex behind))))) (object b15)) (m316!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. ;Then the hart went running about the Round Table; as he went by the sideboard, ;the white brachet bit him in the buttock [. . .] ;; In the story, the hart is next to the Round Table. (describe (add object *hart1 location (build sp-rel (build lex "next to") object (build lex "Round Table")) kn_cat "story")) (m318! (kn_cat story) (location (m317 (object (m50 (lex Round Table))) (sp-rel (m253 (lex next to))))) (object b12)) (m318!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. ;; In the story, the brachet bites something. (describe (add agent *brachet1 act (build action (build lex "bite") object #butt1) kn_cat "story")) (m321! (act (m319 (action (m148 (lex bite))) (object b16))) (agent b14)) (m320! (act (m319)) (agent b14) (kn_cat story)) (m260! (subclass (m250 (lex brachet))) (superclass (m1 (lex animal)))) (m321! m320! m260!) CPU time : 0.05 * ;; Newly inferred information: ;; ;; Brachet is a subclass of animal ;; In the story, the thing that the brachet bites is part of the hart. (describe (add whole *hart1 part *butt1 kn_cat "story")) (m322! (kn_cat story) (part b16) (whole b12)) (m322!) CPU time : 0.02 * ;; Newly inferred information: ;; ;; None. ;; In the story, the thing that the brachet bites is a buttock (describe (add member *butt1 class (build lex "buttock") kn_cat "story")) (m325! (class (m323 (lex buttock))) (member b16)) (m324! (class (m323)) (kn_cat story) (member b16)) (m325! m324!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. ;; What does brachet mean? ^ --> (defineNoun "brachet") Definition of brachet: Class Inclusions: animal, Possible Actions: bite buttock, Possible Properties: white, Possibly Similar Items: mammal, pony, nil CPU time : 4.14 * ; ;Therewith the knight arose, took up the brachet, went forth out of the hall, ;took his horse and rode away with the brachet. ;; In the story, there is a knight (describe (add member #knight1 class (build lex "knight") kn_cat "story")) (m328! (class (m44 (lex knight))) (member b17)) (m327! (class (m38 (lex person))) (member b17)) (m326! (class (m44)) (kn_cat story) (member b17)) (m328! m327! m326!) CPU time : 0.08 * ;; Newly inferred information: ;; ;; The knight is a knight ;; The knight is a person ;; In the story, the knight arises (describe (add agent *knight1 act (build action (build lex "arise")) kn_cat "story")) (m331! (act (m330 (action (m329 (lex arise))))) (agent b17) (kn_cat story)) (m331!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. ;; In the story, the knight picks up the brachet (describe (add agent *knight1 act (build action (build lex "pick up") object *brachet1) kn_cat "story")) (m334! (act (m333 (action (m332 (lex pick up))) (object b14))) (agent b17) (kn_cat story)) (m334!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. ;; In the story, the knight mounts something (describe (add agent *knight1 act (build action (build lex "mount") object #horsey1) kn_cat "story")) (m337! (act (m336 (action (m335 (lex mount))) (object b18))) (agent b17) (kn_cat story)) (m337!) CPU time : 0.04 * ;; Newly inferred information: ;; ;; None. ;; In the story, the thing that the knight mounts is a horse (describe (add member *horsey1 class (build lex "horse") kn_cat "story")) (m344! (class (m22 (lex horse))) (member b18)) (m343! (class (m8 (lex herbivore))) (member b18)) (m342! (class (m5 (lex vertebrate))) (member b18)) (m341! (class (m4 (lex quadruped))) (member b18)) (m340! (class (m2 (lex phys obj))) (member b18)) (m339! (class (m1 (lex animal))) (member b18)) (m338! (class (m22)) (kn_cat story) (member b18)) (m263! (mode (m150 (lex presumably))) (object (m260! (subclass (m250 (lex brachet))) (superclass (m1))))) (m235! (mode (m150)) (object (m234 (subclass (m8)) (superclass (m1))))) (m173! (mode (m150)) (object (m172 (subclass (m5)) (superclass (m1))))) (m171! (mode (m150)) (object (m170 (subclass (m4)) (superclass (m1))))) (m169! (mode (m150)) (object (m168 (subclass (m1)) (superclass (m1))))) (m167! (mode (m150)) (object (m166! (subclass (m10 (lex mammal))) (superclass (m1))))) (m165! (mode (m150)) (object (m164! (subclass (m13 (lex deer))) (superclass (m1))))) (m163! (mode (m150)) (object (m162 (subclass (m20 (lex hart))) (superclass (m1))))) (m161! (mode (m150)) (object (m160! (subclass (m22)) (superclass (m1))))) (m159! (mode (m150)) (object (m158! (subclass (m27 (lex pony))) (superclass (m1))))) (m157! (mode (m150)) (object (m156! (subclass (m29 (lex dog))) (superclass (m1))))) (m155! (mode (m150)) (object (m154 (subclass (m34 (lex hound))) (superclass (m1))))) (m153! (mode (m150)) (object (m152 (subclass (m2)) (superclass (m1))))) (m344! m343! m342! m341! m340! m339! m338! m263! m235! m173! m171! m169! m167! m165! m163! m161! m159! m157! m155! m153!) CPU time : 1.19 * ;; Newly inferred information: ;; ;; The horse is a horse. ;; The horse is a herbivore. ;; The horse is a vertebrate. ;; The horse is a quadruped. ;; The horse is a physical object. ;; The horse is an animal. ;; ;; In the story, the knight rides the horse (describe (add agent *knight1 act (build action (build lex "ride") object *horsey1) kn_cat "story")) (m347! (act (m346 (action (m345 (lex ride))) (object b18))) (agent b17) (kn_cat story)) (m347!) CPU time : 0.02 * ;; Newly inferred information: ;; ;; None. ;; In the story, the knight carries the brachet (describe (add agent *knight1 act (build action (build lex "carry") object *brachet1) kn_cat "story")) (m351! (object b14) (property (m93 (lex small)))) (m350! (act (m348 (action (m205 (lex carry))) (object b14))) (agent b17)) (m349! (act (m348)) (agent b17) (kn_cat story)) (m258! (subclass (m250 (lex brachet))) (superclass (m2 (lex phys obj)))) (m351! m350! m349! m258!) CPU time : 0.09 * ;; Newly inferred information: ;; ;; The brachet is small. ;; What does brachet mean? ^ --> (defineNoun "brachet") Definition of brachet: Class Inclusions: animal, Possible Actions: bite buttock, Possible Properties: small, white, Possibly Similar Items: mammal, pony, nil CPU time : 5.30 * ; ;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] ;; In the story, there is a lady (describe (add member #lady1 class (build lex "lady") kn_cat "story")) (m354! (class (m352 (lex lady))) (member b19)) (m353! (class (m352)) (kn_cat story) (member b19)) (m354! m353!) CPU time : 0.05 * ;; Newly inferred information: ;; ;; None. ;; In the story, the lady says that the knight took the brachet (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")) (m359! (act (m358 (action (m210 (lex say that))) (object (m357 (act (m356 (action (m355 (lex take))) (object b14))) (agent b17))))) (agent b19) (kn_cat story)) (m359!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. ;; In the story, the lady says that the brachet belongs to her. (describe (add agent *lady1 act (build action (build lex "say that") object (build possessor *lady1 object *brachet1 rel (build lex "brachet"))) kn_cat "story")) (m362! (act (m361 (action (m210 (lex say that))) (object (m360 (object b14) (possessor b19) (rel (m250 (lex brachet))))))) (agent b19) (kn_cat story)) (m362!) CPU time : 0.04 * ;; Newly inferred information: ;; ;; None. ;; In the story, the lady says that she wants the brachet. (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")) (m368! (object b14) (property (m208 (lex valuable)))) (m367! (act (m365 (action (m210 (lex say that))) (object (m364! (act (m363 (action (m207 (lex want))) (object b14))) (agent b19))))) (agent b19)) (m366! (act (m365)) (agent b19) (kn_cat story)) (m368! m367! m366! m364!) CPU time : 0.04 * ;; Newly inferred information: ;; ;; The brachet is valuable. ;; What does brachet mean? ^ --> (defineNoun "brachet") Definition of brachet: Class Inclusions: animal, Possible Actions: bite buttock, Possible Properties: valuable, small, white, Possibly Similar Items: mammal, pony, nil CPU time : 6.20 * ;;; 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] ;; In the story, Merlin (from background) says that Sir Gawain (from BG) ;; must bring the hart to the hall (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")) (m375! (act (m374 (action (m210 (lex say that))) (object (m373 (mode (m369 (lex must))) (object (m372 (act (m371 (action (m370 (lex bring))) (object b12))) (agent b8) (to b13))))))) (agent b5) (kn_cat story)) (m375!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ;; In the story, Merlin says that an unknown thing must bring the ;; brachet to the hall (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")) (m380! (act (m379 (action (m210 (lex say that))) (object (m378 (mode (m369 (lex must))) (object (m377 (act (m376 (action (m370 (lex bring))) (object b14))) (agent b20) (to b13))))))) (agent b5) (kn_cat story)) (m380!) CPU time : 0.07 * ;; Newly inferred information: ;; ;; None. ;; In the story, the thing that must bring the brachet to the hall is ;; named Sir Tor (describe (assert object *SirTor proper-name (build lex "Sir Tor") kn_cat "story")) (m382! (kn_cat story) (object b20) (proper-name (m381 (lex Sir Tor)))) (m382!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story, Sir Tor is a knight (describe (assert member *SirTor class (build lex "knight") kn_cat "story-comp")) (m383! (class (m44 (lex knight))) (kn_cat story-comp) (member b20)) (m383!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story, Merlin says that Sir Tor must either bring the knight ;; who took the brachet to the hall or he must slay the knight who took ;; the brachet. (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")) (m391! (act (m390 (action (m210 (lex say that))) (object (m389 (arg (m388 (act (m387 (action (m106 (lex slay))) (object b17))) (agent b20))) (mode (m369 (lex must))) (object (m386 (min 1) (max 1) (arg (m385 (act (m384 (action (m370 (lex bring))) (object b17))) (agent b20) (to b13))))))))) (agent b5) (kn_cat story)) (m391!) CPU time : 0.04 * ;; Newly inferred information: ;; ;; None. ;; What does brachet mean? ^ --> (defineNoun "brachet") Definition of brachet: Class Inclusions: animal, Possible Actions: bite buttock, Possible Properties: valuable, small, white, Possibly Similar Items: mammal, pony, nil CPU time : 7.66 * ;;; 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] ;; In the story, there is an elder (describe (assert member #elder class (build lex "elder") kn_cat "story")) (m392! (class (m217 (lex elder))) (kn_cat story) (member b21)) (m392!) CPU time : 0.02 * ;; Newly inferred information: ;; ;; None. ;; In the story, there is a hart (describe (assert member #hart2 class (build lex "hart") kn_cat "story")) (m393! (class (m20 (lex hart))) (kn_cat story) (member b22)) (m393!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;; In the story, the hart is white (describe (assert object *hart2 property (build lex "white") kn_cat "story")) (m394! (kn_cat story) (object b22) (property (m88 (lex white)))) (m394!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;; In the story, the elder says that the hart came to something. (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")) (m399! (act (m398 (action (m210 (lex say that))) (object (m397 (act (m396 (action (m395 (lex come))) (place b23))) (agent b22))))) (agent b21) (kn_cat story)) (m399!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ;; In the story, the elder says that something is chasing the hart. (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")) (m403! (act (m402 (action (m210 (lex say that))) (object (m401 (act (m400 (action (m220 (lex chase))) (object b22))) (agent b24))))) (agent b21) (kn_cat story)) (m403!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ;; In the story, the thing chasing the hart is a hound (describe (assert member *hounds2 class (build lex "hound") kn_cat "story")) (m404! (class (m34 (lex hound))) (kn_cat story) (member b24)) (m404!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story, the elder says that something is next to the hart (describe (add agent *elder act (build action (build lex "say that") object (build object #brachet2 location (build sp-rel (build lex "next to") object *hart2))) kn_cat "story")) (m408! (act (m407 (action (m210 (lex say that))) (object (m406 (location (m405 (object b22) (sp-rel (m253 (lex next to))))) (object b25))))) (agent b21) (kn_cat story)) (m408!) CPU time : 0.05 * ;; Newly inferred information: ;; ;; None. ;; In the story, the thing that is next to the hart is a brachet (describe (assert member *brachet2 class (build lex "brachet") kn_cat "story")) (m409! (class (m250 (lex brachet))) (kn_cat story) (member b25)) (m409!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story, the brachet is white (describe (assert object *brachet2 property (build lex "white") kn_cat "story")) (m410! (kn_cat story) (object b25) (property (m88 (lex white)))) (m410!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;; In the story, the two brachets are actually the same brachet. (describe (assert equiv *brachet1 equiv *brachet2 kn_cat "story-comp")) (m411! (equiv b25 b14) (kn_cat story-comp)) (m411!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;; In the story, the two harts are actually the same hart. (describe (assert equiv *hart1 equiv *hart2 kn_cat "story-comp")) (m412! (equiv b22 b12) (kn_cat story-comp)) (m412!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story, the two hounds are actually the same hound. (describe (assert equiv *hounds1 equiv *hounds2 kn_cat "story-comp")) (m413! (equiv b24 b15) (kn_cat story-comp)) (m413!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;; What does brachet mean? ^ --> (defineNoun "brachet") Definition of brachet: Class Inclusions: animal, Possible Actions: bite buttock, Possible Properties: valuable, small, white, Possibly Similar Items: mammal, pony, nil CPU time : 10.24 * ;;; 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] ;; In the story, Sir Tor mounts something. (describe (add agent *SirTor act (build action (build lex "mount") object #torhorse kn_cat "story"))) (m422! (act (m421 (action (m335 (lex mount))) (kn_cat story) (object b26))) (agent b20)) (m422!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ;; In the story, the thing that Sir Tor mounts is his horse. (describe (assert object *torhorse rel (build lex "horse") possessor *SirTor kn_cat "story")) (m423! (kn_cat story) (object b26) (possessor b20) (rel (m22 (lex horse)))) (m423!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story, Sir Tor's horse is a horse. (describe (assert member *torhorse class (build lex "horse") kn_cat "story")) (m424! (class (m22 (lex horse))) (kn_cat story) (member b26)) (m424!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;; In the story, Sir Tor rides his horse (describe (add agent *SirTor act (build action (build lex "ride") object *torhorse) direction *knight1 kn_cat "story")) (m426! (act (m425 (action (m345 (lex ride))) (object b26))) (agent b20) (direction b17) (kn_cat story)) (m426!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ;; In the story, the knight who took the brachet is with the brachet. (describe (assert object1 *knight1 rel (build lex "with") object2 *brachet1 kn_cat "story")) (m428! (kn_cat story) (object1 b17) (object2 b14) (rel (m427 (lex with)))) (m428!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ; ;`Ye shall say [you are sent] by the knight who went in quest of the knight ;with the brachet.' [71] ;; In the story, Sir Tor says that something shall say that it was sent by the knight ;; who is questing for the brachet. (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")) (m438! (act (m437 (action (m210 (lex say that))) (object (m436 (mode (m429 (lex shall))) (object (m435 (act (m434 (action (m210)) (object (m433 (act (m432 (action (m431 (lex send))) (object b27))) (agent (m430 (a1 b17) (a2 b14) (skf questor-for))))))) (agent b27))))))) (agent b20) (kn_cat story)) (m438!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ;; In the story, Sir Tor is the knight who is questing for the brachet (describe (assert equiv (build skf "questor-for" a1 *knight1 a2 *brachet1) equiv *SirTor kn_cat "story-comp")) (m439! (equiv (m430 (a1 b17) (a2 b14) (skf questor-for)) b20) (kn_cat story-comp)) (m439!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;; What does brachet mean? ^ --> (defineNoun "brachet") Definition of brachet: Class Inclusions: animal, Possible Actions: bite buttock, Possible Properties: valuable, small, white, Possibly Similar Items: mammal, pony, nil CPU time : 11.45 * ; ;`I know you ride after the knight with the white brachet, and I shall bring ; you where he is,' said the dwarf. [72] ; In the story, there is a dwarf (describe (assert member #dwarf1 class (build lex "dwarf") kn_cat "story")) (m441! (class (m440 (lex dwarf))) (kn_cat story) (member b28)) (m441!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story, the dwarf says that he knows that Sir Tor seeks the knight who took the brachet. (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")) (m449! (act (m448 (action (m210 (lex say that))) (object (m447 (act (m446 (action (m442 (lex know that))) (object (m445 (act (m444 (action (m443 (lex seek))) (object b17))) (agent b20))))) (agent b28))))) (agent b28) (kn_cat story)) (m449!) CPU time : 0.12 * ;; Newly inferred information: ;; ;; None. ;; In the story, the dwarf says that he will bring Sir Tor someplace. (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")) (m453! (act (m452 (action (m210 (lex say that))) (object (m451 (act (m450 (action (m370 (lex bring))) (object b20) (to b29))) (agent b28))))) (agent b28) (kn_cat story)) (m453!) CPU time : 0.08 * ;; Newly inferred information: ;; ;; None. ;; In the story, the knight is in the place that the dwarf is taking Sir Tor. (describe (assert object *knight1 location *brplace kn_cat "story")) (m454! (kn_cat story) (location b29) (object b17)) (m454!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story, the brachet is in the place that the dwarf is taking Sir Tor. (describe (assert object *brachet1 location *brplace kn_cat "story-comp")) (m455! (kn_cat story-comp) (location b29) (object b14)) (m455!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;;; 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. ;; In the story, Sir Tor goes to some place (describe (add agent *SirTor act (build action (build lex "go")) to #pavilion1 kn_cat "story")) (m458! (act (m457 (action (m456 (lex go))))) (agent b20) (kn_cat story) (to b30)) (m458!) CPU time : 0.05 * ;; Newly inferred information: ;; ;; None. ;; In the story, the place that Sir Tor goes to is a pavilion (describe (assert member *pavilion1 class (build lex "pavilion") kn_cat "story")) (m460! (class (m459 (lex pavilion))) (kn_cat story) (member b30)) (m460!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;; In the story, the lady is sleeping in the pavilion (describe (add agent *lady1 act (build action (build lex "sleep") place *pavilion1) kn_cat "story")) (m463! (act (m462 (action (m461 (lex sleep))) (place b30))) (agent b19) (kn_cat story)) (m463!) CPU time : 0.05 * ;; Newly inferred information: ;; ;; None. ;; In the story, Sir Tor finds the lady in the pavilion (describe (add agent *SirTor act (build action (build lex "find") object *lady1) place *pavilion1 kn_cat "story")) (m466! (act (m465 (action (m464 (lex find))) (object b19))) (agent b20) (kn_cat story) (place b30)) (m466!) CPU time : 0.05 * ;; Newly inferred information: ;; ;; None. ;; In the story, Sir Tor finds the brachet in the pavilion (describe (add agent *SirTor act (build action (build lex "find") object *brachet1) place *pavilion1 kn_cat "story")) (m468! (act (m467 (action (m464 (lex find))) (object b14))) (agent b20) (kn_cat story) (place b30)) (m468!) CPU time : 0.07 * ;; Newly inferred information: ;; ;; None. ;; In the story, the brachet bays at Sir Tor. (describe (add agent *brachet1 act (build action (build lex "bay") direction *SirTor) kn_cat "story")) (m470! (act (m469 (action (m111 (lex bay))) (direction b20))) (agent b14) (kn_cat story)) (m289! (act (m112 (action (m111)))) (agent b14)) (m259! (subclass (m250 (lex brachet))) (superclass (m34 (lex hound)))) (m470! m289! m259!) CPU time : 0.18 * ;; Newly inferred information: ;; ;; The brachet bays. ;; Brachet is a subclass of hound. ;; What does brachet mean? ^ --> (defineNoun "brachet") Definition of brachet: Class Inclusions: hound, dog, Possible Actions: bite buttock, bay, hunt, Possible Properties: valuable, small, white, nil CPU time : 66.00 * ;;; 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. ;; In the story, Sir Tor spys the brachet (describe (add agent *SirTor act (build action (build lex "spy") object *brachet1) kn_cat "story")) (m500! (act (m499 (action (m498 (lex spy))) (object b14))) (agent b20) (kn_cat story)) (m500!) CPU time : 0.09 * ;; Newly inferred information: ;; ;; None. ;; In the story, Sir Tor takes the bracket (describe (add agent *SirTor act (build action (build lex "take") object *brachet1) kn_cat "story")) (m501! (act (m356 (action (m355 (lex take))) (object b14))) (agent b20) (kn_cat story)) (m501!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ;; In the story, Sir Tor gives the brachet to the dwarf (describe (add agent *SirTor act (build action (build lex "give") object *brachet1 indobj *dwarf1) kn_cat "story")) (m504! (act (m503 (action (m502 (lex give))) (indobj b28) (object b14))) (agent b20) (kn_cat story)) (m504!) CPU time : 0.05 * ;; Newly inferred information: ;; ;; None. ; ;With the noise, the lady came out of the pavilion with all her damosels. ;; In the story, the lady comes from the pavilion (describe (add agent *lady1 act (build action (build lex "come") from *pavilion1) kn_cat "story")) (m506! (act (m505 (action (m395 (lex come))) (from b30))) (agent b19) (kn_cat story)) (m506!) CPU time : 0.07 * ;; Newly inferred information: ;; ;; None. ;; In the story, there is a noise (describe (assert member #noise1 class (build lex noise) kn_cat "story")) (m508! (class (m507 (lex noise))) (kn_cat story) (member b31)) (m508!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story, the noise caused the lady to come from the pavilion. (describe (add cause *noise1 effect (build agent *lady1 act (build action (build lex "come") from *pavilion1)) kn_cat "story")) (m510! (cause b31) (effect (m509 (act (m505 (action (m395 (lex come))) (from b30))) (agent b19))) (kn_cat story)) (m510!) CPU time : 0.05 * ;; Newly inferred information: ;; ;; None. ;; In the story, there is a damosel (describe (assert member *damosels1 class (build lex "damosel") kn_cat "story")) (m512! (class (m511 (lex damosel))) (kn_cat story)) (m512!) CPU time : 0.01 * ;; In the story, the damosel comes from the pavilion (describe (add agent #damosels1 act (build action (build lex "come") from *pavilion1) kn_cat "story")) (m513! (act (m505 (action (m395 (lex come))) (from b30))) (agent b32) (kn_cat story)) (m513!) CPU time : 0.08 * ;; Newly inferred information: ;; ;; None. ;; In the story, the noise caused the damosel to come from the pavilion (describe (add cause *noise1 effect (build agent *damosels1 act (build action (build lex "come") from *pavilion1)) kn_cat "story")) (m515! (cause b31) (effect (m514 (act (m505 (action (m395 (lex come))) (from b30))) (agent b32))) (kn_cat story)) (m515!) CPU time : 0.07 * ;; In the story, the damosel is a person (describe (assert member *damosels1 class (build lex "person") kn_cat "story-comp")) (m516! (class (m38 (lex person))) (kn_cat story-comp) (member b32)) (m516!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;; In the story, the noise was the brachet baying. (describe (assert equiv *noise1 equiv (build agent *brachet1 act (build action (build lex "bay"))) kn_cat "story_comp")) (m517! (equiv b31 (m289! (act (m112 (action (m111 (lex bay))))) (agent b14))) (kn_cat story_comp)) (m517!) CPU time : 0.00 * ;; Newly inferred information: ;; ;; None. ;;; `What! Will ye take my brachet from me?' said the lady. ;; In the story, the lady asks Sir Tor why he took the brachet from her. (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")) (m521! (act (m520 (action (m518 (lex ask))) (object (m519 (act (m356 (action (m355 (lex take))) (object b14))) (agent b20) (from b19))))) (agent b19) (indobj b20) (kn_cat story)) (m521!) CPU time : 0.09 * ;; Newly inferred information: ;; ;; None. ;; In the story, the lady is angry. (describe (assert object *lady1 property (build lex "angry") kn_cat "story-comp")) (m523! (kn_cat story-comp) (object b19) (property (m522 (lex angry)))) (m523!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ;; In the story,Sir Tor taking the brachet caused the lady to be angry. (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")) (m525! (cause (m519 (act (m356 (action (m355 (lex take))) (object b14))) (agent b20) (from b19))) (effect (m524 (object b19) (property (m522 (lex angry))))) (kn_cat story-comp)) (m525!) CPU time : 0.01 * ;; Newly inferred information: ;; ;; None. ; ; `Yes,' said Sir Tor, `this brachet I have sought from King Arthur's court ; hither.' [72] ;; In the story,Sir Tor tells the lady that he took the brachet from her. (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")) (m527! (act (m526 (action (m210 (lex say that))) (indobj b19) (object (m519 (act (m356 (action (m355 (lex take))) (object b14))) (agent b20) (from b19))))) (agent b20) (kn_cat story)) (m527!) CPU time : 0.07 * ;; Newly inferred information: ;; ;; None. ;; In the story,Sir Tor says that he sought the brachet from the hall to the pavilion. (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")) (m531! (act (m530 (action (m210 (lex say that))) (object (m529 (act (m528 (action (m443 (lex seek))) (object b14))) (agent b20) (from b13) (to b30))))) (agent b20) (kn_cat story)) (m531!) CPU time : 0.06 * ;; Newly inferred information: ;; ;; None. ;; What does brachet mean? ^ --> (defineNoun "brachet") Definition of brachet: Class Inclusions: dog, Possible Actions: bite buttock, bay, hunt, Possible Properties: valuable, small, white, nil CPU time : 19.91 * End of /projects/stn2/CVA/demos/brachet.demo demonstration. CPU time : 150.23 *