Script started on Tue Sep 25 09:41:57 2007 castor/NL> acl International Allegro CL Enterprise Edition 8.0 [Solaris] (Apr 10, 2007 13:09) Copyright (C) 1985-2005, Franz Inc., Oakland, CA, USA. All Rights Reserved. This development copy of Allegro CL is licensed to: [4549] University at Buffalo ;; 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): :ld /projects/snwiz/bin/sneps ; Loading /projects/snwiz/bin/sneps.lisp ;;; Installing jlinker patch, version 2 ;;; Installing foreign patch, version 1 ;;; Installing regexp2 patch, version 1 ;;; Installing yacc patch, version 1 Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% SNePS-2.7 [PL:0 2007/09/21 16:26:55] loaded. Type `(sneps)' or `(snepslog)' to get started. cl-user(2): (sneps) Welcome to SNePS-2.7 [PL:0 2007/09/21 16:26:55] Copyright (C) 1984--2007 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. 9/25/2007 9:42:25 * (demo "mynlpdemo.sneps") File /u0/faculty/rapaport/CVA/NL/mynlpdemo.sneps is now the source of input. CPU time : 0.03 * ;;; Demo file for NLP brachet ;;; Prepared by Vikranth B. Rao ;;; Fall 2003 (resetnet t) Net reset CPU time : 0.00 * ;;; ;;; Load requisite files ;;; ^^ --> (load "pmla.cl") ; Loading /u0/faculty/rapaport/CVA/NL/pmla.cl ; Loading /projects/stn2/CVA/defun_noun.cl t --> (load "/projects/robot/Ygdrasil/Princess/newachieve") ; Fast loading /projects/robot/Ygdrasil/Princess/newachieve.fasl Warning: achieve, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/achieve.lisp and is now being defined in newachieve.lisp Warning: find-gplans, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/achieve.lisp and is now being defined in newachieve.lisp t --> (load "/projects/robot/Ygdrasil/Princess/newact") ; Fast loading /projects/robot/Ygdrasil/Princess/newact.fasl Warning: *use-do-acts*, :variable was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: act, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: get-effects, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: get-plans, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: schedule-believe-effects, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: schedule-preconditions, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: schedule-plans, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: test-preconditions, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: tally-preconditions, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: execute-primaction, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: find-preconditions, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: find-effects, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp Warning: find-plans, :operator was defined in /projects/snwiz/Install/Sneps-2.7.0/snip/fns/act.lisp and is now being defined in newact.lisp t --> ^^ CPU time : 0.53 * ;(intext "/projects/stn2/CVA/demos/rels") (define a1 a2 a3 a4 after agent against antonym associated before cause class direction equiv etime event from in indobj instr into lex location manner member mode object on onto part place possessor proper-name property rel skf sp-rel stime subclass superclass subset superset synonym time to whole kn_cat) (a1 a2 a3 a4 after agent against antonym associated before cause class direction equiv etime event from in indobj instr into lex location manner member mode object on onto part place possessor proper-name property rel skf sp-rel stime subclass superclass subset superset synonym time to whole kn_cat) CPU time : 0.00 * (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 * ;; Make member move over equiv arcs (define-path member (compose member (kstar (compose equiv- ! equiv)))) member implied by the path (compose member (kstar (compose equiv- ! equiv))) member- implied by the path (compose (kstar (compose equiv- ! equiv)) member-) CPU time : 0.01 * End of /projects/stn2/CVA/demos/paths demonstration. CPU time : 0.01 * (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.00 * ; 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.00 * ; Herbivore and carnivore are antonyms (describe (assert antonym (build lex "herbivore") antonym (build lex "carnivore"))) (m11! (antonym (m10 (lex carnivore)) (m8 (lex herbivore)))) (m11!) CPU time : 0.00 * ; Mammals are animals (describe (assert subclass (build lex "mammal") superclass (build lex "animal") kn_cat "life")) (m13! (kn_cat life) (subclass (m12 (lex mammal))) (superclass (m1 (lex animal)))) (m13!) CPU time : 0.00 * ; Mammals are vertebrates (describe (assert subclass (build lex "mammal") superclass (build lex "vertebrate") kn_cat "life")) (m14! (kn_cat life) (subclass (m12 (lex mammal))) (superclass (m5 (lex vertebrate)))) (m14!) CPU time : 0.00 * ; Deer are mammals (describe (assert subclass (build lex "deer") superclass (build lex "mammal") kn_cat "life")) (m16! (kn_cat life) (subclass (m15 (lex deer))) (superclass (m12 (lex mammal)))) (m16!) CPU time : 0.00 * ; Deer are quadrupeds (describe (assert subclass (build lex "deer") superclass (build lex "quadruped") kn_cat "life")) (m17! (kn_cat life) (subclass (m15 (lex deer))) (superclass (m4 (lex quadruped)))) (m17!) CPU time : 0.01 * ; Deer are herbivores (describe (assert subclass (build lex "deer") superclass (build lex "herbivore") kn_cat "life")) (m18! (kn_cat life) (subclass (m15 (lex deer))) (superclass (m8 (lex herbivore)))) (m18!) CPU time : 0.00 * ; Deer are animals (describe (assert subclass (build lex "deer") superclass (build lex "animal") kn_cat "life")) (m19! (kn_cat life) (subclass (m15 (lex deer))) (superclass (m1 (lex animal)))) (m19!) CPU time : 0.01 * ; Deer is a basic level category (describe (assert member (build lex "deer") class (build lex "basic ctgy") kn_cat "life")) (m21! (class (m20 (lex basic ctgy))) (kn_cat life) (member (m15 (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.01 * ; 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.00 * ; 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.05 * ; Horse is a basic level category (describe (assert member (build lex "horse") class (build lex "basic ctgy") kn_cat "life")) (m26! (class (m20 (lex basic ctgy))) (kn_cat life) (member (m22 (lex horse)))) (m26!) CPU time : 0.00 * ; 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 (m12 (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 carnivores" (describe (assert subclass (build lex "dog") superclass (build lex "carnivore"))) (m32! (subclass (m29 (lex dog))) (superclass (m10 (lex carnivore)))) (m32!) CPU time : 0.00 * ;"Dogs are animals" (describe (assert subclass (build lex "dog") superclass (build lex "animal") kn_cat "life")) (m33! (kn_cat life) (subclass (m29 (lex dog))) (superclass (m1 (lex animal)))) (m33!) CPU time : 0.01 * ; Dog is a basic level category (describe (assert member (build lex "dog") class (build lex "basic ctgy") kn_cat "life")) (m34! (class (m20 (lex basic ctgy))) (kn_cat life) (member (m29 (lex dog)))) (m34!) CPU time : 0.00 * ;"Hounds are dogs" (describe (assert subclass (build lex "hound") superclass (build lex "dog") kn_cat "life")) (m36! (kn_cat life) (subclass (m35 (lex hound))) (superclass (m29 (lex dog)))) (m36!) CPU time : 0.01 * ;"Something is a member of the class dog" (describe (assert member #rex class (build lex "dog"))) (m37! (class (m29 (lex dog))) (member b1)) (m37!) CPU time : 0.00 * ;"The dog is possesed by something" (describe (assert object *rex rel (build lex "dog") possessor #rexboss)) (m38! (object b1) (possessor b2) (rel (m29 (lex dog)))) (m38!) CPU time : 0.00 * ;"The thing that owns the dog is a person" (describe (assert member *rexboss class (build lex "person"))) (m40! (class (m39 (lex person))) (member b2)) (m40!) CPU time : 0.00 * ; Kings are persons (describe (add subclass (build lex "king") superclass (build lex "person") kn_cat "life")) (m42! (kn_cat life) (subclass (m41 (lex king))) (superclass (m39 (lex person)))) (m42!) CPU time : 0.01 * ; Wizards are persons. (describe (assert subclass (build lex "wizard") superclass (build lex "person") kn_cat "life")) (m44! (kn_cat life) (subclass (m43 (lex wizard))) (superclass (m39 (lex person)))) (m44!) CPU time : 0.00 * ; Knights are persons. (describe (assert subclass (build lex "knight") superclass (build lex "person") kn_cat "life")) (m46! (kn_cat life) (subclass (m45 (lex knight))) (superclass (m39 (lex person)))) (m46!) CPU time : 0.01 * ; Person is a basic level category (describe (assert member (build lex "person") class (build lex "basic ctgy") kn_cat "life")) (m47! (class (m20 (lex basic ctgy))) (kn_cat life) (member (m39 (lex person)))) (m47!) CPU time : 0.00 * ; Something is named 'King Arthur' (describe (assert object #KA proper-name (build lex "King Arthur") kn_cat "life")) (m49! (kn_cat life) (object b3) (proper-name (m48 (lex King Arthur)))) (m49!) CPU time : 0.01 * ; King Arthur is a king (describe (assert member *KA class (build lex "king") kn_cat "life")) (m50! (class (m41 (lex king))) (kn_cat life) (member b3)) (m50!) CPU time : 0.00 * ; The Round Table is a table (describe (assert member (build lex "Round Table") class (build lex "table") kn_cat "life")) (m53! (class (m52 (lex table))) (kn_cat life) (member (m51 (lex Round Table)))) (m53!) 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")) (m54! (kn_cat life) (object (m51 (lex Round Table))) (possessor b3) (rel (m52 (lex table)))) (m54!) CPU time : 0.00 * ; There is something named 'Excalibur' (describe (assert object #Excalibur proper-name (build lex "Excalibur") kn_cat "life")) (m56! (kn_cat life) (object b4) (proper-name (m55 (lex Excalibur)))) (m56!) CPU time : 0.00 * ; Excalibur is a sword (describe (assert member *Excalibur class (build lex "sword") kn_cat "life")) (m58! (class (m57 (lex sword))) (kn_cat life) (member b4)) (m58!) CPU time : 0.00 * ; King Arthur owns Excalibur (describe (assert object *Excalibur rel (build lex "sword") possessor *KA kn_cat "life")) (m59! (kn_cat life) (object b4) (possessor b3) (rel (m57 (lex sword)))) (m59!) CPU time : 0.00 * ; Something is named 'Merlin' (describe (assert object #Mer proper-name (build lex "Merlin") kn_cat "life")) (m61! (kn_cat life) (object b5) (proper-name (m60 (lex Merlin)))) (m61!) CPU time : 0.01 * ; Merlin is a wizard. (describe (assert member *Mer class (build lex "wizard") kn_cat "life")) (m62! (class (m43 (lex wizard))) (kn_cat life) (member b5)) (m62!) CPU time : 0.00 * ; Something is named 'Sir Galahad' (describe (assert object #Galahad proper-name (build lex "Sir Galahad") kn_cat "life")) (m64! (kn_cat life) (object b6) (proper-name (m63 (lex Sir Galahad)))) (m64!) CPU time : 0.01 * ; Sir Galahad is a knight (describe (assert member *Galahad class (build lex "knight") kn_cat "life")) (m65! (class (m45 (lex knight))) (kn_cat life) (member b6)) (m65!) CPU time : 0.00 * ; Something is named 'Sir Tristram' (describe (assert object #Tris proper-name (build lex "Sir Tristram") kn_cat "life")) (m67! (kn_cat life) (object b7) (proper-name (m66 (lex Sir Tristram)))) (m67!) CPU time : 0.00 * ; Sir Tristram is a knight (describe (assert member *Tris class (build lex "knight") kn_cat "life")) (m68! (class (m45 (lex knight))) (kn_cat life) (member b7)) (m68!) CPU time : 0.00 * ; Something is named 'Sir Gawain' (describe (assert object #SG proper-name (build lex "Sir Gawain") kn_cat "life")) (m70! (kn_cat life) (object b8) (proper-name (m69 (lex Sir Gawain)))) (m70!) CPU time : 0.01 * ; Sir Gawain is a knight (describe (assert member *SG class (build lex "knight") kn_cat "life")) (m71! (class (m45 (lex knight))) (kn_cat life) (member b8)) (m71!) CPU time : 0.00 * ; Something is named 'King Ban' (describe (assert object #Ban proper-name (build lex "King Ban") kn_cat "life")) (m73! (kn_cat life) (object b9) (proper-name (m72 (lex King Ban)))) (m73!) CPU time : 0.00 * ; King Ban is a king (describe (assert member *Ban class (build lex "king") kn_cat "life")) (m74! (class (m41 (lex king))) (kn_cat life) (member b9)) (m74!) CPU time : 0.00 * ; Something is named 'King Bors' (describe (assert object #Bors proper-name (build lex "King Bors") kn_cat "life")) (m76! (kn_cat life) (object b10) (proper-name (m75 (lex King Bors)))) (m76!) CPU time : 0.00 * ; King Bors is a king (describe (assert member *Bors class (build lex "king") kn_cat "life")) (m77! (class (m41 (lex king))) (kn_cat life) (member b10)) (m77!) CPU time : 0.00 * ; Something is named 'King Lot' (describe (assert object #Lot proper-name (build lex "King Lot") kn_cat "life")) (m79! (kn_cat life) (object b11) (proper-name (m78 (lex King Lot)))) (m79!) CPU time : 0.00 * ; King Lot is a king (describe (assert member *Lot class (build lex "king") kn_cat "life")) (m80! (class (m41 (lex king))) (kn_cat life) (member b11)) (m80!) CPU time : 0.00 * ; Sideboards are furniture (describe (assert subclass (build lex "sideboard") superclass (build lex "furniture") kn_cat "life")) (m83! (kn_cat life) (subclass (m81 (lex sideboard))) (superclass (m82 (lex furniture)))) (m83!) CPU time : 0.00 * ; Tables are furniture (describe (assert subclass (build lex "table") superclass (build lex "furniture") kn_cat "life")) (m84! (kn_cat life) (subclass (m52 (lex table))) (superclass (m82 (lex furniture)))) (m84!) CPU time : 0.00 * ; Chairs are furniture (describe (assert subclass (build lex "chair") superclass (build lex "furniture") kn_cat "life")) (m86! (kn_cat life) (subclass (m85 (lex chair))) (superclass (m82 (lex furniture)))) (m86!) CPU time : 0.00 * ; Chair is a basic level category (describe (assert member (build lex "chair") class (build lex "basic ctgy") kn_cat "life")) (m87! (class (m20 (lex basic ctgy))) (kn_cat life) (member (m85 (lex chair)))) (m87!) CPU time : 0.01 * ; Table is a basic level category (describe (assert member (build lex "table") class (build lex "basic ctgy") kn_cat "life")) (m88! (class (m20 (lex basic ctgy))) (kn_cat life) (member (m52 (lex table)))) (m88!) CPU time : 0.01 * ; White is a color (describe (assert member (build lex "white") class (build lex "color") kn_cat "life")) (m91! (class (m90 (lex color))) (kn_cat life) (member (m89 (lex white)))) (m91!) CPU time : 0.00 * ; Black is a color (describe (assert member (build lex "black") class (build lex "color") kn_cat "life")) (m93! (class (m90 (lex color))) (kn_cat life) (member (m92 (lex black)))) (m93!) CPU time : 0.01 * ; Small is a size (describe (assert member (build lex "small") class (build lex "size") kn_cat "life")) (m96! (class (m95 (lex size))) (kn_cat life) (member (m94 (lex small)))) (m96!) CPU time : 0.00 * ; "Small" and "little" are synonyms (describe (assert synonym (build lex "small") synonym (build lex "little") kn_cat "life")) (m98! (kn_cat life) (synonym (m97 (lex little)) (m94 (lex small)))) (m98!) CPU time : 0.00 * ; Large is a size (describe (assert member (build lex "large") class (build lex "size") kn_cat "life")) (m100! (class (m95 (lex size))) (kn_cat life) (member (m99 (lex large)))) (m100!) CPU time : 0.00 * ; "Large" and "big" are synonyms (describe (assert synonym (build lex "large") synonym (build lex "big") kn_cat "life")) (m102! (kn_cat life) (synonym (m101 (lex big)) (m99 (lex large)))) (m102!) CPU time : 0.00 * ; Spears are weapons (describe (add subclass (build lex "spear") superclass (build lex "weapon") kn_cat "life")) (m105! (kn_cat life) (subclass (m103 (lex spear))) (superclass (m104 (lex weapon)))) (m105!) CPU time : 0.01 * ; "Kill" and "Slay" are synonyms (describe (assert synonym (build lex "kill") synonym (build lex "slay") kn_cat "life")) (m108! (kn_cat life) (synonym (m107 (lex slay)) (m106 (lex kill)))) (m108!) CPU time : 0.00 * ;; ###################### ;; 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")) (m111! (forall v1) (ant (p1 (class (m35 (lex hound))) (member v1))) (cq (p2 (act (m110 (action (m109 (lex hunt))))) (agent v1))) (kn_cat life-rule.1)) (m111!) CPU time : 0.06 * ;; 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")))) (m149! (class (m20 (lex basic ctgy))) (member (m15 (lex deer)))) (m148! (class (m20)) (member (m22 (lex horse)))) (m147! (class (m20)) (member (m29 (lex dog)))) (m146! (class (m12 (lex mammal))) (member b1)) (m145! (class (m10 (lex carnivore))) (member b1)) (m144! (class (m5 (lex vertebrate))) (member b1)) (m143! (class (m4 (lex quadruped))) (member b1)) (m142! (class (m2 (lex phys obj))) (member b1)) (m141! (class (m1 (lex animal))) (member b1)) (m140! (class (m20)) (member (m39 (lex person)))) (m139! (class (m41 (lex king))) (member b3)) (m138! (class (m39)) (member b3)) (m137! (class (m82 (lex furniture))) (member (m51 (lex Round Table)))) (m136! (class (m52 (lex table))) (member (m51))) (m135! (class (m57 (lex sword))) (member b4)) (m134! (class (m43 (lex wizard))) (member b5)) (m133! (class (m39)) (member b5)) (m132! (class (m45 (lex knight))) (member b6)) (m131! (class (m39)) (member b6)) (m130! (class (m45)) (member b7)) (m129! (class (m39)) (member b7)) (m128! (class (m45)) (member b8)) (m127! (class (m39)) (member b8)) (m126! (class (m41)) (member b9)) (m125! (class (m39)) (member b9)) (m124! (class (m41)) (member b10)) (m123! (class (m39)) (member b10)) (m122! (class (m41)) (member b11)) (m121! (class (m39)) (member b11)) (m120! (class (m20)) (member (m85 (lex chair)))) (m119! (class (m20)) (member (m52))) (m118! (class (m90 (lex color))) (member (m89 (lex white)))) (m117! (class (m90)) (member (m92 (lex black)))) (m116! (class (m95 (lex size))) (member (m94 (lex small)))) (m115! (class (m95)) (member (m99 (lex large)))) (m114! (forall v3 v2) (&ant (p4 (class v3) (member v2)) (p3 (act (m113 (action (m112 (lex bay))))) (agent v2))) (cq (p5 (subclass v3) (superclass (m35 (lex hound)))))) (m40! (class (m39)) (member b2)) (m37! (class (m29)) (member b1)) (m149! m148! 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! m40! m37!) CPU time : 0.10 * ;; 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")) (m151! (forall v5 v4 v3) (&ant (p8 (class v3) (member v4)) (p7 (act (p6 (action (m150 (lex bite))) (object v5))) (agent v4))) (cq (p9 (subclass v3) (superclass (m1 (lex animal))))) (kn_cat life-rule.1)) (m149! (class (m20 (lex basic ctgy))) (member (m15 (lex deer)))) (m148! (class (m20)) (member (m22 (lex horse)))) (m147! (class (m20)) (member (m29 (lex dog)))) (m146! (class (m12 (lex mammal))) (member b1)) (m145! (class (m10 (lex carnivore))) (member b1)) (m144! (class (m5 (lex vertebrate))) (member b1)) (m143! (class (m4 (lex quadruped))) (member b1)) (m142! (class (m2 (lex phys obj))) (member b1)) (m141! (class (m1)) (member b1)) (m140! (class (m20)) (member (m39 (lex person)))) (m139! (class (m41 (lex king))) (member b3)) (m138! (class (m39)) (member b3)) (m137! (class (m82 (lex furniture))) (member (m51 (lex Round Table)))) (m136! (class (m52 (lex table))) (member (m51))) (m135! (class (m57 (lex sword))) (member b4)) (m134! (class (m43 (lex wizard))) (member b5)) (m133! (class (m39)) (member b5)) (m132! (class (m45 (lex knight))) (member b6)) (m131! (class (m39)) (member b6)) (m130! (class (m45)) (member b7)) (m129! (class (m39)) (member b7)) (m128! (class (m45)) (member b8)) (m127! (class (m39)) (member b8)) (m126! (class (m41)) (member b9)) (m125! (class (m39)) (member b9)) (m124! (class (m41)) (member b10)) (m123! (class (m39)) (member b10)) (m122! (class (m41)) (member b11)) (m121! (class (m39)) (member b11)) (m120! (class (m20)) (member (m85 (lex chair)))) (m119! (class (m20)) (member (m52))) (m118! (class (m90 (lex color))) (member (m89 (lex white)))) (m117! (class (m90)) (member (m92 (lex black)))) (m116! (class (m95 (lex size))) (member (m94 (lex small)))) (m115! (class (m95)) (member (m99 (lex large)))) (m40! (class (m39)) (member b2)) (m37! (class (m29)) (member b1)) (m151! m149! m148! 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! m40! m37!) CPU time : 0.19 * ;; 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")) (m175! (mode (m152 (lex presumably))) (object (m174 (subclass (m10 (lex carnivore))) (superclass (m1 (lex animal)))))) (m173! (mode (m152)) (object (m172 (subclass (m5 (lex vertebrate))) (superclass (m1))))) (m171! (mode (m152)) (object (m170 (subclass (m4 (lex quadruped))) (superclass (m1))))) (m167! (mode (m152)) (object (m166 (subclass (m12 (lex mammal))) (superclass (m1))))) (m165! (mode (m152)) (object (m164 (subclass (m15 (lex deer))) (superclass (m1))))) (m163! (mode (m152)) (object (m162 (subclass (m22 (lex horse))) (superclass (m1))))) (m159! (mode (m152)) (object (m158 (subclass (m29 (lex dog))) (superclass (m1))))) (m157! (mode (m152)) (object (m156 (subclass (m35 (lex hound))) (superclass (m1))))) (m155! (mode (m152)) (object (m154 (subclass (m2 (lex phys obj))) (superclass (m1))))) (m153! (forall v6 v4) (&ant (p11 (class v6) (member v4)) (p10 (class (m1)) (member v4))) (cq (p13 (mode (m152)) (object (p12 (subclass v6) (superclass (m1)))))) (kn_cat life-rule.1)) (m149! (class (m20 (lex basic ctgy))) (member (m15))) (m148! (class (m20)) (member (m22))) (m147! (class (m20)) (member (m29))) (m146! (class (m12)) (member b1)) (m145! (class (m10)) (member b1)) (m144! (class (m5)) (member b1)) (m143! (class (m4)) (member b1)) (m142! (class (m2)) (member b1)) (m141! (class (m1)) (member b1)) (m140! (class (m20)) (member (m39 (lex person)))) (m139! (class (m41 (lex king))) (member b3)) (m138! (class (m39)) (member b3)) (m137! (class (m82 (lex furniture))) (member (m51 (lex Round Table)))) (m136! (class (m52 (lex table))) (member (m51))) (m135! (class (m57 (lex sword))) (member b4)) (m134! (class (m43 (lex wizard))) (member b5)) (m133! (class (m39)) (member b5)) (m132! (class (m45 (lex knight))) (member b6)) (m131! (class (m39)) (member b6)) (m130! (class (m45)) (member b7)) (m129! (class (m39)) (member b7)) (m128! (class (m45)) (member b8)) (m127! (class (m39)) (member b8)) (m126! (class (m41)) (member b9)) (m125! (class (m39)) (member b9)) (m124! (class (m41)) (member b10)) (m123! (class (m39)) (member b10)) (m122! (class (m41)) (member b11)) (m121! (class (m39)) (member b11)) (m120! (class (m20)) (member (m85 (lex chair)))) (m119! (class (m20)) (member (m52))) (m118! (class (m90 (lex color))) (member (m89 (lex white)))) (m117! (class (m90)) (member (m92 (lex black)))) (m116! (class (m95 (lex size))) (member (m94 (lex small)))) (m115! (class (m95)) (member (m99 (lex large)))) (m40! (class (m39)) (member b2)) (m37! (class (m29)) (member b1)) (m175! m173! m171! m167! m165! m163! m159! m157! m155! m153! m149! m148! 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! m40! m37!) CPU time : 0.37 * ;; 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")) (m176! (forall v6 v4) (&ant (p15 (mode (m152 (lex presumably))) (object (p10 (class (m1 (lex animal))) (member v4)))) (p11 (class v6) (member v4))) (cq (p13 (mode (m152)) (object (p12 (subclass v6) (superclass (m1)))))) (kn_cat life-rule.1)) (m176!) 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")) (m199! (mode (m152 (lex presumably))) (object (m198 (subclass (m12 (lex mammal))) (superclass (m12))))) (m197! (mode (m152)) (object (m196 (subclass (m15 (lex deer))) (superclass (m12))))) (m195! (mode (m152)) (object (m194 (subclass (m22 (lex horse))) (superclass (m12))))) (m193! (mode (m152)) (object (m192 (subclass (m27 (lex pony))) (superclass (m12))))) (m191! (mode (m152)) (object (m190 (subclass (m35 (lex hound))) (superclass (m12))))) (m189! (mode (m152)) (object (m188 (subclass (m1 (lex animal))) (superclass (m12))))) (m187! (mode (m152)) (object (m186 (subclass (m4 (lex quadruped))) (superclass (m12))))) (m185! (mode (m152)) (object (m184 (subclass (m10 (lex carnivore))) (superclass (m12))))) (m183! (mode (m152)) (object (m182 (subclass (m29 (lex dog))) (superclass (m12))))) (m181! (mode (m152)) (object (m180 (subclass (m5 (lex vertebrate))) (superclass (m12))))) (m179! (mode (m152)) (object (m178 (subclass (m2 (lex phys obj))) (superclass (m12))))) (m177! (forall v6 v4) (&ant (p16 (class (m12)) (member v4)) (p11 (class v6) (member v4))) (cq (p18 (mode (m152)) (object (p17 (subclass v6) (superclass (m12)))))) (kn_cat life-rule.1)) (m146! (class (m12)) (member b1)) (m199! m197! m195! m193! m191! m189! m187! m185! m183! m181! m179! m177! m146!) CPU time : 0.25 * ;; 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")) (m205! (mode (m152 (lex presumably))) (object (m204 (act (m202 (action (m200 (lex bear))) (object (m201 (lex live young))))) (agent b1)))) (m203! (forall v4) (ant (p16 (class (m12 (lex mammal))) (member v4))) (cq (p21 (mode (m152)) (object (p20 (act (m202)) (agent v4))))) (kn_cat life-rule.1)) (m205! m203!) 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")) (m206! (forall v7 v4) (ant (p23 (act (p22 (action (m200 (lex bear))) (object v7))) (agent v4))) (cq (p16 (class (m12 (lex mammal))) (member v4))) (kn_cat life-rule.1)) (m206!) CPU time : 0.02 * ;; 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")) (m208! (forall v9 v8) (&ant (p26 (act (p25 (action (m207 (lex carry))) (object v8))) (agent v9)) (p24 (class (m39 (lex person))) (member v9))) (cq (p27 (object v8) (property (m94 (lex small))))) (kn_cat life-rule.2)) (m138! (class (m39)) (member b3)) (m133! (class (m39)) (member b5)) (m131! (class (m39)) (member b6)) (m129! (class (m39)) (member b7)) (m127! (class (m39)) (member b8)) (m125! (class (m39)) (member b9)) (m123! (class (m39)) (member b10)) (m121! (class (m39)) (member b11)) (m40! (class (m39)) (member b2)) (m208! m138! m133! m131! m129! m127! m125! m123! m121! m40!) CPU time : 0.13 * ;; 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")) (m211! (forall v9 v8) (ant (p31 (act (p30 (action (m209 (lex want))) (object v8))) (agent v9))) (cq (p32 (object v8) (property (m210 (lex valuable))))) (kn_cat life-rule.2)) (m211!) 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")) (m213! (forall v9 v8) (ant (p34 (act (p33 (action (m212 (lex say that))) (object (p31 (act (p30 (action (m209 (lex want))) (object v8))) (agent v9))))) (agent v9))) (cq (p31)) (kn_cat life-rule.2)) (m213!) 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")) (m214! (forall v12 v11 v10) (&ant (p37 (class (m90 (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)) (m149! (class (m20 (lex basic ctgy))) (member (m15 (lex deer)))) (m148! (class (m20)) (member (m22 (lex horse)))) (m147! (class (m20)) (member (m29 (lex dog)))) (m146! (class (m12 (lex mammal))) (member b1)) (m145! (class (m10 (lex carnivore))) (member b1)) (m144! (class (m5 (lex vertebrate))) (member b1)) (m143! (class (m4 (lex quadruped))) (member b1)) (m142! (class (m2)) (member b1)) (m141! (class (m1 (lex animal))) (member b1)) (m140! (class (m20)) (member (m39 (lex person)))) (m139! (class (m41 (lex king))) (member b3)) (m138! (class (m39)) (member b3)) (m137! (class (m82 (lex furniture))) (member (m51 (lex Round Table)))) (m136! (class (m52 (lex table))) (member (m51))) (m135! (class (m57 (lex sword))) (member b4)) (m134! (class (m43 (lex wizard))) (member b5)) (m133! (class (m39)) (member b5)) (m132! (class (m45 (lex knight))) (member b6)) (m131! (class (m39)) (member b6)) (m130! (class (m45)) (member b7)) (m129! (class (m39)) (member b7)) (m128! (class (m45)) (member b8)) (m127! (class (m39)) (member b8)) (m126! (class (m41)) (member b9)) (m125! (class (m39)) (member b9)) (m124! (class (m41)) (member b10)) (m123! (class (m39)) (member b10)) (m122! (class (m41)) (member b11)) (m121! (class (m39)) (member b11)) (m120! (class (m20)) (member (m85 (lex chair)))) (m119! (class (m20)) (member (m52))) (m118! (class (m90)) (member (m89 (lex white)))) (m117! (class (m90)) (member (m92 (lex black)))) (m116! (class (m95 (lex size))) (member (m94 (lex small)))) (m115! (class (m95)) (member (m99 (lex large)))) (m40! (class (m39)) (member b2)) (m37! (class (m29)) (member b1)) (m214! m149! m148! 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! m40! m37!) CPU time : 0.32 * ;; 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")) (m215! (forall v12 v11 v10) (&ant (p42 (class (m95 (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)) (m116! (class (m95)) (member (m94 (lex small)))) (m115! (class (m95)) (member (m99 (lex large)))) (m215! m116! m115!) 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")) (m218! (forall v13) (ant (p46 (class (m104 (lex weapon))) (member v13))) (cq (p47 (act (m217 (action (m216 (lex damage))))) (agent v13))) (kn_cat life-rule.1)) (m218!) 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")) (m221! (forall v14) (ant (p51 (class (m219 (lex elder))) (member v14))) (cq (p54 (mode (m152 (lex presumably))) (object (p53 (class (m39 (lex person))) (member v14)))) (p52 (object v14) (property (m220 (lex old))))) (kn_cat life-rule.1)) (m221!) 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")) (m226! (forall v16 v15) (ant (p59 (act (p58 (action (m222 (lex chase))) (object v16))) (agent v15))) (cq (p61 (object1 v15) (object2 v16) (rel (m225 (lex behind)))) (p60 (act (m224 (action (m223 (lex run))))) (agent v15))) (kn_cat life-rule.1)) (m226!) CPU time : 0.03 * ;; Newly inferred information: ;; ;; None. End of /projects/stn2/CVA/demos/brachet.base demonstration. CPU time : 2.13 * ^^ --> ;;;(sneps::sneps-setup) (atnin "Falltempgram.lisp") agent is already defined. act is already defined. action is already defined. object is already defined. member is already defined. class is already defined. lex is already defined. subclass is already defined. superclass is already defined. stime is already defined. etime is already defined. before is already defined. after is already defined. event is already defined. rel is already defined. property is already defined. into is already defined. sp-rel is already defined. location is already defined. to is already defined. direction is already defined. place is already defined. mode is already defined. possessor is already defined. equiv is already defined. to is already defined. kn_cat is already defined. State s processed. State sin processed. State stk processed. State stk/end processed. State s1 processed. State s/init processed. State ps processed. State s/subj processed. State s/is processed. State s/isnoun processed. State s/isadj processed. State s/isnamed processed. State s/rule processed. State vp/passv processed. State vp processed. State vp/v processed. State pp processed. State pp/end processed. State s/final processed. State s/finis processed. State s/end processed. State np processed. State nppos processed. State npa processed. State np/art processed. State nomprop processed. State n/ref processed. State np/n processed. State np/end processed. State respond processed. State resp/end processed. State g processed. State gs processed. State gposs/p processed. State gposs/rel processed. State gequiv processed. State gequivrest processed. State gequivend processed. State gsubsup processed. State g/member processed. State gprop processed. State gloc processed. State gloc2 processed. State g/arg1 processed. State g/sqce processed. State g/sqce2 processed. State g/subj processed. State g/v processed. State g/obj processed. State g/end processed. State gnp processed. State gstring processed. State gdefcat processed. State gdefcat1 processed. State gcat processed. State gnp/end processed. State flush processed. Missing (or NIL) form in state gequivend on arc: (pop nil t) Missing (or NIL) form in state g/end on arc: (pop nil t) Missing (or NIL) form in state gnp/end on arc: (pop nil t) Missing (or NIL) form in state flush on arc: (pop nil t) Missing (or NIL) form in state resp/end on arc: (pop nil t (say ".")) Atnin read in states: (flush gnp/end gcat gdefcat1 gdefcat gstring gnp g/end g/obj g/v g/subj g/sqce2 g/sqce g/arg1 gloc2 gloc gprop g/member gsubsup gequivend gequivrest gequiv gposs/rel gposs/p gs g resp/end respond np/end np/n n/ref nomprop np/art npa nppos np s/end s/finis s/final pp/end pp vp/v vp vp/passv s/rule s/isnamed s/isadj s/isnoun s/is s/subj ps s/init s1 stk/end stk sin s nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil) --> (lexin "Klexicon.lisp") undefined- (nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil) ("blue" "green" "orange" "red" "violet" "yellow" "young" "clever" "carnivorous" "smart" "sweet" "rich" "old" "fat" "stupid" "white" "group" "black" "next" "round" "there" "a" "an" "the" "every" "King Arthur" "Round Table" "Sir Tor" "Sir Gawain" "Merlin" "dwarf" "elder" "hall" "buttock" "knight" "lady" "Round" "sir" "Sir" "king" "King" "dogs" "hound" "hounds" "hart" "horse" "pavilion" "brachet" "girl" "boy" "cat" "dog" "mammal" "manx" "Computer Science" "John" "Mary" "Bob" "Bill" "Rover" "computer" "Computer" "man" "men" "woman" "women" "person" "people" "animal" "pet" "professor" "he" "her" "him" "I" "it" "me" "she" "they" "them" "us" "we" "you" "myself" "yourself" "yourselves" "himself" "herself" "Cassie" "Fred" "John" "Lucy" "Oscar" "picksup" "arise" "arose" "pick" "pick" "picked" "ride" "rode" "mount" "mounted" "carry" "carried" "run" "ran" "take" "took" "say" "said" "define" "want" "must" "will" "chase" "seek" "spy" "know" "spies" "give" "bay" "find" "bring" "belong" "are" "is" "live" "own" "pet" "saw" "see" "was" "were" "sleep" "slept" "believe" "bit" "bite" "like" "study" "use" "love" "dislike" "hate" "did" "does" "do" "life" "story" "who" "what" "into" "to" "of" "behind" "in" "at" "nextto" "that") --> ;;; ;;; Declare the primitive actions ;;; (attach-primaction believe believe (= (build lex "defnoun") defnoun) defN) t --> ^^ CPU time : 0.43 * (describe (assert whenever (build agent *I act (build action (build lex "definingnoun"))) do (build action *defnoun object1 "brachet"))) (m232! (do (m231 (action (m227 (lex defnoun))) (object1 brachet))) (whenever (m230 (act (m229 (action (m228 (lex definingnoun)))))))) (m232!) CPU time : 0.00 * ^^( --> parse) ATN parser initialization... Trace level = 0. Beginning at state 's'. Input sentences in normal English orthographic convention. Sentences may go beyond a line by having a space followed by a To exit the parser, write ^end. : A hart runs. I understand that the hart runs . Time (sec.): 0.07 : A white brachet is nextto the hart. I understand that the white brachet is nextto the hart . Time (sec.): 0.11 : A black hound runs. I understand that the black hound runs . Time (sec.): 1.55 : The hound is behind the hart. I understand that the black hound is behind the hart . Time (sec.): 0.15 : The hart is nextto Round Table. I understand that the hart is nextto Round Table . Time (sec.): 0.09 : A knight arises. I understand that a knight arises . Time (sec.): 0.28 : The knight picksup the brachet. I understand that a knight picksups the white brachet . Time (sec.): 0.22 : The knight carries the brachet. I understand that a knight carries the white brachet . Time (sec.): 0.09 : Sir Tor goes to a pavilion. I understand that Sir Tor goes to the pavilion . Time (sec.): 0.05 : A lady says that the knight takes the brachet. I understand that the lady says that a knight takes the white brachet . Time (sec.): 0.12 : The lady sleeps in the pavilion. I understand that the lady sleeps in the pavilion . Time (sec.): 0.21 : Sir Tor finds the lady in the pavilion. I understand that Sir Tor finds the lady in the pavilion . Time (sec.): 0.1 : Sir Tor finds the brachet in the pavilion. I understand that Sir Tor finds the white brachet in the pavilion . Time (sec.): 0.11 : The brachet bays at Sir Tor. I understand that the white brachet bays the white brachet bays at Sir Tor . Time (sec.): 0.11 : Sir Tor spies the brachet. I understand that Sir Tor spies the white brachet . Time (sec.): 0.05 : Sir Tor takes the brachet. I understand that Sir Tor takes the white brachet . Time (sec.): 0.04 : A dwarf says that he knows that Sir Tor seeks the knight. I understand that the dwarf says that the dwarf knows that Sir Tor seeks a knight . Time (sec.): 0.15 : Sir Tor gives the brachet to the dwarf. I understand that Sir Tor gives the white brachet to the dwarf . Time (sec.): 0.18 : The hart runs into King Arthur's hall. I understand that the hart runs the hart runs into King Arthur's hall into King Arthur's hall . Time (sec.): 0.14 : The brachet bites a hart's buttock. I understand that the white brachet bites a hart buttock . Time (sec.): 0.11 : The knight mounts a horse. I understand that a knight mounts the horse . Time (sec.): 0.35 : The knight rides the horse. I understand that a knight rides the horse . Time (sec.): 0.17 : Sir Tor mounts a horse. I understand that Sir Tor mounts a horse . Time (sec.): 0.09 : The lady says that the brachet belongs to her. I understand that the lady says that the white brachet belongs to the lady . Time (sec.): 0.15 : The lady says that she wants the brachet. I understand that the lady says that the lady wants the white brachet . Time (sec.): 0.11 : Merlin says that Sir Gawain must bring the hart to the hall. I understand that Merlin says that Sir Gawain must bring a hart to King Arthur's hall . Time (sec.): 0.27 : Merlin says that Sir Tor must bring the brachet to the hall. I understand that Merlin says that Sir Tor must bring the white brachet to King Arthur's hall . Time (sec.): 0.18 : An elder says that a white hart comes to a place. I understand that the elder says that a white hart comes to the place . Time (sec.): 0.24 : The elder says that a hound chases the hart. I understand that the elder says that a hound chases a hart . Time (sec.): 0.29 : The elder says that a white brachet is nextto the hart. I understand that the elder says . Time (sec.): 0.12 : End of /u0/faculty/rapaport/CVA/NL/mynlpdemo.sneps demonstration. : define brachet Definition of (brachet): Possible Actions: bay, bite buttock, belong, Possible Properties: white, Time (sec.): 0.69 : ^end. ATN Parser exits... --> (exit) Error: attempt to call `exit' which is an undefined function. [condition type: undefined-function] Restart actions (select using :continue): 0: Try calling exit again. 1: Try calling excl:exit instead. 2: Return a value instead of calling exit. 3: Try calling a function other than exit. 4: Setf the symbol-function of exit and call it again. 5: Return to Top Level (an "abort" restart). 6: Abort entirely from this (lisp) process. [changing package from "common-lisp-user" to "snepsul"] [1] snepsul(3): :ex ; Exiting castor/NL> x exit script done on Tue Sep 25 09:44:04 2007