File /home/cendue/watkins8/CVA/juggernaut.demo is now the source of input. CPU time : 0.03 * ;;;"juggernaut" passage ;;;Written by Matthew Watkins, Fall 2002 ;;; turn off singular path inference ^( --> in-package snip) # CPU time : 0.00 * ;;; 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 * ;;; Reset the network (resetnet t) Net reset CPU time : 0.01 * (intext "/projects/stn2/CVA/demos/rels") File /projects/stn2/CVA/demos/rels is now the source of input. CPU time : 0.00 * 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.03 * End of file /projects/stn2/CVA/demos/rels CPU time : 0.03 * (intext "/projects/stn2/CVA/demos/paths") File /projects/stn2/CVA/demos/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 * 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 * 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 file /projects/stn2/CVA/demos/paths CPU time : 0.01 * ;;; Load juggernaut background knowledge (demo "/home/cendue/watkins8/CVA/juggernaut.base") File /home/cendue/watkins8/CVA/juggernaut.base is now the source of input. CPU time : 0.01 * ;;;Background information for "juggernaut" passage ;;;Written by Matthew Watkins, Fall 2002. (define member class superclass subclass mod head object object1 object2 rel agent act lex etime proper-name property antonym synonym skf skarg) member is already defined. class is already defined. superclass is already defined. subclass is already defined. object is already defined. object1 is already defined. object2 is already defined. rel is already defined. agent is already defined. act is already defined. lex is already defined. etime is already defined. proper-name is already defined. property is already defined. antonym is already defined. synonym is already defined. skf is already defined. (member class superclass subclass mod head object object1 object2 rel agent act lex etime proper-name property antonym synonym skf skarg) CPU time : 0.01 * ;;Extreme sports background ;There is a sport that is a subclass of a competitive activity (describe (assert superclass (build mod (build lex "competitive") head (build lex "activity")) subclass (build lex "sport"))) (m5! (subclass (m4 (lex sport))) (superclass (m3 (head (m2 (lex activity))) (mod (m1 (lex competitive)))))) (m5!) CPU time : 0.01 * ;There is some thing with the proper-name extreme sports (describe (add object #extremesports proper-name (build lex "Extreme Sports"))) (m7! (object b1) (proper-name (m6 (lex Extreme Sports)))) (m7!) CPU time : 0.00 * ;This thing is a subclass of sports (describe (add superclass (build lex "sport") subclass *extremesports)) (m8! (subclass b1) (superclass (m4 (lex sport)))) (m8!) CPU time : 0.00 * ;Extreme sports has the property of being extreme (describe (add object *extremesports property (build lex "extreme"))) (m10! (object b1) (property (m9 (lex extreme)))) (m10!) CPU time : 0.01 * ;Extreme and normal are antonyms (describe (add antonym (build lex "extreme") antonym (build lex "normal"))) (m12! (antonym (m11 (lex normal)) (m9 (lex extreme)))) (m12!) CPU time : 0.00 * ;For all x, if x has the property of being extreme then x also has the property ;of being high intensity (describe (add forall $x ant (build object *x property (build lex "extreme")) cq (build object *x property (build lex "high intensity")))) I wonder if ((p1 (object v1) (property (m9 (lex (extreme)))))) holds within the BS defined by context default-defaultct I know ((m10! (object (b1)) (property (m9 (lex (extreme)))))) Since ((m14! (forall v1) (ant (p1 (object v1) (property (m9 (lex (extreme)))))) (cq (p2 (object v1) (property (m13 (lex (high intensity)))))))) and ((p1 (object (v1 <-- b1)) (property (m9 (lex (extreme)))))) I infer ((p2 (object (v1 <-- b1)) (property (m13 (lex (high intensity)))))) (m15! (object b1) (property (m13 (lex high intensity)))) (m14! (forall v1) (ant (p1 (object v1) (property (m9 (lex extreme))))) (cq (p2 (object v1) (property (m13))))) (m10! (object b1) (property (m9))) (m15! m14! m10!) CPU time : 0.02 * ;;Synonym-Synonym rule ;If x and y are synonyms and z has the property x, then z also has the property y. (describe (add forall ($prop1 $prop2 $obj) &ant ((build synonym *prop1 synonym *prop2) (build object *obj property *prop1)) cq (build object *obj property *prop2))) I wonder if ((p4 (object v4) (property v2))) holds within the BS defined by context default-defaultct I wonder if ((p3 (synonym v3 v2))) holds within the BS defined by context default-defaultct I know ((m10! (object (b1)) (property (m9 (lex (extreme)))))) I know ((m15! (object (b1)) (property (m13 (lex (high intensity)))))) (m16! (forall v4 v3 v2) (&ant (p4 (object v4) (property v2)) (p3 (synonym v3 v2))) (cq (p5 (object v4) (property v3)))) (m15! (object b1) (property (m13 (lex high intensity)))) (m10! (object b1) (property (m9 (lex extreme)))) (m16! m15! m10!) CPU time : 0.02 * ;;Antonym-Antonym rules ;If x and y are antonyms and z has the property x, then z does not have the property y. (describe (add forall ($p1 $p2 $o) &ant ((build antonym *p1 antonym *p2) (build object *o property *p1)) cq (build arg (build object *o property *p2) min 0 max 0))) I wonder if ((p7 (object v7) (property v5))) holds within the BS defined by context default-defaultct I wonder if ((p6 (antonym v6 v5))) holds within the BS defined by context default-defaultct I know ((m10! (object (b1)) (property (m9 (lex (extreme)))))) I know ((m15! (object (b1)) (property (m13 (lex (high intensity)))))) I know ((m12! (antonym (m11 (lex (normal))) (m9 (lex (extreme)))))) Since ((m17! (forall (v7 <-- b1) (v6 <-- m11) (v5 <-- m9)) (&ant (p7 (object (v7 <-- b1)) (property (v5 <-- m9))) (p6 (antonym (v6 <-- m11) (v5 <-- m9)))) (cq (p9 (min 0) (max 0) (arg (p8 (object (v7 <-- b1)) (property (v6 <-- m11)))))))) and ((p7 (object (v7 <-- b1)) (property (v5 <-- m9)))) and ((p6 (antonym (v6 <-- m11) (v5 <-- m9)))) I infer ((p9 (min 0) (max 0) (arg (p8 (object (v7 <-- b1)) (property (v6 <-- m11)))))) I wonder if ((p7 (object (v7 <-- b1)) (property v5))) holds within the BS defined by context default-defaultct I wonder if ((p6 (antonym (v6 <-- m11) v5))) holds within the BS defined by context default-defaultct Since ((m17! (forall (v7 <-- b1) (v6 <-- m11) (v5 <-- m9)) (&ant (p7 (object (v7 <-- b1)) (property (v5 <-- m9))) (p6 (antonym (v6 <-- m11) (v5 <-- m9)))) (cq (p9 (min 0) (max 0) (arg (p8 (object (v7 <-- b1)) (property (v6 <-- m11)))))))) and ((p7 (object (v7 <-- b1)) (property (v5 <-- m9)))) and ((p6 (antonym (v6 <-- m11) (v5 <-- m9)))) I infer ((p9 (min 0) (max 0) (arg (p8 (object (v7 <-- b1)) (property (v6 <-- m11)))))) I know ((m10! (object (b1)) (property (m9 (lex (extreme)))))) I know ((m15! (object (b1)) (property (m13 (lex (high intensity)))))) I know ((m12! (antonym (m11 (lex (normal))) (m9 (lex (extreme)))))) I know it is not the case that ((m18 (object (b1)) (property (m11 (lex (normal)))))) I wonder if ((p4 (object (v4 <-- b1)) (property v2))) holds within the BS defined by context default-defaultct I know ((m10! (object (b1)) (property (m9 (lex (extreme)))))) I know ((m15! (object (b1)) (property (m13 (lex (high intensity)))))) Since ((m17! (forall (v7 <-- b1) (v6 <-- m11) (v5 <-- m9)) (&ant (p7 (object (v7 <-- b1)) (property (v5 <-- m9))) (p6 (antonym (v6 <-- m11) (v5 <-- m9)))) (cq (p9 (min 0) (max 0) (arg (p8 (object (v7 <-- b1)) (property (v6 <-- m11)))))))) and ((p7 (object (v7 <-- b1)) (property (v5 <-- m9)))) and ((p6 (antonym (v6 <-- m11) (v5 <-- m9)))) I infer ((p9 (min 0) (max 0) (arg (p8 (object (v7 <-- b1)) (property (v6 <-- m11)))))) (m19! (min 0) (max 0) (arg (m18 (object b1) (property (m11 (lex normal)))))) (m17! (forall v7 v6 v5) (&ant (p7 (object v7) (property v5)) (p6 (antonym v6 v5))) (cq (p9 (min 0) (max 0) (arg (p8 (object v7) (property v6)))))) (m15! (object b1) (property (m13 (lex high intensity)))) (m12! (antonym (m11) (m9 (lex extreme)))) (m10! (object b1) (property (m9))) (m19! m17! m15! m12! m10!) CPU time : 0.09 * ;If x and y are antonyms and z does not have the property x, then z does have the ;property y. (describe (add forall ($pr1 $pr2 $ob) &ant ((build antonym *pr1 antonym *pr2) (build arg (build object *ob property *pr1) min 0 max 0)) cq (build object *ob property *pr2))) I wonder if ((p17 (min 0) (max 0) (arg (p16 (object v10) (property v8))))) holds within the BS defined by context default-defaultct I wonder if ((p15 (antonym v9 v8))) holds within the BS defined by context default-defaultct I know ((m19! (min 0) (max 0) (arg (m18 (object (b1)) (property (m11 (lex (normal)))))))) I know ((m12! (antonym (m11 (lex (normal))) (m9 (lex (extreme)))))) Since ((m20! (forall (v10 <-- b1) (v9 <-- m9) (v8 <-- m11)) (&ant (p17 (min 0) (max 0) (arg (p16 (object (v10 <-- b1)) (property (v8 <-- m11))))) (p15 (antonym (v9 <-- m9) (v8 <-- m11)))) (cq (p18 (object (v10 <-- b1)) (property (v9 <-- m9)))))) and ((p17 (min 0) (max 0) (arg (p16 (object (v10 <-- b1)) (property (v8 <-- m11)))))) and ((p15 (antonym (v9 <-- m9) (v8 <-- m11)))) I infer ((p18 (object (v10 <-- b1)) (property (v9 <-- m9)))) (m20! (forall v10 v9 v8) (&ant (p17 (min 0) (max 0) (arg (p16 (object v10) (property v8)))) (p15 (antonym v9 v8))) (cq (p18 (object v10) (property v9)))) (m19! (min 0) (max 0) (arg (m18 (object b1) (property (m11 (lex normal)))))) (m12! (antonym (m11) (m9 (lex extreme)))) (m10! (object b1) (property (m9))) (m20! m19! m12! m10!) CPU time : 0.06 * ;;Subculture info ;Subculture is a subclass of culture (describe (add subclass (build lex "subculture") superclass (build lex "culture"))) (m23! (subclass (m21 (lex subculture))) (superclass (m22 (lex culture)))) (m23!) CPU time : 0.01 * ;Established culture is a subclass of culture (describe (add subclass (build lex "established culture") superclass (build lex "culture"))) (m25! (subclass (m24 (lex established culture))) (superclass (m22 (lex culture)))) (m25!) CPU time : 0.01 * ;Established culture has the property of being normal (describe (add object (build lex "established culture") property (build lex "normal"))) Since ((m20! (forall (v10 <-- m24) (v9 <-- m11) (v8 <-- m9)) (&ant (p17 (min 0) (max 0) (arg (p16 (object (v10 <-- m24)) (property (v8 <-- m9))))) (p15 (antonym (v9 <-- m11) (v8 <-- m9)))) (cq (p18 (object (v10 <-- m24)) (property (v9 <-- m11)))))) and ((p17 (min 0) (max 0) (arg (p16 (object (v10 <-- m24)) (property (v8 <-- m9)))))) and ((p15 (antonym (v9 <-- m11) (v8 <-- m9)))) I infer ((p18 (object (v10 <-- m24)) (property (v9 <-- m11)))) (m28! (min 0) (max 0) (arg (m27 (object (m24 (lex established culture))) (property (m9 (lex extreme)))))) (m26! (object (m24)) (property (m11 (lex normal)))) (m28! m26!) CPU time : 0.03 * ;The Olympics is a member of established culture (describe (add superclass (build lex "established culture") subclass (build lex "Olympics"))) (m30! (subclass (m29 (lex Olympics))) (superclass (m24 (lex established culture)))) (m30!) CPU time : 0.01 * ;The Olympics is a member of the class institution (describe (add subclass (build lex "Olympics") superclass (build lex "institution"))) (m32! (subclass (m29 (lex Olympics))) (superclass (m31 (lex institution)))) (m32!) CPU time : 0.01 * ;The Olympics is a member of the class sports events (describe (add member (build lex "Olympics") class (build lex "sports event"))) (m34! (class (m33 (lex sports event))) (member (m29 (lex Olympics)))) (m34!) CPU time : 0.01 * ;Subculture is outside of established culture (describe (add object1 (build lex "subculture") rel (build lex "outside of") object2 (build lex "established culture"))) (m36! (object1 (m21 (lex subculture))) (object2 (m24 (lex established culture))) (rel (m35 (lex outside of)))) (m36!) CPU time : 0.01 * ;Pesky and troublesome are synonyms (describe (add synonym (build lex "pesky") synonym (build lex "troublesome"))) (m39! (synonym (m38 (lex troublesome)) (m37 (lex pesky)))) (m39!) CPU time : 0.01 * ;;For all x and y, if x is absorbed into y and x is a subclass of subculture, ;;then presumably y is a subclass of established culture. (describe (add forall ($v1 $v2) &ant ((build object1 *v1 rel (build lex "absorbed into") object2 *v2) (build subclass *v1 superclass (build lex "subculture")) (build agent (build lex "some people") act (build lex "kick and scream"))) cq (build mode (build lex "presumably") subclass *v2 superclass (build lex "established culture")))) I wonder if ((m43 (act (m42 (lex (kick and scream)))) (agent (m41 (lex (some people)))))) holds within the BS defined by context default-defaultct I wonder if ((p20 (subclass v11) (superclass (m21 (lex (subculture)))))) holds within the BS defined by context default-defaultct I wonder if ((p19 (object1 v11) (object2 v12) (rel (m40 (lex (absorbed into)))))) holds within the BS defined by context default-defaultct (m45! (forall v12 v11) (&ant (m43 (act (m42 (lex kick and scream))) (agent (m41 (lex some people)))) (p20 (subclass v11) (superclass (m21 (lex subculture)))) (p19 (object1 v11) (object2 v12) (rel (m40 (lex absorbed into))))) (cq (p21 (mode (m44 (lex presumably))) (subclass v12) (superclass (m24 (lex established culture)))))) (m45!) CPU time : 0.14 * ;;For all x, if x has property Olympics and Olympics is a member of class z, ;;then x is a member of class z. (describe (add forall ($v3 $v4) &ant ((build object *v3 property (build lex "Olympics")) (build subclass (build lex "Olympics") superclass *v4)) cq (build subclass *v3 superclass *v4 mode (build lex "presumably")))) I wonder if ((p23 (subclass (m29 (lex (Olympics)))) (superclass v14))) holds within the BS defined by context default-defaultct I wonder if ((p22 (object v13) (property (m29 (lex (Olympics)))))) holds within the BS defined by context default-defaultct I know ((m47! (subclass (m29 (lex (Olympics)))) (superclass (m22 (lex (culture)))))) I know ((m30! (subclass (m29 (lex (Olympics)))) (superclass (m24 (lex (established culture)))))) I know ((m32! (subclass (m29 (lex (Olympics)))) (superclass (m31 (lex (institution)))))) I wonder if ((p19 (object1 v11) (object2 (v12 <-- m29)) (rel (m40 (lex (absorbed into)))))) holds within the BS defined by context default-defaultct I wonder if ((p3 (synonym (v3 <-- m29) v2))) holds within the BS defined by context default-defaultct I wonder if ((p15 (antonym (v9 <-- m29) v8))) holds within the BS defined by context default-defaultct I wonder if ((p6 (antonym (v6 <-- m29) v5))) holds within the BS defined by context default-defaultct (m47! (subclass (m29 (lex Olympics))) (superclass (m22 (lex culture)))) (m46! (forall v14 v13) (&ant (p23 (subclass (m29)) (superclass v14)) (p22 (object v13) (property (m29)))) (cq (p24 (mode (m44 (lex presumably))) (subclass v13) (superclass v14)))) (m32! (subclass (m29)) (superclass (m31 (lex institution)))) (m30! (subclass (m29)) (superclass (m24 (lex established culture)))) (m47! m46! m32! m30!) CPU time : 0.08 * ;;Absorbed into rule ;If x is absorbed into y at time t, ; then there is some time t' preceding t such that ; x is not part of y at t; ; and ; x is part of y at t (describe (add forall ($obj1 $obj2 $time $f) ant (build object1 *obj1 rel (build lex "absorbed into") object2 *obj2 etime *time) cq ((build object1 (build skf *f skarg *time) rel (build lex "before") object2 *time) (build arg (build object1 *obj1 rel (build lex "part of") object2 *obj2 etime (build skf *f skarg *time)) min 0 max 0) (build object1 *obj1 rel (build lex "part of") object2 *obj2 etime *time)))) I wonder if ((p34 (etime v17) (object1 v15) (object2 v16) (rel (m40 (lex (absorbed into)))))) holds within the BS defined by context default-defaultct (m52! (forall v18 v17 v16 v15) (ant (p34 (etime v17) (object1 v15) (object2 v16) (rel (m40 (lex absorbed into))))) (cq (p39 (etime v17) (object1 v15) (object2 v16) (rel (m51 (lex part of)))) (p38 (min 0) (max 0) (arg (p37 (etime (p35 (skarg v17) (skf v18))) (object1 v15) (object2 v16) (rel (m51))))) (p36 (object1 (p35)) (object2 v17) (rel (m50 (lex before)))))) (m52!) CPU time : 0.04 * ;;If some people kick and scream them some people are resisting (describe (add ant (build agent (build lex "some people") act (build lex "kick and scream")) cq (build agent (build lex "some people") act (build lex "resist")))) (m55! (ant (m43 (act (m42 (lex kick and scream))) (agent (m41 (lex some people))))) (cq (m54 (act (m53 (lex resist))) (agent (m41))))) (m55!) CPU time : 0.01 * End of /home/cendue/watkins8/CVA/juggernaut.base demonstration. CPU time : 0.62 * (describe (add subclass (build lex "Olympics") superclass (build lex "established culture"))) (m30! (subclass (m29 (lex Olympics))) (superclass (m24 (lex established culture)))) (m30!) CPU time : 0.01 * ;There is something with the proper-name extreme sports (describe (add object #extremesports proper-name (build lex "Extreme Sports"))) (m56! (object b2) (proper-name (m6 (lex Extreme Sports)))) (m56!) CPU time : 0.01 * ;Extreme sports has the property of being pesky (describe (add object *extremesports property (build lex "pesky"))) Since ((m16! (forall (v4 <-- b2) (v3 <-- m38) (v2 <-- m37)) (&ant (p4 (object (v4 <-- b2)) (property (v2 <-- m37))) (p3 (synonym (v3 <-- m38) (v2 <-- m37)))) (cq (p5 (object (v4 <-- b2)) (property (v3 <-- m38)))))) and ((p4 (object (v4 <-- b2)) (property (v2 <-- m37)))) and ((p3 (synonym (v3 <-- m38) (v2 <-- m37)))) I infer ((p5 (object (v4 <-- b2)) (property (v3 <-- m38)))) (m58! (object b2) (property (m38 (lex troublesome)))) (m57! (object b2) (property (m37 (lex pesky)))) (m58! m57!) CPU time : 0.01 * ;Extreme sports is a member of the class subculture (describe (add member *extremesports class (build lex "subculture"))) (m59! (class (m21 (lex subculture))) (member b2)) (m59!) CPU time : 0.01 * ;The Olympics is a subclass of juggernaut. (describe (add property (build lex "Olympics") object (build lex "juggernaut"))) Since ((m46! (forall (v14 <-- m31) (v13 <-- m60)) (&ant (p23 (subclass (m29 (lex (Olympics)))) (superclass (v14 <-- m31))) (p22 (object (v13 <-- m60)) (property (m29 (lex (Olympics)))))) (cq (p24 (mode (m44 (lex (presumably)))) (subclass (v13 <-- m60)) (superclass (v14 <-- m31)))))) and ((p23 (subclass (m29 (lex (Olympics)))) (superclass (v14 <-- m31)))) and ((p22 (object (v13 <-- m60)) (property (m29 (lex (Olympics)))))) I infer ((p24 (mode (m44 (lex (presumably)))) (subclass (v13 <-- m60)) (superclass (v14 <-- m31)))) Since ((m46! (forall (v14 <-- m24) (v13 <-- m60)) (&ant (p23 (subclass (m29 (lex (Olympics)))) (superclass (v14 <-- m24))) (p22 (object (v13 <-- m60)) (property (m29 (lex (Olympics)))))) (cq (p24 (mode (m44 (lex (presumably)))) (subclass (v13 <-- m60)) (superclass (v14 <-- m24)))))) and ((p23 (subclass (m29 (lex (Olympics)))) (superclass (v14 <-- m24)))) and ((p22 (object (v13 <-- m60)) (property (m29 (lex (Olympics)))))) I infer ((p24 (mode (m44 (lex (presumably)))) (subclass (v13 <-- m60)) (superclass (v14 <-- m24)))) Since ((m46! (forall (v14 <-- m22) (v13 <-- m60)) (&ant (p23 (subclass (m29 (lex (Olympics)))) (superclass (v14 <-- m22))) (p22 (object (v13 <-- m60)) (property (m29 (lex (Olympics)))))) (cq (p24 (mode (m44 (lex (presumably)))) (subclass (v13 <-- m60)) (superclass (v14 <-- m22)))))) and ((p23 (subclass (m29 (lex (Olympics)))) (superclass (v14 <-- m22)))) and ((p22 (object (v13 <-- m60)) (property (m29 (lex (Olympics)))))) I infer ((p24 (mode (m44 (lex (presumably)))) (subclass (v13 <-- m60)) (superclass (v14 <-- m22)))) (m64! (mode (m44 (lex presumably))) (subclass (m60 (lex juggernaut))) (superclass (m22 (lex culture)))) (m63! (mode (m44)) (subclass (m60)) (superclass (m24 (lex established culture)))) (m62! (mode (m44)) (subclass (m60)) (superclass (m31 (lex institution)))) (m61! (object (m60)) (property (m29 (lex Olympics)))) (m64! m63! m62! m61!) CPU time : 0.07 * ;Extreme sports is absorbed into the juggernaut (describe (add object1 *extremesports rel (build lex "absorbed into") object2 (build lex "juggernaut")) = ESabsorbedintoOJ) (m65! (object1 b2) (object2 (m60 (lex juggernaut))) (rel (m40 (lex absorbed into)))) (m65!) CPU time : 0.01 * ;If extreme sports is absorbed in the Olympics juggernaut, then some people will ;kick and scream (describe (add ant *ESabsorbedintoOJ cq (build agent (build lex "some people") act (build lex "kick and scream")))) I know ((m65! (object1 (b2)) (object2 (m60 (lex (juggernaut)))) (rel (m40 (lex (absorbed into)))))) Since ((m66! (ant (m65! (object1 (b2)) (object2 (m60 (lex (juggernaut)))) (rel (m40 (lex (absorbed into)))))) (cq (m43 (act (m42 (lex (kick and scream)))) (agent (m41 (lex (some people)))))))) and ((m65! (object1 (b2)) (object2 (m60 (lex (juggernaut)))) (rel (m40 (lex (absorbed into)))))) I infer ((m43 (act (m42 (lex (kick and scream)))) (agent (m41 (lex (some people)))))) Since ((m55! (ant (m43! (act (m42 (lex (kick and scream)))) (agent (m41 (lex (some people)))))) (cq (m54 (act (m53 (lex (resist)))) (agent (m41 (lex (some people)))))))) and ((m43! (act (m42 (lex (kick and scream)))) (agent (m41 (lex (some people)))))) I infer ((m54 (act (m53 (lex (resist)))) (agent (m41 (lex (some people)))))) (m66! (ant (m65! (object1 b2) (object2 (m60 (lex juggernaut))) (rel (m40 (lex absorbed into))))) (cq (m43! (act (m42 (lex kick and scream))) (agent (m41 (lex some people)))))) (m54! (act (m53 (lex resist))) (agent (m41))) (m66! m54! m43!) CPU time : 0.03 * ;;;What is the definition of "juggernaut" ^( --> defineNoun "juggernaut") Definition of juggernaut: Class Inclusions: institution ,established culture , Possible Properties: absorbed into subculture ,, Possibly Similar Items: Olympics, nil CPU time : 0.54