SNePS-2.6 [PL:0a 2002/09/30 22:37:46] loaded. Type `(sneps)' or `(snepslog)' to get started. Welcome to SNePS-2.6 [PL:0a 2002/09/30 22:37:46] Copyright (C) 1984--2002 by Research Foundation of State University of New York. SNePS comes with ABSOLUTELY NO WARRANTY! Type `(copyright)' for detailed copyright information. Type `(demo)' for a list of example applications. 12/5/2003 15:56:50 * (demo "/home/esldue/msato/CVA/fold.demo") File /home/esldue/msato/CVA/fold.demo is now the source of input. CPU time : 0.01 * ;;; ORIGINAL TRY FOR "fold" passage ;;; Written by Masashi Sato (resetnet t) Net reset CPU time : 0.01 * ; Don't trace infer <--- by Scott T Napieralski. ^( --> setq snip:*infertrace* nil) nil CPU time : 0.00 * ;------------------------------------------------------------------------ ;;; Following two commands are developed by Matthew Sweeney ;;; Please refer to ;;; turn off singular path inference ^( --> in-package snip) # CPU time : 0.01 * ;;; redefine function to return nil ;;; so that forward inference will not be limited ^( --> defun broadcast-one-report (rep) (let (anysent) (do.chset (ch *OUTGOING-CHANNELS* anysent) (when (isopen.ch ch) (setq anysent (or (try-to-send-report rep ch) anysent))))) nil) broadcast-one-report CPU time : 0.00 * ;---------------------------------------------------------------------------- ; Load the verb algorithm developed by Justin Del Vecchio ^( --> load "/home/esldue/msato/CVA/preliminary_modified.lisp") ; Loading /home/esldue/msato/CVA/preliminary_modified.lisp t CPU time : 0.14 * ; Define all necessary relations (intext "/home/esldue/msato/CVA/rels") File /home/esldue/msato/CVA/rels is now the source of input. CPU time : 0.00 * act is already defined. action is already defined. effect is already defined. (super-interval initial-sub-interval subinterval superinterval object propername property etime eaffair agent act action lex before after cause effect quantity antonym synonym member class subclass superclass mod head skf skarg mode) CPU time : 0.03 * End of file /home/esldue/msato/CVA/rels CPU time : 0.03 * ; Load its background knowledge ;##########BEGINNING OF BACKGROUND KNOWLEDGE######### (demo "/home/esldue/msato/CVA/fold_bk.demo") File /home/esldue/msato/CVA/fold_bk.demo is now the source of input. CPU time : 0.01 * ;;; Background knowledge for the "fold" passage ;;; Written by Masashi Sato ; Define necessary composition of paths ; superclass relation is transitive. (define-path superclass (compose superclass (kstar (compose subclass- superclass)))) superclass implied by the path (compose superclass (kstar (compose subclass- superclass))) superclass- implied by the path (compose (kstar (compose superclass- subclass)) superclass-) CPU time : 0.00 * ;subclass relation is 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 * ;member relation is transitive (define-path member (compose member class- (kstar (compose subclass- superclass)))) member implied by the path (compose member class- (kstar (compose subclass- superclass))) member- implied by the path (compose (kstar (compose superclass- subclass)) class member-) CPU time : 0.00 * ;=====================RULE REPRESENTATIONS===================== ;---------subclass/superclass relation background------------ ; For all sub, sup, a, and T, if sub is a subclass of sup, and sup does act ; a at T, then sub also act a at T. (describe (add forall ($sub $sup $a $T) &ant (build subclass *sub superclass *sup) &ant (build etime *T eaffair (build agent *sup act *a)) cq (build etime *T eaffair (build agent *sub act *a)))) (m1! (forall v4 v3 v2 v1) (&ant (p3 (eaffair (p2 (act v3) (agent v2))) (etime v4)) (p1 (subclass v1) (superclass v2))) (cq (p5 (eaffair (p4 (act v3) (agent v1))) (etime v4)))) (m1!) CPU time : 0.02 * ;-----------Synonym rule----------- ; For all verb1, verb2, borg1, borg2, and p, if verb1 and verb2 are ; synonyms, and the fact that agent borg1 does verb1 on borg2 has ; the property p, then the fact that agent borg1 does verb2 on ; object borg2 has also the property p. (describe (add forall ($verb1 $verb2 $borg1 $borg2 $p) &ant (build synonym *verb1 synonym *verb2) &ant (build object (build agent *borg1 act (build action *verb1 object *borg2)) property *p) cq (build object (build agent *borg1 act (build action *verb2 object *borg2)) property *p))) (m2! (forall v9 v8 v7 v6 v5) (&ant (p9 (object (p8 (act (p7 (action v5) (object v8))) (agent v7))) (property v9)) (p6 (synonym v6 v5))) (cq (p12 (object (p11 (act (p10 (action v6) (object v8))) (agent v7))) (property v9)))) (m2!) CPU time : 0.02 * ;---------Antonym background------------ ;;;********************************************************************** ;;; These two following antonym rules for properties were written ;;; by Matthew Watkins please see ;;; ;;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))) (m3! (forall v12 v11 v10) (&ant (p14 (object v12) (property v10)) (p13 (antonym v11 v10))) (cq (p16 (min 0) (max 0) (arg (p15 (object v12) (property v11)))))) (m3!) CPU time : 0.03 * ;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))) (m4! (forall v15 v14 v13) (&ant (p19 (min 0) (max 0) (arg (p18 (object v15) (property v13)))) (p17 (antonym v14 v13))) (cq (p20 (object v15) (property v14)))) (m4!) CPU time : 0.03 * ;;;********************************************************** ;----------------Depression rule-------------- ; If great depressions, including "Great Depression", take place ; throughout a time interval T, then many business organization fail. ;<-> For all d, borg, and T, if d is a member of depression with a property ; of being great, and depression takes place throughout a time interval T, ; then many business organizations fail throuought the time interval T. (describe (add forall ($d $borg $T) &ant (build member *d class (build lex "depression")) &ant (build object *d property (build lex "great")) &ant (build etime *T eaffair *d) &ant (build subclass *borg superclass (build lex "business organization")) cq (build etime *T eaffair (build agent *borg act (build action (build lex "fail")))))) (m10! (forall v18 v17 v16) (&ant (p24 (subclass v17) (superclass (m7 (lex business organization)))) (p23 (eaffair v16) (etime v18)) (p22 (object v16) (property (m6 (lex great)))) (p21 (class (m5 (lex depression))) (member v16))) (cq (p26 (eaffair (p25 (act (m9 (action (m8 (lex fail))))) (agent v17))) (etime v18)))) (m10!) CPU time : 0.23 * ;---------Business organization background------------ ; Each member of a small business class has a property of being small. (describe (add forall $sb ant (build member *sb class (build lex "small business")) cq (build object *sb property (build lex "small")))) (m13! (forall v19) (ant (p61 (class (m11 (lex small business))) (member v19))) (cq (p62 (object v19) (property (m12 (lex small)))))) (m13!) CPU time : 0.03 * ; Each member of the large corporation has the property of being large. (describe (add forall $lc ant (build member *lc class (build lex "large corporation")) cq (build object *lc property (build lex "large")))) (m16! (forall v20) (ant (p83 (class (m14 (lex large corporation))) (member v20))) (cq (p84 (object v20) (property (m15 (lex large)))))) (m16!) CPU time : 0.04 * ; If a subclass of small business class fail throughout T,then the subclass ; bankrupts, dissolves, or large corporation acqure it throughout T. ;;;;; (describe (add forall ($subsborg $sublborg $T) &ant (build subclass *subsborg superclass (build lex "small business")) &ant (build subclass *sublborg superclass (build lex "business organization")) &ant (build etime *T eaffair (build agent *subsborg act (build action (build lex "fail")))) cq (build min 1 max 3 arg (build etime *T eaffair (build agent *subsborg act (build action (build lex "bankrupt")))) arg (build etime *T eaffair (build agent *subsborg act (build action (build lex "dissolve")))) arg (build etime *T eaffair (build agent *sublborg act (build action (build lex "acquire") object *subsborg)))))) (m22! (forall v23 v22 v21) (&ant (p109 (eaffair (p108 (act (m9 (action (m8 (lex fail))))) (agent v21))) (etime v23)) (p107 (subclass v22) (superclass (m7 (lex business organization)))) (p106 (subclass v21) (superclass (m11 (lex small business))))) (cq (p117 (min 1) (max 3) (arg (p116 (eaffair (p115 (act (p114 (action (m21 (lex acquire))) (object v21))) (agent v22))) (etime v23)) (p113 (eaffair (p112 (act (m20 (action (m19 (lex dissolve))))) (agent v21))) (etime v23)) (p111 (eaffair (p110 (act (m18 (action (m17 (lex bankrupt))))) (agent v21))) (etime v23)))))) (m22!) CPU time : 0.10 * ;---------Event affair property background------------ ; Eventaffairs such that any business organization, fails, bankrupts, ; and dissolves have the property of being destructive to business. (describe (add forall $borg &ant (build subclass *borg superclass (build lex "business organization")) cq (build object (build agent *borg act (build action (build lex "fail"))) property (build lex "destructive to business")) cq (build object (build agent *borg act (build action (build lex "bankrupt"))) property (build lex "destructive to business")) cq (build object (build agent *borg act (build action (build lex "dissolve"))) property (build lex "destructive to business")))) (m24! (forall v24) (&ant (p125 (subclass v24) (superclass (m7 (lex business organization))))) (cq (p131 (object (p130 (act (m20 (action (m19 (lex dissolve))))) (agent v24))) (property (m23 (lex destructive to business)))) (p129 (object (p128 (act (m18 (action (m17 (lex bankrupt))))) (agent v24))) (property (m23))) (p127 (object (p126 (act (m9 (action (m8 (lex fail))))) (agent v24))) (property (m23))))) (m24!) CPU time : 0.05 * ; The event in which a business organization acquire another ; organization has the property of being destructive to business. (describe (add forall ($borg1 $borg2) &ant (build subclass *borg1 superclass (build lex "business organization")) &ant (build subclass *borg2 superclass (build lex "small business")) cq (build object (build agent *borg1 act (build action (build lex "acquire") object *borg2)) property (build lex "destructive to business")))) (m25! (forall v26 v25) (&ant (p133 (subclass v26) (superclass (m11 (lex small business)))) (p132 (subclass v25) (superclass (m7 (lex business organization))))) (cq (p136 (object (p135 (act (p134 (action (m21 (lex acquire))) (object v26))) (agent v25))) (property (m23 (lex destructive to business)))))) (m25!) CPU time : 0.16 * ;---------event time interval background------------ ; For all T1, T2, and e, if T1 is an super-interval of the ; initial-sub-interval T2, and e is an event affair and occurs ; throughout T1 , then e is also an event affair throughout T2. (describe (add forall ($T1 $T2 $e) &ant (build super-interval *T1 initial-sub-interval *T2) &ant (build etime *T1 eaffair *e) cq (build etime *T2 eaffair *e))) (m26! (forall v29 v28 v27) (&ant (p138 (eaffair v29) (etime v27)) (p137 (initial-sub-interval v28) (super-interval v27))) (cq (p139 (eaffair v29) (etime v28)))) (m26!) CPU time : 0.05 * ;---------unknown verb => unknown event affair background------------ ;;;;; ; For all x and uv, if agent x act uv action, uv is unknown, and x is a subclass of ; business organization, then its event affair is unknown. (describe (add forall ($x $uv) &ant (build agent *x act (build action *uv)) = ea1 &ant (build object *uv property (build lex "unknown")) &ant (build subclass *x superclass (build lex "business organization")) cq (build object *ea1 property (build lex "unknown")))) (m28! (forall v31 v30) (&ant (p143 (subclass v30) (superclass (m7 (lex business organization)))) (p142 (object v31) (property (m27 (lex unknown)))) (p141 (act (p140 (action v31))) (agent v30))) (cq (p144 (object (p141)) (property (m27))))) (m28!) CPU time : 0.15 * ;***KEY RULE1*** ;---------event affairs background------------ ; For all ea1, ea2, and T, if ea1 or ea2 happens throughout a time ; interval T, ea1 has the property of being destructive to business, and ea2 is an ; unknown event affair, then possibly, ea2 is also destructive to business. (describe (add forall ($ea1 $ea2 $T) &ant (build min 1 max 2 arg (build etime *T eaffair *ea1) arg (build etime *T eaffair *ea2)) &ant (build object *ea1 property (build lex "destructive to business")) &ant (build object *ea2 property (build lex "unknown")) cq (build mode (build lex "possibly") object (build object *ea2 property (build lex "destructive to business"))))) (m30! (forall v34 v33 v32) (&ant (p159 (object v33) (property (m27 (lex unknown)))) (p158 (object v32) (property (m23 (lex destructive to business)))) (p157 (min 1) (max 2) (arg (p156 (eaffair v33) (etime v34)) (p155 (eaffair v32) (etime v34))))) (cq (p161 (mode (m29 (lex possibly))) (object (p160 (object v33) (property (m23))))))) (m30!) CPU time : 0.31 * ;***KEY RULE2*** ; For all x, verb, and p, if agent x act verb action, and this event is ; possibly p, then uv action is also possibly p. (describe (add forall ($x $verb $p) ant (build mode (build lex "possibly") object (build object (build agent *x act (build action *verb)) property *p)) cq (build object *verb property *p))) (m31! (forall v37 v36 v35) (ant (p173 (mode (m29 (lex possibly))) (object (p172 (object (p171 (act (p170 (action v36))) (agent v35))) (property v37))))) (cq (p174 (object v36) (property v37)))) (m31!) CPU time : 0.46 * ;=====================NON-RULE REPRESENTATIONS===================== ;---------1930's background------------ ; Something took place during 1930s. (describe (add etime (build lex "1930s") eaffair #GD)) (m34! (eaffair b1) (etime (m33 (lex 1930s)))) (m34!) CPU time : 0.03 * ; The something #GD was a member of depression. (describe (add member *GD class (build lex "depression"))) (m35! (class (m5 (lex depression))) (member b1)) (m35!) CPU time : 0.03 * ; Its propername was "Great Depression". (describe (add object *GD propername (build lex "Great Depression"))) (m37! (object b1) (propername (m36 (lex Great Depression)))) (m37!) CPU time : 0.02 * ; Great Depression has the property of being great. (describe (add object *GD property (build lex "great"))) (m38! (object b1) (property (m6 (lex great)))) (m38!) CPU time : 0.12 * ;---------Small businesses background------------ ; Many small business is a subclass of small business. (describe (add subclass (build lex "many small business") superclass (build lex "small business"))) (m40! (subclass (m39 (lex many small business))) (superclass (m11 (lex small business)))) (m40!) CPU time : 0.04 * ; Small business is a subclass of business organization. (describe (add subclass (build lex "small business") superclass (build lex "business organization"))) (m59! (object (m58 (act (m32 (action (m21 (lex acquire))))) (agent (m11 (lex small business))))) (property (m23 (lex destructive to business)))) (p295! (object (p294 (act (m32)) (agent v1))) (property (m23))) (p293! (object (p292 (act (m32)) (agent v26))) (property (m23))) (p291! (object (p290 (act (m32)) (agent v21))) (property (m23))) (m57! (object (m56 (act (m55 (action (m21)) (object (m39 (lex many small business))))) (agent (m11)))) (property (m23))) (p289! (object (p288 (act (m55)) (agent v21))) (property (m23))) (p287! (object (p286 (act (m55)) (agent v1))) (property (m23))) (p285! (object (p284 (act (m55)) (agent v26))) (property (m23))) (m54! (object (m53 (act (m9 (action (m8 (lex fail))))) (agent (m11)))) (property (m23))) (m52! (object (m51 (act (m18 (action (m17 (lex bankrupt))))) (agent (m11)))) (property (m23))) (m50! (object (m49 (act (m20 (action (m19 (lex dissolve))))) (agent (m11)))) (property (m23))) (p283! (object (p108 (act (m9)) (agent v21))) (property (m23))) (p282! (object (p110 (act (m18)) (agent v21))) (property (m23))) (p281! (object (p112 (act (m20)) (agent v21))) (property (m23))) (p280! (object (p279 (act (m9)) (agent v26))) (property (m23))) (p278! (object (p277 (act (m18)) (agent v26))) (property (m23))) (p276! (object (p275 (act (m20)) (agent v26))) (property (m23))) (p274! (object (p120 (act (m9)) (agent v1))) (property (m23))) (p273! (object (p272 (act (m18)) (agent v1))) (property (m23))) (p271! (object (p270 (act (m20)) (agent v1))) (property (m23))) (m48! (object (m47 (act (m9)) (agent (m39)))) (property (m23))) (m46! (object (m45 (act (m18)) (agent (m39)))) (property (m23))) (m44! (object (m43 (act (m20)) (agent (m39)))) (property (m23))) (m42! (subclass (m39)) (superclass (m7 (lex business organization)))) (p269! (subclass v26) (superclass (m7))) (p268! (subclass v21) (superclass (m7))) (m41! (subclass (m11)) (superclass (m7))) (p27! (subclass v1) (superclass (m7))) (m59! p295! p293! p291! m57! p289! p287! p285! m54! m52! m50! p283! p282! p281! p280! p278! p276! p274! p273! p271! m48! m46! m44! m42! p269! p268! m41! p27!) CPU time : 0.29 * ; Business organization is a subclass of organization. (describe (add subclass (build lex "business organization") superclass (build lex "organization"))) (m63! (subclass (m39 (lex many small business))) (superclass (m60 (lex organization)))) (p302! (subclass v30) (superclass (m60))) (p301! (subclass v26) (superclass (m60))) (p300! (subclass v25) (superclass (m60))) (p299! (subclass v24) (superclass (m60))) (p298! (subclass v22) (superclass (m60))) (p297! (subclass v21) (superclass (m60))) (m62! (subclass (m11 (lex small business))) (superclass (m60))) (p296! (subclass v17) (superclass (m60))) (m61! (subclass (m7 (lex business organization))) (superclass (m60))) (m63! p302! p301! p300! p299! p298! p297! m62! p296! m61!) CPU time : 0.20 * ;---------antonym of property background------------ ; Its antonym of a property small is a property large. (describe (add antonym (build lex "small") antonym (build lex "large"))) (m64! (antonym (m15 (lex large)) (m12 (lex small)))) (m64!) CPU time : 0.04 * ;---------Large corporations background------------ ; Large corporation is a subclass of corporation. (describe (add subclass (build lex "large corporation") superclass (build lex "corporation"))) (m66! (subclass (m14 (lex large corporation))) (superclass (m65 (lex corporation)))) (m66!) CPU time : 0.04 * ; Corporation is a subclass of business organization. (describe (add subclass (build lex "corporation") superclass (build lex "business organization"))) (m90! (object (m89 (act (m32 (action (m21 (lex acquire))))) (agent (m65 (lex corporation))))) (property (m23 (lex destructive to business)))) (m88! (object (m87 (act (m32)) (agent (m14 (lex large corporation))))) (property (m23))) (m86! (object (m85 (act (m55 (action (m21)) (object (m39 (lex many small business))))) (agent (m65)))) (property (m23))) (m84! (object (m83 (act (m55)) (agent (m14)))) (property (m23))) (m82! (object (m81 (act (m9 (action (m8 (lex fail))))) (agent (m65)))) (property (m23))) (m80! (object (m79 (act (m18 (action (m17 (lex bankrupt))))) (agent (m65)))) (property (m23))) (m78! (object (m77 (act (m20 (action (m19 (lex dissolve))))) (agent (m65)))) (property (m23))) (m76! (object (m75 (act (m9)) (agent (m14)))) (property (m23))) (m74! (object (m73 (act (m18)) (agent (m14)))) (property (m23))) (m72! (object (m71 (act (m20)) (agent (m14)))) (property (m23))) (m70! (subclass (m14)) (superclass (m7 (lex business organization)))) (m69! (subclass (m65)) (superclass (m60 (lex organization)))) (m68! (subclass (m14)) (superclass (m60))) (m67! (subclass (m65)) (superclass (m7))) (m90! m88! m86! m84! m82! m80! m78! m76! m74! m72! m70! m69! m68! m67!) CPU time : 0.27 * ;---------synonym of verb background------------ ; Its synonym of a verb "acquire" is a verb "buy up". (describe (add synonym (build lex "acquire") synonym (build lex "buy up"))) (p314! (object (p313 (act (m100 (action (m91 (lex buy up))))) (agent v1))) (property (m23 (lex destructive to business)))) (p312! (object (p311 (act (m100)) (agent v26))) (property (m23))) (m106! (object (m105 (act (m100)) (agent (m14 (lex large corporation))))) (property (m23))) (m104! (object (m103 (act (m100)) (agent (m65 (lex corporation))))) (property (m23))) (m102! (object (m101 (act (m100)) (agent (m11 (lex small business))))) (property (m23))) (p310! (object (p309 (act (m100)) (agent v21))) (property (m23))) (p308! (object (p307 (act (m93 (action (m91)) (object (m39 (lex many small business))))) (agent v1))) (property (m23))) (p306! (object (p305 (act (m93)) (agent v21))) (property (m23))) (p304! (object (p303 (act (m93)) (agent v26))) (property (m23))) (m99! (object (m98 (act (m93)) (agent (m11)))) (property (m23))) (m97! (object (m96 (act (m93)) (agent (m14)))) (property (m23))) (m95! (object (m94 (act (m93)) (agent (m65)))) (property (m23))) (m92! (synonym (m91) (m21 (lex acquire)))) (p314! p312! m106! m104! m102! p310! p308! p306! p304! m99! m97! m95! m92!) CPU time : 0.10 * ;---------"fold" is unknown------------ (describe (add object (build lex "fold") property (build lex "unknown"))) (m108! (object (m107 (lex fold))) (property (m27 (lex unknown)))) (m108!) CPU time : 0.04 * End of /home/esldue/msato/CVA/fold_bk.demo demonstration. CPU time : 2.97 * ;##########END OF BACKGROUND KNOWLEDGE########### ; Time duration was the early 1930s. ; <-> Time duration refers to initial part of the super-interval of 1930's (describe (add super-interval (build lex "1930s") initial-sub-interval #InitialSubInterval)) (m110! (eaffair b1) (etime b2)) (m109! (initial-sub-interval b2) (super-interval (m33 (lex 1930s)))) (m110! m109!) CPU time : 0.09 * ;----------------------------------------------------------------------------------------------------------------------- ; During the early 1930s, many small businesses folded(fold: to go out of business) OR large corporations bought them up. ;----------------------------------------------------------------------------------------------------------------------- ; Many small business folded. (describe (add agent (build lex "many small business") act (build action (build lex "fold"))) = f) (m113! (object (m112! (act (m111 (action (m107 (lex fold))))) (agent (m39 (lex many small business))))) (property (m27 (lex unknown)))) (m113! m112!) CPU time : 0.05 * ; Fold: to go out of business. ; "fold" is a synnonym of "go out of business". (describe (add synonym (build lex "fold") synonym (build lex "go out of business"))) (m115! (synonym (m114 (lex go out of business)) (m107 (lex fold)))) (m115!) CPU time : 0.04 * (describe (add agent (build lex "large corporation") act (build action (build lex "buy up") object (build lex "many small business"))) = bu) (m105! (act (m100 (action (m91 (lex buy up))))) (agent (m14 (lex large corporation)))) (m96! (act (m93 (action (m91)) (object (m39 (lex many small business))))) (agent (m14))) (m105! m96!) CPU time : 0.05 * (describe (add min 1 max 2 arg (build etime *InitialSubInterval eaffair *f) arg (build etime *InitialSubInterval eaffair *bu))) (m129! (object (m107 (lex fold))) (property (m23 (lex destructive to business)))) (m128! (mode (m29 (lex possibly))) (object (m127 (object (m112! (act (m111 (action (m107)))) (agent (m39 (lex many small business))))) (property (m23))))) (m126! (min 1) (max 2) (arg (m124 (eaffair (m112!)) (etime b2)) (m122 (eaffair (m96! (act (m93 (action (m91 (lex buy up))) (object (m39)))) (agent (m14 (lex large corporation))))) (etime b2)))) (m125! (min 1) (max 2) (arg (m124) (m120 (eaffair (m105! (act (m100 (action (m91)))) (agent (m14)))) (etime b2)))) (m123! (min 1) (max 2) (arg (m122) (m119 (eaffair (m113! (object (m112!)) (property (m27 (lex unknown))))) (etime b2)))) (m121! (min 1) (max 2) (arg (m120) (m119))) (m118! (min 1) (max 2) (arg (m117 (eaffair (m105!) (m96!)) (etime b2)) (m116 (eaffair (m113!) (m112!)) (etime b2)))) (m129! m128! m126! m125! m123! m121! m118!) CPU time : 0.33 * ;;; What does "fold" mean?? <-- I need to make sure where we could find its algorithm for verbs. ^( --> defineVerb 'fold 1) 0[1]: (categorizeBasedOnPredicateStructure fold) 1[1]: (isBitransitive fold) 1[1]: returned nil 1[1]: (isTransitive fold) 1[1]: returned nil 1[1]: (isIntransitive fold) 1[1]: returned (m112!) 0[1]: returned (m112!) 0[1]: # 1[1]: (instantiateInstances (m112!) "intransitive") 2[1]: (findAgent m112!) 2[1]: returned (m39) 2[1]: (findObject m112!) 2[1]: returned nil 2[1]: (findIndirectObject m112!)  Do you want to debug it? n 2[1]: returned nil 2[1]: (findVerbsParentClass m112!) 2[1]: returned nil 2[1]: (findEffects m112!) 2[1]: returned nil 2[1]: (findConsequences m112!) 2[1]: returned nil 1[1]: returned nil 1[1]: (instantiateInstances nil "transitive") 1[1]: returned nil 1[1]: (instantiateInstances nil "bitransitive") 1[1]: returned nil 0[1]: returned nil 0[1]: # 1[1]: (getPredicateListsWithFrequency 1) 1[1]: returned ("intransitive") 0[1]: returned (("intransitive")) 0[1]: # 1[1]: # 1[1]: returned "The most common type of sentences I know of that use 'fold' are of the form: ~% 'A something can fold.'~2%~2%" 0[1]: returned "You want me to define the verb 'fold'.~2%I'll start by looking at the predicate stucture of the sentences I know that use 'fold'. Here is what I know:~2%The most common type of sentences I know of that use 'fold' are of the form: ~% 'A something can fold.'~2%~2%" 0[1]: (printPredicateUnificationTopDown (("intransitive"))) 1[1]: (findAgentsForType "intransitive") 1[1]: returned (m39) 1[1]: (createSuperclassToSubclassMatrix (m39)) 2[1]: (getClassMembershipOrInstanceMembershipForNode m39) 2[1]: returned nil 1[1]: returned nil 1[1]: (findTopDownDominant nil) 2[1]: (tidyTopDownSuperclasses nil) 2[1]: returned nil 1[1]: returned nil 0[1]: returned "Sorting from the most common predicate case to the least common here is what I know. I will first attempt to unify the components of the sentences that use the verb giving a generalizaiton based on my background knowledge: ~2%~2%" 0[1]: (printPredicateUnificationBottomUp (("intransitive"))) 1[1]: (findAgentsForType "intransitive") 1[1]: returned (m39) 1[1]: (createSuperclassToSubclassMatrix (m39)) 2[1]: (getClassMembershipOrInstanceMembershipForNode m39) 2[1]: returned nil 1[1]: returned nil 1[1]: (findBottomUpDominant nil 1) 2[1]: (tidyBottomUpSuperclasses nil) 2[1]: returned nil 1[1]: returned nil 0[1]: returned "Now, looking from the bottom up I want to get a sense of the categories that most of the agents, objects and indirect objects belong to. This is different from looking for the most unified case. Instead I am looking for the classes that contain approximately half of the agents, objects and indirect objects. This is an attempt at generalization but from another approach. ~2%~2%" 0[1]: # 1[1]: (findVerbsParentClass (m107)) 1[1]: returned nil 0[1]: returned "No superclasses were found for this verb. ~2% " 0[1]: # 0[1]: returned "Properties of the verb are: unknown : destructive to business : ~2% " 0[1]: # 0[1]: returned "Synonyms of the verb are: go out of business : ~2% " "You want me to define the verb 'fold'. I'll start by looking at the predicate stucture of the sentences I know that use 'fold'. Here is what I know: The most common type of sentences I know of that use 'fold' are of the form: 'A something can fold.' No superclasses were found for this verb. Properties of the verb are: unknown : destructive to business : Synonyms of the verb are: go out of business : Sorting from the most common predicate case to the least common here is what I know. I will first attempt to unify the components of the sentences that use the verb giving a generalizaiton based on my background knowledge: Now, looking from the bottom up I want to get a sense of the categories that most of the agents, objects and indirect objects belong to. This is different from looking for the most unified case. Instead I am looking for the classes that contain approximately half of the agents, objects and indirect objects. This is an attempt at generalization but from another approach. " CPU time : 0.07 * End of /home/esldue/msato/CVA/fold.demo demonstration. CPU time : 3.83 *