International Allegro CL Enterprise Edition 7.0 [Solaris] (Oct 26, 2004 15:41) Copyright (C) 1985-2004, 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 sneps ; Loading /home/nsigrad/clbecker/CVA/DEMOS/sneps Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% SNePS-2.6 [PL:1a 2004/08/26 23:05:27] loaded. Type `(sneps)' or `(snepslog)' to get started. cl-user(2): (sneps) Welcome to SNePS-2.6 [PL:1a 2004/08/26 23:05:27] Copyright (C) 1984--2004 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. 5/13/2005 11:19:47 * (demo "peramb.demo") ; Fast loading from bundle code/streama.fasl. File /home/nsigrad/clbecker/CVA/DEMOS/peramb.demo is now the source of input. CPU time : 0.03 * ; ======================================================================= ; FILENAME: peramb.demo ; DATE: 2/14/2005 ; PROGRAMMER: Chris Becker ;; this template version: template.demo.2003.11.17.txt ; Lines beginning with a semi-colon are comments. ; Lines beginning with "^" are Lisp commands. ; All other lines are SNePS commands. ; ; To use this file: run SNePS; at the SNePS prompt (*), type: ; ; (demo "peramb.demo" :av) ; ; Make sure all necessary files are in the current working directory ; or else use full path names. ; ======================================================================= ; Turn off inference tracing. ; This is optional; ;^(setq snip:*infertrace* nil) ; Load the verb definition algorithm: ^( --> load "verbalgorithm3.1/defun_verb.cl") ; Loading ; /home/nsigrad/clbecker/CVA/DEMOS/verbalgorithm3.1/defun_verb.cl ; Loading ; /home/nsigrad/clbecker/CVA/DEMOS/verbalgorithm3.1/DataCollection.cl ; Loading ; /home/nsigrad/clbecker/CVA/DEMOS/verbalgorithm3.1/DataProcessing.cl t CPU time : 0.09 * ;; load Dmitriy Dligach's show utility ^( --> load "show.lisp") ; Loading /home/nsigrad/clbecker/CVA/DEMOS/show.lisp Warning: parse-show-params, :operator was defined in /projects/snwiz/Install/Sneps-2.6.1/sneps/fns/dd.lisp and is now being defined in /home/nsigrad/clbecker/CVA/DEMOS/show.lisp Warning: show, :operator was defined in /projects/snwiz/Install/Sneps-2.6.1/sneps/fns/dd.lisp and is now being defined in /home/nsigrad/clbecker/CVA/DEMOS/show.lisp Warning: generate-dot-file, :operator was defined in /projects/snwiz/Install/Sneps-2.6.1/sneps/fns/dd.lisp and is now being defined in /home/nsigrad/clbecker/CVA/DEMOS/show.lisp t CPU time : 0.01 * ; Clear the SNePS network: (resetnet t) Net reset CPU time : 0.01 * ;turn on full forward inferencing: ^( --> setq snip:*infertrace* nil) nil CPU time : 0.00 * ; ;enter the "snip" package: ^( --> in-package snip) # CPU time : 0.00 * ^( --> 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 * ^( --> in-package sneps) # CPU time : 0.00 * ; load all pre-defined relations: (intext "rels") File rels is now the source of input. CPU time : 0.01 * act is already defined. action is already defined. object1 is already defined. object2 is already defined. effect is already defined. (members member class subclass superclass rel agent act action object indobj instrument objects object1 objects1 object2 associated cardinality direction location manner mode purpose property part whole place possessor proper-name propername quantity similar dissimilar before after cause effect eaffair stime etime time subinterval superinterval super-interval initial-sub-interval from in into on onto to with antonym synonym equiv mod head a1 a2 a3 a4 kn_cat lex skf skarg cd_cat level) CPU time : 0.06 * End of file rels CPU time : 0.08 * ; load all pre-defined path definitions: (intext "paths") File paths is now the source of input. CPU time : 0.00 * 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 * 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 * sub1 implied by the path (compose object1- superclass- ! subclass superclass- ! subclass) sub1- implied by the path (compose subclass- ! superclass subclass- ! superclass object1) CPU time : 0.00 * super1 implied by the path (compose superclass subclass- ! superclass object1- ! object2) super1- implied by the path (compose object2- ! object1 superclass- ! subclass superclass-) CPU time : 0.00 * superclass implied by the path (or superclass super1) superclass- implied by the path (or superclass- super1-) CPU time : 0.00 * End of file paths CPU time : 0.00 * ;;---------------------------------------------------------------- ;;---------------------------------------------------------------- (define name) (name) CPU time : 0.00 * ;;; General inference rules () CPU time : 0.00 * ;;; Rule #1 ;;---------------------------------------------------------- ;;; Actions performed by the same agent ;;; on the same object are similar ;;---------------------------------------------------------- (describe (assert forall ($A $B $Y $Z) &ant ( (build agent *Y act (build action *A object *Z) ) (build agent *Y act (build action *B object *Z) ) ) cq (build similar *A similar *B) )) (m1! (forall v4 v3 v2 v1) (&ant (p4 (act (p3 (action v2) (object v4))) (agent v3)) (p2 (act (p1 (action v1) (object v4))) (agent v3))) (cq (p5 (similar v2 v1)))) (m1!) CPU time : 0.00 * ;;; Rule #1 ;;---------------------------------------------------------- ;;; Actions performed on the same class of object are similar ;;; ;;; ;;---------------------------------------------------------- (describe (assert forall ($A $B $C $D $E $F $G $H $X $Y) &ant ( (build subclass *D superclass *H) (build member *B class *E) (build member *C class *F) (build subclass *E superclass *G) (build subclass *F superclass *G) (build agent *X act (build action *A object *B)) (build agent *Y act (build action *D object *C)) ) cq ((build similar *A similar *D) (build similar *A similar *H) ) )) (m2! (forall v14 v13 v12 v11 v10 v9 v8 v7 v6 v5) (&ant (p14 (act (p13 (action v8) (object v7))) (agent v14)) (p12 (act (p11 (action v5) (object v6))) (agent v13)) (p10 (subclass v10) (superclass v11)) (p9 (subclass v9) (superclass v11)) (p8 (class v10) (member v7)) (p7 (class v9) (member v6)) (p6 (subclass v8) (superclass v12))) (cq (p16 (similar v12 v5)) (p15 (similar v8 v5)))) (m2!) CPU time : 0.01 * ;;---------------------------------------------------------- ;;; The contexts ;;---------------------------------------------------------- ;;; CONTEXT #1 ;;"In the morning we rose to *perambulate* a city... ;; ...and surveyed the ruins of ancient magnificence..." () CPU time : 0.00 * ;; The verb "perambulate" is unknown. (add object (build lex "perambulate") = perambulate property (build lex "unknown")) (m5!) CPU time : 0.01 * ;; "the morning" is a time (describe (add member (build lex "the morning") = the_morning class (build lex "time") = time)) (m8! (class (m7 (lex time))) (member (m6 (lex the morning)))) (m8!) CPU time : 0.09 * ;; "a city" is a "city" (describe (add member (build lex "a city") = a_city class (build lex "city") = city)) (m11! (class (m10 (lex city))) (member (m9 (lex a city)))) (m11!) CPU time : 0.01 * ;; city is a place (describe (add subclass *city superclass (build lex "place") = place)) (m13! (subclass (m10 (lex city))) (superclass (m12 (lex place)))) (m13!) CPU time : 0.01 * ;; "the ruins" are "ruins" (describe (add member (build lex "the ruins") = the_ruins class (build lex "ruins") = ruins)) (m16! (class (m15 (lex ruins))) (member (m14 (lex the ruins)))) (m16!) CPU time : 0.01 * ;; ruins is a place (describe (add subclass *ruins superclass *place)) (m17! (subclass (m15 (lex ruins))) (superclass (m12 (lex place)))) (m17!) CPU time : 0.01 * ;; the ruins are magnificent (describe (add object *the_ruins property (build lex "magnificence") = magnificence)) (m19! (object (m14 (lex the ruins))) (property (m18 (lex magnificence)))) (m19!) CPU time : 0.01 * ;; the ruin's magnificence is ancient (describe (add mod (build lex "ancient") = ancient head *magnificence )) (m21! (head (m18 (lex magnificence))) (mod (m20 (lex ancient)))) (m21!) CPU time : 0.01 * ;; "we" is a class of persons (describe (add member (build lex "we") = we class (build lex "person") = person)) (m24! (class (m23 (lex person))) (member (m22 (lex we)))) (m24!) CPU time : 0.01 * ;;---------------------------------------------------------- ;; ;; "We surveyed the ruins." (describe (add agent *we act (build action (build lex "survey") = survey object *the_ruins) time *the_morning)) (m28! (act (m26 (action (m25 (lex survey))) (object (m14 (lex the ruins))))) (agent (m22 (lex we)))) (m27! (act (m26)) (agent (m22)) (time (m6 (lex the morning)))) (m28! m27!) CPU time : 0.05 * ;; "We perambulated a city" (describe (add agent *we act (build action *perambulate object *a_city) time *the_morning) = we_peramb_city) (m31! (act (m29 (action (m3 (lex perambulate))) (object (m9 (lex a city))))) (agent (m22 (lex we)))) (m30! (act (m29)) (agent (m22)) (time (m6 (lex the morning)))) (m31! m30!) CPU time : 0.01 * ;; We rose to [perambulate a city] (describe (add agent *we act (build action (build lex "rose") = rose to *we_peramb_city) time *the_morning) = we_rose_to) (m34! (act (m33 (action (m32 (lex rose))) (to (m31! (act (m29 (action (m3 (lex perambulate))) (object (m9 (lex a city))))) (agent (m22 (lex we)))) (m30! (act (m29)) (agent (m22)) (time (m6 (lex the morning))))))) (agent (m22)) (time (m6))) (m34!) CPU time : 0.01 * ;; "survey" is a subclass of "perceive" (describe (add subclass *survey superclass (build lex "perceive") = perceive)) (m36! (subclass (m25 (lex survey))) (superclass (m35 (lex perceive)))) (m36!) CPU time : 0.02 * ;; "rose" is a subclass of "move" (describe (add subclass *rose superclass (build lex "move") = move)) (m38! (subclass (m32 (lex rose))) (superclass (m37 (lex move)))) (m38!) CPU time : 0.01 * ;; force rule to fire (describe (deduce similar $x similar $y)) CPU time : 0.08 * ;-------------------- ;; define perambulate ;-------------------- ^( --> defineVerb 'perambulate) verb: lex: perambulate; property: unknown; similar action: (rose survey) transitivity: (transitive) object: (city) agent: (person) nil CPU time : 0.09 * () CPU time : 0.00 * ;;; CONTEXT #2 ;;; (same agent, same object, different verbs) ;;---------------------------------------------------------- ;;; "We are going to attack a city and destroy it soon" ;; "soon" is a time (describe (add member (build lex "soon") = soon class *time)) (m40! (class (m7 (lex time))) (member (m39 (lex soon)))) (m40!) CPU time : 0.02 * ;; "We attack a city" (describe (add agent *we act (build action (build lex "attack") = attack object *a_city) time *soon) = we_attack_city) (m45! (similar (m41 (lex attack)) (m3 (lex perambulate)))) (m44! (act (m42 (action (m41)) (object (m9 (lex a city))))) (agent (m22 (lex we)))) (m43! (act (m42)) (agent (m22)) (time (m39 (lex soon)))) (m45! m44! m43!) CPU time : 0.02 * ;; "We destroy [a city]" (describe (add agent *we act (build action (build lex "destroy") = destroy object *a_city) time *soon) = we_destroy_city) (m51! (similar (m46 (lex destroy)) (m3 (lex perambulate)))) (m50! (similar (m46) (m41 (lex attack)))) (m49! (act (m47 (action (m46)) (object (m9 (lex a city))))) (agent (m22 (lex we)))) (m48! (act (m47)) (agent (m22)) (time (m39 (lex soon)))) (m51! m50! m49! m48!) CPU time : 0.05 * ;; "attack" is a subclass of "activity" (describe (add subclass *attack superclass (build lex "activity") = activity)) (m53! (subclass (m41 (lex attack))) (superclass (m52 (lex activity)))) (m53!) CPU time : 0.01 * ;; "destroy" is a subclass of "unmake" (describe (add subclass *destroy superclass (build lex "unmake") = unmake)) (m55! (subclass (m46 (lex destroy))) (superclass (m54 (lex unmake)))) (m55!) CPU time : 0.02 * ;; force rule to fire (describe (deduce similar $x similar $y)) (m51! (similar (m46 (lex destroy)) (m3 (lex perambulate)))) (m50! (similar (m46) (m41 (lex attack)))) (m45! (similar (m41) (m3))) (m51! m50! m45!) CPU time : 0.02 * ;-------------------- ;; define perambulate ;-------------------- ^( --> defineVerb 'perambulate) verb: lex: perambulate; property: unknown; similar action: (unmake activity destroy attack) transitivity: (transitive) object: (city) agent: (person) nil CPU time : 0.10 * () CPU time : 0.00 * ;;; CONTEXT #3 ;; (same verb, same agent different object) ;;; "Nightly did the hereditary prince of the land ;;; *perambulate* the streets of his capital, disguised, ;;; well armed, alone, or with a single confidential ;;; attendant." ;; "nightly" is a time (describe (add member (build lex "nightly") = nightly class *time)) (m57! (class (m7 (lex time))) (member (m56 (lex nightly)))) (m57!) CPU time : 0.01 * ;; "prince" is a person (describe (add member (build lex "prince") = prince class *person)) (m59! (class (m23 (lex person))) (member (m58 (lex prince)))) (m59!) CPU time : 0.03 * ;; "streets of the capital" are "streets" (describe (add member (build lex "the [capital] streets") = streets_capital class (build lex "streets") = streets)) (m62! (class (m61 (lex streets))) (member (m60 (lex the [capital] streets)))) (m62!) CPU time : 0.01 * ;; "streets" is a place (describe (add subclass *streets superclass *place)) (m63! (subclass (m61 (lex streets))) (superclass (m12 (lex place)))) (m63!) CPU time : 0.02 * ;; "At night, the prince perambulated the streets of the capital" (describe (add agent *prince act (build action *perambulate object *streets_capital) time *nightly)) (m70! (similar (m25 (lex survey)) (m3 (lex perambulate)))) (m69! (similar (m54 (lex unmake)) (m3))) (m68! (similar (m52 (lex activity)) (m3))) (m67! (similar (m35 (lex perceive)) (m3))) (m66! (act (m64 (action (m3)) (object (m60 (lex the [capital] streets))))) (agent (m58 (lex prince)))) (m65! (act (m64)) (agent (m58)) (time (m56 (lex nightly)))) (m51! (similar (m46 (lex destroy)) (m3))) (m45! (similar (m41 (lex attack)) (m3))) (m70! m69! m68! m67! m66! m65! m51! m45!) CPU time : 0.04 * ;; force rule to fire (describe (deduce similar $x similar $y)) (m70! (similar (m25 (lex survey)) (m3 (lex perambulate)))) (m69! (similar (m54 (lex unmake)) (m3))) (m68! (similar (m52 (lex activity)) (m3))) (m67! (similar (m35 (lex perceive)) (m3))) (m51! (similar (m46 (lex destroy)) (m3))) (m50! (similar (m46) (m41 (lex attack)))) (m45! (similar (m41) (m3))) (m70! m69! m68! m67! m51! m50! m45!) CPU time : 0.03 * ;-------------------- ;; define perambulate ;-------------------- ^( --> defineVerb 'perambulate) verb: lex: perambulate; property: unknown; similar action: (unmake activity destroy attack survey perceive) transitivity: (transitive) object: (place) agent: (person) nil CPU time : 0.11 * () CPU time : 0.00 * ;;; CONTEXT #4 ;;; same agent class, same object class, different verb ;; [When you walk the streets] you feel either that you ;; are up very early, before any one is awake, or ;; that you are in a boom town from which the boom ;; has departed. ;; "the paris streets" are "streets" (describe (add member (build lex "the [Paris] streets") = the_paris_streets class *streets)) (m72! (class (m61 (lex streets))) (member (m71 (lex the [Paris] streets)))) (m72!) CPU time : 0.01 * ;; "you walk the streets" (describe (add agent (build lex "you") = you act (build action (build lex "walk") = walk object *the_paris_streets))) (m82! (similar (m74 (lex walk)) (m46 (lex destroy)))) (m81! (similar (m74) (m41 (lex attack)))) (m80! (similar (m74) (m25 (lex survey)))) (m79! (similar (m74) (m54 (lex unmake)))) (m78! (similar (m74) (m52 (lex activity)))) (m77! (similar (m74) (m35 (lex perceive)))) (m76! (act (m75 (action (m74)) (object (m71 (lex the [Paris] streets))))) (agent (m73 (lex you)))) (m82! m81! m80! m79! m78! m77! m76!) CPU time : 0.06 * ;; "you" is a person (describe (add member *you class *person)) (m83! (class (m23 (lex person))) (member (m73 (lex you)))) (m83!) CPU time : 0.01 * ;; "walk" is a subclass of "move" (describe (add subclass *walk superclass *move)) (m89! (similar (m74 (lex walk)) (m3 (lex perambulate)))) (m88! (similar (m46 (lex destroy)) (m37 (lex move)))) (m87! (similar (m41 (lex attack)) (m37))) (m86! (similar (m37) (m25 (lex survey)))) (m85! (similar (m37) (m3))) (m84! (subclass (m74)) (superclass (m37))) (m82! (similar (m74) (m46))) (m81! (similar (m74) (m41))) (m80! (similar (m74) (m25))) (m89! m88! m87! m86! m85! m84! m82! m81! m80!) CPU time : 0.06 * ;; force rule to fire (describe (deduce similar $x similar $y)) (m89! (similar (m74 (lex walk)) (m3 (lex perambulate)))) (m88! (similar (m46 (lex destroy)) (m37 (lex move)))) (m87! (similar (m41 (lex attack)) (m37))) (m86! (similar (m37) (m25 (lex survey)))) (m85! (similar (m37) (m3))) (m82! (similar (m74) (m46))) (m81! (similar (m74) (m41))) (m80! (similar (m74) (m25))) (m79! (similar (m74) (m54 (lex unmake)))) (m78! (similar (m74) (m52 (lex activity)))) (m77! (similar (m74) (m35 (lex perceive)))) (m70! (similar (m25) (m3))) (m69! (similar (m54) (m3))) (m68! (similar (m52) (m3))) (m67! (similar (m35) (m3))) (m51! (similar (m46) (m3))) (m50! (similar (m46) (m41))) (m45! (similar (m41) (m3))) (m89! m88! m87! m86! m85! m82! m81! m80! m79! m78! m77! m70! m69! m68! m67! m51! m50! m45!) CPU time : 0.07 * ;-------------------- ;; define perambulate ;-------------------- ^( --> defineVerb 'perambulate) verb: lex: perambulate; property: unknown; similar action: (unmake activity destroy attack walk survey perceive move) transitivity: (transitive) object: (place) agent: (person) nil CPU time : 0.09 * () CPU time : 0.00 * ;;; CONTEXT #5 ;; (same agent class, different object, same verb) ;; "Ideas came to her chiefly when she was in motion. She ;; liked to *perambulate* the room with a duster in her ;; hand, with which she stopped to polish the backs of ;; already lustrous books, musing and romancing as she ;; did so." ;; "She (liked to) perambulate the room". (describe (add agent (build lex "her") = her act (build action *perambulate object (build lex "the room") = the_room_a))) (m93! (act (m92 (action (m3 (lex perambulate))) (object (m91 (lex the room))))) (agent (m90 (lex her)))) (m93!) CPU time : 0.04 * = she_peramb_room (m93) CPU time : 0.00 * ;; "she liked to (perambulate the room)". (describe (add agent *her act (build action (build lex "liked") = liked to *she_peramb_room))) (m96! (act (m95 (action (m94 (lex liked))) (to (m93! (act (m92 (action (m3 (lex perambulate))) (object (m91 (lex the room))))) (agent (m90 (lex her))))))) (agent (m90))) (m96!) CPU time : 0.01 * ;; "the room" is a "room". (describe (add member *the_room_A class (build lex "room") = room)) (m98! (class (m97 (lex room)))) (m98!) CPU time : 0.01 * ;; "room" is a place. (describe (add subclass *room superclass *place)) (m99! (subclass (m97 (lex room))) (superclass (m12 (lex place)))) (m99!) CPU time : 0.03 * ;; "her" is a person. (describe (add member *her class *person)) (m100! (class (m23 (lex person))) (member (m90 (lex her)))) (m100!) CPU time : 0.02 * ;; force rule to fire (describe (deduce similar $x similar $y)) (m89! (similar (m74 (lex walk)) (m3 (lex perambulate)))) (m88! (similar (m46 (lex destroy)) (m37 (lex move)))) (m87! (similar (m41 (lex attack)) (m37))) (m86! (similar (m37) (m25 (lex survey)))) (m85! (similar (m37) (m3))) (m82! (similar (m74) (m46))) (m81! (similar (m74) (m41))) (m80! (similar (m74) (m25))) (m79! (similar (m74) (m54 (lex unmake)))) (m78! (similar (m74) (m52 (lex activity)))) (m77! (similar (m74) (m35 (lex perceive)))) (m70! (similar (m25) (m3))) (m69! (similar (m54) (m3))) (m68! (similar (m52) (m3))) (m67! (similar (m35) (m3))) (m51! (similar (m46) (m3))) (m50! (similar (m46) (m41))) (m45! (similar (m41) (m3))) (m89! m88! m87! m86! m85! m82! m81! m80! m79! m78! m77! m70! m69! m68! m67! m51! m50! m45!) CPU time : 0.06 * ;-------------------- ;; define perambulate ;-------------------- ^( --> defineVerb 'perambulate) verb: lex: perambulate; property: unknown; similar action: (unmake activity destroy attack walk survey perceive move) transitivity: (transitive) object: (place) agent: (person) nil CPU time : 0.12 * () CPU time : 0.00 * ;;; CONTEXT #6 ;; (same agent class, same object class, different verb) ;; "Athena crossed the room to the other bed" (describe (add agent (build lex "Athena") = Athena act (build action (build lex "crossed") = crossed object (build lex "the room") = the_room_B to (build lex "the [other] bed") = other_bed))) (m107! (act (m106 (action (m102 (lex crossed))) (object (m91 (lex the room))))) (agent (m101 (lex Athena)))) (m105! (act (m104 (action (m102)) (object (m91)) (to (m103 (lex the [other] bed))))) (agent (m101))) (m107! m105!) CPU time : 0.02 * ;; "other bed" is a "bed" (describe (add member *other_bed class (build lex "bed") = bed)) (m109! (class (m108 (lex bed))) (member (m103 (lex the [other] bed)))) (m109!) CPU time : 0.02 * ;; "Athena" is a person (describe (add member *Athena class *person)) (m110! (class (m23 (lex person))) (member (m101 (lex Athena)))) (m110!) CPU time : 0.03 * ;; "the room" is a "room" (describe (add member *the_room_B class *room)) (m119! (similar (m102 (lex crossed)) (m74 (lex walk)))) (m118! (similar (m102) (m46 (lex destroy)))) (m117! (similar (m102) (m41 (lex attack)))) (m116! (similar (m102) (m25 (lex survey)))) (m115! (similar (m102) (m37 (lex move)))) (m114! (similar (m102) (m54 (lex unmake)))) (m113! (similar (m102) (m52 (lex activity)))) (m112! (similar (m102) (m35 (lex perceive)))) (m111! (class (m97 (lex room))) (member (m91 (lex the room)))) (m98! (class (m97))) (m89! (similar (m74) (m3 (lex perambulate)))) (m85! (similar (m37) (m3))) (m70! (similar (m25) (m3))) (m69! (similar (m54) (m3))) (m68! (similar (m52) (m3))) (m67! (similar (m35) (m3))) (m51! (similar (m46) (m3))) (m45! (similar (m41) (m3))) (m119! m118! m117! m116! m115! m114! m113! m112! m111! m98! m89! m85! m70! m69! m68! m67! m51! m45!) CPU time : 0.16 * ;; "crossed" is a subclass of "move" (describe (add subclass *crossed superclass *move)) (m122! (similar (m102 (lex crossed)) (m3 (lex perambulate)))) (m121! (similar (m74 (lex walk)) (m37 (lex move)))) (m120! (subclass (m102)) (superclass (m37))) (m119! (similar (m102) (m74))) (m118! (similar (m102) (m46 (lex destroy)))) (m117! (similar (m102) (m41 (lex attack)))) (m116! (similar (m102) (m25 (lex survey)))) (m88! (similar (m46) (m37))) (m87! (similar (m41) (m37))) (m86! (similar (m37) (m25))) (m85! (similar (m37) (m3))) (m122! m121! m120! m119! m118! m117! m116! m88! m87! m86! m85!) CPU time : 0.13 * ;; force rule to fire (describe (deduce similar $x similar $y)) (m122! (similar (m102 (lex crossed)) (m3 (lex perambulate)))) (m121! (similar (m74 (lex walk)) (m37 (lex move)))) (m119! (similar (m102) (m74))) (m118! (similar (m102) (m46 (lex destroy)))) (m117! (similar (m102) (m41 (lex attack)))) (m116! (similar (m102) (m25 (lex survey)))) (m115! (similar (m102) (m37))) (m114! (similar (m102) (m54 (lex unmake)))) (m113! (similar (m102) (m52 (lex activity)))) (m112! (similar (m102) (m35 (lex perceive)))) (m89! (similar (m74) (m3))) (m88! (similar (m46) (m37))) (m87! (similar (m41) (m37))) (m86! (similar (m37) (m25))) (m85! (similar (m37) (m3))) (m82! (similar (m74) (m46))) (m81! (similar (m74) (m41))) (m80! (similar (m74) (m25))) (m79! (similar (m74) (m54))) (m78! (similar (m74) (m52))) (m77! (similar (m74) (m35))) (m70! (similar (m25) (m3))) (m69! (similar (m54) (m3))) (m68! (similar (m52) (m3))) (m67! (similar (m35) (m3))) (m51! (similar (m46) (m3))) (m50! (similar (m46) (m41))) (m45! (similar (m41) (m3))) (m122! m121! m119! m118! m117! m116! m115! m114! m113! m112! m89! m88! m87! m86! m85! m82! m81! m80! m79! m78! m77! m70! m69! m68! m67! m51! m50! m45!) CPU time : 0.10 * ;-------------------- ;; define perambulate ;-------------------- ^( --> defineVerb 'perambulate) verb: lex: perambulate; property: unknown; similar action: (unmake activity move crossed attack destroy walk survey perceive) transitivity: (transitive) object: (place) agent: (person) nil CPU time : 0.12 * () CPU time : 0.00 * End of /home/nsigrad/clbecker/CVA/DEMOS/peramb.demo demonstration. CPU time : 2.33