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:30:31

* (demo ' "cd-test.demo")
; Fast loading from bundle code/streama.fasl.

File /home/nsigrad/clbecker/CVA/DEMOS/cd-test.demo is now the source of input.


 CPU time : 0.04 

* ; =======================================================================

; FILENAME:     cd-test.demo

; DATE:         4/4/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 "cd-test.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.08 

* 




; Clear the SNePS network:

(resetnet t)


Net reset


 CPU time : 0.00 

* 




;turn on full forward inferencing:

^(
--> setq snip:*infertrace* nil)

nil



 CPU time : 0.00 

* 


; ;enter the "snip" package:

^(
--> in-package snip)

#<The snip package>



 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)

#<The sneps package>



 CPU time : 0.00 

* 




; load all pre-defined relations:

(intext "rels")

File rels is now the source of input.


 CPU time : 0.00 

* 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.07 

* 

End of file rels


 CPU time : 0.07 

* 


; load all pre-defined path definitions:

(intext "paths")

File paths is now the source of input.


 CPU time : 0.01 

* 
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.01 

* 




(intext "knowledge")

File knowledge is now the source of input.


 CPU time : 0.00 

* 

(m4!)

 CPU time : 0.00 

* 

(m6!)

 CPU time : 0.00 

* 

(m8!)

 CPU time : 0.00 

* 

(m10!)

 CPU time : 0.00 

* 

(m12!)

 CPU time : 0.00 

* 

(m14!)

 CPU time : 0.00 

* 

(m6!)

 CPU time : 0.00 

* 

(m17!)

 CPU time : 0.00 

* 

(m19!)

 CPU time : 0.00 

* 

(m21!)

 CPU time : 0.00 

* 

(m23!)

 CPU time : 0.01 

* 

(m25!)

 CPU time : 0.00 

* 

(m27!)

 CPU time : 0.00 

* 

(m29!)

 CPU time : 0.00 

* 

(m31!)

 CPU time : 0.00 

* 

(m33!)

 CPU time : 0.01 

* 

(m35!)

 CPU time : 0.00 

* 

(m37!)

 CPU time : 0.00 

* 

(m39!)

 CPU time : 0.00 

* 

(m41!)

 CPU time : 0.00 

* 

(m43!)

 CPU time : 0.00 

* 

(m45!)

 CPU time : 0.01 

* 

(m47!)

 CPU time : 0.00 

* 
(m48! (forall v7 v6 v5 v4 v3 v2 v1)
 (&ant (p7 (subclass v6) (superclass (m5 (lex physical object))))
  (p6 (subclass v5) (superclass (m3 (lex entity))))
  (p5 (class v5) (member v4)) (p4 (class v6) (member v3))
  (p3 (class v5) (member v1))
  (p2 (act (p1 (action v2) (object v3) (to v4))) (agent v1)))
 (cq (p8 (cd_cat (m16 (lex PTRANS(1a)))) (class v2))))

(m48!)

 CPU time : 0.00 

* 
(m49! (forall v14 v13 v12 v11 v10 v9 v8)
 (&ant (p16 (subclass v14) (superclass (m3 (lex entity))))
  (p15 (subclass v13) (superclass (m5 (lex physical object))))
  (p14 (subclass v12) (superclass (m3))) (p13 (class v14) (member v11))
  (p12 (class v13) (member v10)) (p11 (class v12) (member v8))
  (p10 (act (p9 (action v9) (object v10) (to v11))) (agent v8)))
 (cq (p17 (cd_cat (m18 (lex PTRANS(1b)))) (class v9))))

(m49!)

 CPU time : 0.00 

* 
(m50! (forall v21 v20 v19 v18 v17 v16 v15)
 (&ant (p25 (subclass v21) (superclass (m7 (lex location))))
  (p24 (subclass v20) (superclass (m7)))
  (p23 (subclass v19) (superclass (m3 (lex entity))))
  (p22 (class v21) (member v18)) (p21 (class v20) (member v17))
  (p20 (class v19) (member v15))
  (p19 (act (p18 (action v16) (from v17) (to v18))) (agent v15)))
 (cq (p26 (cd_cat (m20 (lex PTRANS(2a)))) (class v16))))

(m50!)

 CPU time : 0.01 

* 
(m51! (forall v28 v27 v26 v25 v24 v23 v22)
 (&ant (p33 (subclass v27) (superclass (m7 (lex location))))
  (p32 (subclass v26) (superclass (m3 (lex entity))))
  (p31 (class v27) (member v25)) (p30 (class v27) (member v24))
  (p29 (class v26) (member v22))
  (p28 (act (p27 (action v23) (from v24) (to v25))) (agent v22)))
 (cq (p34 (cd_cat (m22 (lex PTRANS(2b)))) (class v23))))

(m51!)

 CPU time : 0.01 

* 
(m52! (forall v35 v34 v33 v32 v31 v30 v29)
 (&ant (p40 (subclass v34) (superclass (m7 (lex location))))
  (p39 (subclass v33) (superclass (m3 (lex entity))))
  (p38 (class v34) (member v31)) (p37 (class v33) (member v29))
  (p36 (act (p35 (action v30) (to v31))) (agent v29)))
 (cq (p41 (cd_cat (m24 (lex PTRANS(3)))) (class v30))))

(m52!)

 CPU time : 0.00 

* 
(m53! (forall v42 v41 v40 v39 v38 v37 v36)
 (&ant (p48 (subclass v42) (superclass (m5 (lex physical object))))
  (p47 (subclass v40) (superclass (m3 (lex entity))))
  (p46 (class v42) (member v39)) (p45 (class v40) (member v38))
  (p44 (class v40) (member v36))
  (p43 (act (p42 (action v37) (indobj v39) (object v38))) (agent v36)))
 (cq (p49 (cd_cat (m26 (lex PTRANS(4)))) (class v37))))

(m53!)

 CPU time : 0.01 

* 
(m54! (forall v49 v48 v47 v46 v45 v44 v43)
 (&ant (p57 (subclass v49) (superclass (m5 (lex physical object))))
  (p56 (subclass v48) (superclass (m3 (lex entity))))
  (p55 (subclass v47) (superclass (m3))) (p54 (class v49) (member v46))
  (p53 (class v48) (member v45)) (p52 (class v47) (member v43))
  (p51 (act (p50 (action v44) (indobj v46) (object v45))) (agent v43)))
 (cq (p58 (cd_cat (m26 (lex PTRANS(4)))) (class v44))))

(m54!)

 CPU time : 0.01 

* 
(m55! (forall v56 v55 v54 v53 v52 v51 v50)
 (&ant (p66 (subclass v56) (superclass (m9 (lex abstraction))))
  (p65 (subclass v55) (superclass (m3 (lex entity))))
  (p64 (subclass v54) (superclass (m3))) (p63 (class v56) (member v53))
  (p62 (class v55) (member v52)) (p61 (class v54) (member v50))
  (p60 (act (p59 (action v51) (indobj v53) (object v52))) (agent v50)))
 (cq (p67 (cd_cat (m28 (lex MTRANS(1a)))) (class v51))))

(m55!)

 CPU time : 0.03 

* 
(m56! (forall v63 v62 v61 v60 v59 v58 v57)
 (&ant (p74 (subclass v63) (superclass (m9 (lex abstraction))))
  (p73 (subclass v61) (superclass (m3 (lex entity))))
  (p72 (class v63) (member v60)) (p71 (class v61) (member v59))
  (p70 (class v61) (member v57))
  (p69 (act (p68 (action v58) (indobj v60) (object v59))) (agent v57)))
 (cq (p75 (cd_cat (m30 (lex MTRANS(1b)))) (class v58))))

(m56!)

 CPU time : 0.00 

* 
(m57! (forall v70 v69 v68 v67 v66 v65 v64)
 (&ant (p82 (subclass v69) (superclass (m3 (lex entity))))
  (p81 (class v69) (member v68)) (p80 (class v69) (member v64))
  (p79
   (act (p78 (action v65)
         (indobj (p77 (act (p76 (action v67))) (agent v66)))
         (object v68)))
   (agent v64)))
 (cq (p83 (cd_cat (m32 (lex MTRANS(2)))) (class v65))))

(m57!)

 CPU time : 0.00 

* 
(m58! (forall v77 v76 v75 v74 v73 v72 v71)
 (&ant (p90 (subclass v76) (superclass (m9 (lex abstraction))))
  (p89 (subclass v75) (superclass (m3 (lex entity))))
  (p88 (class v75) (member v74)) (p87 (class v76) (member v73))
  (p86 (class v75) (member v71))
  (p85 (act (p84 (action v72) (object v73) (to v74))) (agent v71)))
 (cq (p91 (cd_cat (m34 (lex ATRANS(1a)))) (class v72))))

(m58!)

 CPU time : 0.01 

* 
(m59! (forall v84 v83 v82 v81 v80 v79 v78)
 (&ant (p99 (subclass v84) (superclass (m3 (lex entity))))
  (p98 (subclass v83) (superclass (m9 (lex abstraction))))
  (p97 (subclass v82) (superclass (m3))) (p96 (class v84) (member v81))
  (p95 (class v83) (member v80)) (p94 (class v82) (member v78))
  (p93 (act (p92 (action v79) (object v80) (to v81))) (agent v78)))
 (cq (p100 (cd_cat (m36 (lex ATRANS(1b)))) (class v79))))

(m59!)

 CPU time : 0.00 

* 
(m60! (forall v91 v90 v89 v88 v87 v86 v85)
 (&ant
  (p106 (subclass v90) (superclass (m11 (lex external body part))))
  (p105 (subclass v89) (superclass (m3 (lex entity))))
  (p104 (class v90) (member v87)) (p103 (class v89) (member v85))
  (p102 (act (p101 (action v86) (object v87))) (agent v85)))
 (cq (p107 (cd_cat (m38 (lex MOVE))) (class v86))))

(m60!)

 CPU time : 0.00 

* 
(m61! (forall v98 v97 v96 v95 v94 v93 v92)
 (&ant (p113 (subclass v97) (superclass (m9 (lex abstraction))))
  (p112 (subclass v96) (superclass (m3 (lex entity))))
  (p111 (class v97) (member v94)) (p110 (class v96) (member v92))
  (p109 (act (p108 (action v93) (object v94))) (agent v92)))
 (cq (p114 (cd_cat (m40 (lex MBUILD))) (class v93))))

(m61!)

 CPU time : 0.01 

* 
(m62! (forall v105 v104 v103 v102 v101 v100 v99)
 (&ant
  (p120 (subclass v104) (superclass (m13 (lex consumable substance))))
  (p119 (subclass v103) (superclass (m3 (lex entity))))
  (p118 (class v104) (member v101)) (p117 (class v103) (member v99))
  (p116 (act (p115 (action v100) (object v101))) (agent v99)))
 (cq (p121 (cd_cat (m42 (lex INGEST))) (class v100))))

(m62!)

 CPU time : 0.00 

* 
(m63! (forall v112 v111 v110 v109 v108 v107 v106)
 (&ant
  (p129 (subclass v112) (superclass (m11 (lex external body part))))
  (p128 (subclass v111) (superclass (m5 (lex physical object))))
  (p127 (subclass v110) (superclass (m3 (lex entity))))
  (p126 (class v112) (member v109)) (p125 (class v111) (member v108))
  (p124 (class v110) (member v106))
  (p123 (act (p122 (action v107) (instrument v109) (object v108)))
   (agent v106)))
 (cq (p130 (cd_cat (m44 (lex GRASP))) (class v107))))

(m63!)

 CPU time : 0.01 

* 
(m64! (forall v119 v118 v117 v116 v115 v114 v113)
 (&ant (p137 (subclass v118) (superclass (m5 (lex physical object))))
  (p136 (subclass v117) (superclass (m3 (lex entity))))
  (p135 (class v119) (member v116)) (p134 (class v118) (member v115))
  (p133 (class v117) (member v113))
  (p132 (act (p131 (action v114) (onto v115))) (agent v113)))
 (cq (p138 (cd_cat (m46 (lex PROPEL))) (class v114))))

(m64!)

 CPU time : 0.01 

* 

End of file knowledge


 CPU time : 0.19 

* 
;;----------------------------------------------------------------

;;----------------------------------------------------------------







;; Examples in this demo:



; 1. PTRANS1: gave

; 2. PTRANS2: drove

; 3. PTRANS3: went

; 4. MTRANS1: showed

; 5. MTRANS2: told

; 6. PTRANS4: sent

; 7. ATRANS: spent

; 8. MOVE: waved

; 9. MBUILD: thought

; 10. INGEST: ate

; 11. GRASP: took

; 12. PROPEL: pushed





()



 CPU time : 0.00 

* 




;; Top level knowledge



(describe (add 

        subclass (build lex "person") = person 

        superclass *entity))

(m66! (subclass (m65 (lex person))) (superclass (m3 (lex entity))))

(m66!)

 CPU time : 7.64 

* 
(describe (add 

        subclass (build lex "book") = book 

        superclass *physical_object))

(m68! (subclass (m67 (lex book)))
 (superclass (m5 (lex physical object))))

(m68!)

 CPU time : 0.34 

* 
(describe (add 

        subclass (build lex "street") = street 

        superclass *location))

(m70! (subclass (m69 (lex street))) (superclass (m7 (lex location))))

(m70!)

 CPU time : 0.32 

* 
(describe (add 

        subclass (build lex "office") = office 

        superclass *location))

(m72! (subclass (m71 (lex office))) (superclass (m7 (lex location))))

(m72!)

 CPU time : 0.34 

* 
(describe (add 

        subclass (build lex "information") = information 

        superclass *abstraction))

(m74! (subclass (m73 (lex information)))
 (superclass (m9 (lex abstraction))))

(m74!)

 CPU time : 0.34 

* 
(describe (add 

        subclass (build lex "package") = package 

        superclass *physical_object))

(m76! (subclass (m75 (lex package)))
 (superclass (m5 (lex physical object))))

(m76!)

 CPU time : 0.36 

* 
(describe (add 

        subclass (build lex "business") = business 

        superclass *entity))

(m78! (subclass (m77 (lex business))) (superclass (m3 (lex entity))))

(m78!)

 CPU time : 3.52 

* 
(describe (add 

        subclass (build lex "capital") = capital 

        superclass *abstraction))

(m80! (subclass (m79 (lex capital)))
 (superclass (m9 (lex abstraction))))

(m80!)

 CPU time : 0.41 

* 
(describe (add 

        subclass (build lex "idea") = idea 

        superclass *abstraction))

(m82! (subclass (m81 (lex idea))) (superclass (m9 (lex abstraction))))

(m82!)

 CPU time : 0.43 

* 
(describe (add 

        subclass (build lex "fruit") = fruit 

        superclass *consumable_substance))

(m84! (subclass (m83 (lex fruit)))
 (superclass (m13 (lex consumable substance))))

(m84!)

 CPU time : 0.43 

* 
(describe (add 

        subclass (build lex "cup") = cup 

        superclass *physical_object))

(m86! (subclass (m85 (lex cup)))
 (superclass (m5 (lex physical object))))

(m86!)

 CPU time : 0.47 

* 
(describe (add 

        subclass (build lex "hand") = hand 

        superclass *external_body_part))

(m88! (subclass (m87 (lex hand)))
 (superclass (m11 (lex external body part))))

(m88!)

 CPU time : 0.43 

* 
(describe (add 

        subclass (build lex "lift") = lift 

        superclass *physical_object))

(m90! (subclass (m89 (lex lift)))
 (superclass (m5 (lex physical object))))

(m90!)

 CPU time : 0.48 

* 
(describe (add 

        subclass (build lex "box") = box 

        superclass *physical_object))

(m92! (subclass (m91 (lex box)))
 (superclass (m5 (lex physical object))))

(m92!)

 CPU time : 0.48 

* 


;; Example 1 background knowledge



(describe (add 

        object #Chris 

        proper-name (build lex "Chris")))

(m94! (object b1) (proper-name (m93 (lex Chris))))

(m94!)

 CPU time : 0.46 

* 
(describe (add 

        member Chris 

        class *person))

(m95! (class (m65 (lex person))) (member Chris))

(m95!)

 CPU time : 5.10 

* 


(describe (add 

        member the_book 

        class *book))

(m100! (class (m67 (lex book))) (member the_book))

(m100!)

 CPU time : 1.75 

* 


(describe (add 

        object #John 

        proper-name (build lex "John")))

(m102! (object b2) (proper-name (m101 (lex John))))

(m102!)

 CPU time : 0.51 

* 
(describe (add 

        member John 

        class *person))

(m103! (class (m65 (lex person))) (member John))

(m103!)

 CPU time : 4.92 

* 




;; Example 2 background knowledge





(describe (add 

        member main_street 

        class *street))

(m104! (class (m69 (lex street))) (member main_street))

(m104!)

 CPU time : 1.85 

* 
(describe (add 

        member maple_str 

        class *street))

(m105! (class (m69 (lex street))) (member maple_str))

(m105!)

 CPU time : 1.89 

* 




;; Example 3 background knowledge



(describe (add 

        member the_office 

        class *office))

(m106! (class (m71 (lex office))) (member the_office))

(m106!)

 CPU time : 1.88 

* 




;; Example 4 background knowledge



(describe (add 

        member the_story 

        class *information))

(m107! (class (m73 (lex information))) (member the_story))

(m107!)

 CPU time : 1.84 

* 




;; Example 5 background knowledge



(describe (add 

        object #Mary 

        proper-name (build lex "Mary")))

(m109! (object b3) (proper-name (m108 (lex Mary))))

(m109!)

 CPU time : 0.59 

* 
(describe (add 

        member Mary 

        class *person))

(m110! (class (m65 (lex person))) (member Mary))

(m110!)

 CPU time : 5.35 

* 


(describe (add 

        object #Bill 

        proper-name (build lex "Bill")))

(m112! (object b4) (proper-name (m111 (lex Bill))))

(m112!)

 CPU time : 0.59 

* 
(describe (add 

        member Bill 

        class *person))

(m113! (class (m65 (lex person))) (member Bill))

(m113!)

 CPU time : 5.51 

* 




;; Example 6 background knowledge



(describe (add 

        member the_package 

        class *package))

(m114! (class (m75 (lex package))) (member the_package))

(m114!)

 CPU time : 1.90 

* 




;; Example 7 background knowledge



(describe (add 

        member the_business 

        class *business))

8391600 bytes have been tenured, next gc will be global.
See the documentation for variable excl:*global-gc-behavior* for more information.

(m115! (class (m77 (lex business))) (member the_business))

(m115!)

 CPU time : 4.93 

* 
(describe (add 

        member stock 

        class *capital))

(m116! (class (m79 (lex capital))) (member stock))

(m116!)

 CPU time : 2.07 

* 
(describe (add 

        member shareholders 

        class *person))

(m117! (class (m65 (lex person))) (member shareholders))

(m117!)

 CPU time : 6.02 

* 




;; Example 8 background knowledge



(describe (add 

        member his_hands 

        class *hand))

(m118! (class (m87 (lex hand))) (member his_hands))

(m118!)

 CPU time : 2.08 

* 




;; Example 9 background knowledge



(describe (add 

        member plan 

        class *idea))

(m119! (class (m81 (lex idea))) (member plan))

(m119!)

 CPU time : 2.10 

* 




;; Example 10 background knowledge



(describe (add 

        member pomegranate 

        class *fruit))

(m120! (class (m83 (lex fruit))) (member pomegranate))

(m120!)

 CPU time : 2.11 

* 




;; Example 11 background knowledge





(describe (add 

        member the_cup 

        class *cup))

(m121! (class (m85 (lex cup))) (member the_cup))

(m121!)

 CPU time : 2.12 

* 


;; Example 12 background knowledge



(describe (add 

        member the_lift

        class *lift))

(m122! (class (m89 (lex lift))) (member the_lift))

(m122!)

 CPU time : 2.16 

* 


(describe (add 

        member the_box

        class *box))

(m123! (class (m91 (lex box))) (member the_box))

(m123!)

 CPU time : 2.14 

* 


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;











;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 1

;;; PTRANS1

;;; agent "entity"

;;; object "physical object"

;;; to "location"

;;; 

;;; "Chris gave the book to john





(describe (add agent Chris

                act (build action (build lex "gave") = gave

                        object the_book

                        to John)))

(m133! (cd_cat (m16 (lex PTRANS(1a)))) (class (m124 (lex gave))))
(m132! (act (m131 (action (m124)) (object the_book))) (agent Chris))
(m130! (act (m129 (action (m124)))) (agent Chris))
(m128! (act (m127 (action (m124)) (to John))) (agent Chris))
(m126! (act (m125 (action (m124)) (object the_book) (to John)))
 (agent Chris))

(m133! m132! m130! m128! m126!)

 CPU time : 1.57 

* 




^(
--> defineVerb 'gave)

 verb: 
       lex:  gave;
       CD-CAT: (PTRANS(1a)) 
       transitivity: (transitive) 
nil



 CPU time : 0.11 

* 


()



 CPU time : 0.00 

* 














;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 2

;;; PTRANS2

;;; 

;;; agent "entity"

;;; from "location"

;;; to "location"

;;;

;;; "Chris drove from main street to maple"





(describe (add agent Chris

                act     (build action (build lex "drove") = drove

                        from main_street

                        to maple_str))) 
(m142! (cd_cat (m24 (lex PTRANS(3)))) (class (m134 (lex drove))))
(m141! (cd_cat (m22 (lex PTRANS(2b)))) (class (m134)))
(m140! (act (m139 (action (m134)))) (agent Chris))
(m138! (act (m137 (action (m134)) (to maple_str))) (agent Chris))
(m136! (act (m135 (action (m134)) (from main_street) (to maple_str)))
 (agent Chris))

(m142! m141! m140! m138! m136!)

 CPU time : 2.37 

* 



^(
--> defineVerb 'drove)

 verb: 
       lex:  drove;
       CD-CAT: (PTRANS(3) PTRANS(2b)) 
       similar action: (gave) 
       transitivity: (intransitive) 
nil



 CPU time : 0.11 

* 


()



 CPU time : 0.00 

* 












;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 3

;;; PTRANS3

;;; 

;;; agent "entity"

;;; to "location"

;;;

;;; "Chris went to the office"



(describe (add agent Chris

                act     (build action (build lex "went") = went

                        to the_office)))

(m148! (cd_cat (m24 (lex PTRANS(3)))) (class (m143 (lex went))))
(m147! (act (m146 (action (m143)))) (agent Chris))
(m145! (act (m144 (action (m143)) (to the_office))) (agent Chris))

(m148! m147! m145!)

 CPU time : 1.56 

* 




^(
--> defineVerb 'went)

 verb: 
       lex:  went;
       CD-CAT: (PTRANS(3)) 
       similar action: (drove) 
       transitivity: (intransitive) 
nil



 CPU time : 0.09 

* 


()



 CPU time : 0.00 

* 












;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 4

;;; MTRANS1

;;; 

;;; agent "entity"

;;; object "entity"

;;; indobj "abstraction"

;;;

;;; "Chris showed John the story" 



(describe (add agent Chris

                act     (build action (build lex "showed") = showed

                        object John

                        indobj the_story)))     
(m156! (cd_cat (m30 (lex MTRANS(1b)))) (class (m149 (lex showed))))
(m155! (act (m154 (action (m149)) (object John))) (agent Chris))
(m153! (act (m152 (action (m149)))) (agent Chris))
(m151! (act (m150 (action (m149)) (indobj the_story) (object John)))
 (agent Chris))

(m156! m155! m153! m151!)

 CPU time : 1.65 

* 



^(
--> defineVerb 'showed)

 verb: 
       lex:  showed;
       CD-CAT: (MTRANS(1b)) 
       similar action: (drove went gave) 
       transitivity: (ditransitive) 
nil



 CPU time : 0.09 

* 


()



 CPU time : 0.00 

* 


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 5

;;; MTRANS2

;;; 

;;; agent "entity"

;;; object (act)

;;; to "entity"

;;;

;;; "Chris told John that Mary saw Bill" 







(describe (add agent Chris

                act     (build action (build lex "told") = told

                        object John

                        indobj (build agent Mary act 

                                     (build action (build lex "saw") = saw 

                                              object Bill)))))  
(m171! (cd_cat (m32 (lex MTRANS(2)))) (class (m157 (lex told))))
(m170! (act (m169 (action (m157)) (object John))) (agent Chris))
(m168!
 (act (m167 (action (m157))
       (indobj
        (m166 (act (m165 (action (m158 (lex saw))))) (agent Mary)))
       (object John)))
 (agent Chris))
(m164! (act (m163 (action (m157)))) (agent Chris))
(m162!
 (act (m161 (action (m157))
       (indobj
        (m160 (act (m159 (action (m158)) (object Bill))) (agent Mary)))
       (object John)))
 (agent Chris))

(m171! m170! m168! m164! m162!)

 CPU time : 1.67 

* 







^(
--> defineVerb 'told)

 verb: 
       lex:  told;
       CD-CAT: (MTRANS(2)) 
       similar action: (showed) 
       transitivity: (ditransitive) 
nil



 CPU time : 0.08 

* 


()



 CPU time : 0.00 

* 




;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 6

;;; PTRANS4

;;; 

;;; agent "entity"

;;; object "entity"

;;; indobj "physical object"

;;;

;;; "Chris sent John the package" 





(describe (add agent Chris

                act     (build action (build lex "sent") = sent

                        object John

                        indobj the_package)))   
(m179! (cd_cat (m26 (lex PTRANS(4)))) (class (m172 (lex sent))))
(m178! (act (m177 (action (m172)) (object John))) (agent Chris))
(m176! (act (m175 (action (m172)))) (agent Chris))
(m174! (act (m173 (action (m172)) (indobj the_package) (object John)))
 (agent Chris))

(m179! m178! m176! m174!)

 CPU time : 1.70 

* 



^(
--> defineVerb 'sent)

 verb: 
       lex:  sent;
       CD-CAT: (PTRANS(4)) 
       similar action: (showed told) 
       transitivity: (ditransitive) 
nil



 CPU time : 0.09 

* 


()



 CPU time : 0.00 

* 






;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 7

;;; ATRANS

;;; 

;;; agent "entity"

;;; object "abstraction"

;;; to "entity"



;;; "the business offered stock to its shareholders"





(describe (add agent the_business

                act     (build action (build lex "offered") = offered

                        object stock

                        to shareholders)))

(m190! (cd_cat (m40 (lex MBUILD))) (class (m180 (lex offered))))
(m189! (cd_cat (m36 (lex ATRANS(1b)))) (class (m180)))
(m188! (act (m187 (action (m180)) (object stock))) (agent the_business))
(m186! (act (m185 (action (m180)))) (agent the_business))
(m184! (act (m183 (action (m180)) (to shareholders)))
 (agent the_business))
(m182! (act (m181 (action (m180)) (object stock) (to shareholders)))
 (agent the_business))

(m190! m189! m188! m186! m184! m182!)

 CPU time : 2.53 

* 


^(
--> defineVerb 'offered)

 verb: 
       lex:  offered;
       CD-CAT: (MBUILD ATRANS(1b)) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 


()



 CPU time : 0.00 

* 






;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 8

;;; MOVE1 

;;; agent "entity"

;;; object "external body part" 

;;;

;;; Bill waved his hands





(describe (add agent Bill

                act     (build action (build lex "waved") = waved

                        object his_hands)))

(m196! (cd_cat (m38 (lex MOVE))) (class (m191 (lex waved))))
(m195! (act (m194 (action (m191)))) (agent Bill))
(m193! (act (m192 (action (m191)) (object his_hands))) (agent Bill))

(m196! m195! m193!)

 CPU time : 1.67 

* 


^(
--> defineVerb 'waved)

 verb: 
       lex:  waved;
       CD-CAT: (MOVE) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 








;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 9

;;; MBUILD

;;; 

;;; agent "entity"

;;; object "abstraction"

;;;

;;; "I thought of a plan"





(describe (add agent Chris

                act     (build action (build lex "thought") = thought

                        object plan)))

(m202! (cd_cat (m40 (lex MBUILD))) (class (m197 (lex thought))))
(m201! (act (m200 (action (m197)))) (agent Chris))
(m199! (act (m198 (action (m197)) (object plan))) (agent Chris))

(m202! m201! m199!)

 CPU time : 1.72 

* 


^(
--> defineVerb 'thought)

 verb: 
       lex:  thought;
       CD-CAT: (MBUILD) 
       similar action: (offered) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 


()



 CPU time : 0.00 

* 










;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 10

;;; INGEST

;;; agent "entity"

;;; object "consumable substance"

;;;

;;; "Chris ate a pomegranate."



(describe (add agent Chris

                act     (build action (build lex "ate") = ate

                        object pomegranate)))

(m208! (cd_cat (m42 (lex INGEST))) (class (m203 (lex ate))))
(m207! (act (m206 (action (m203)))) (agent Chris))
(m205! (act (m204 (action (m203)) (object pomegranate))) (agent Chris))

(m208! m207! m205!)

 CPU time : 1.72 

* 




^(
--> defineVerb 'ate)

 verb: 
       lex:  ate;
       CD-CAT: (INGEST) 
       similar action: (sent thought drove went showed told gave) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 
()



 CPU time : 0.00 

* 






;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 11

;;; GRASP

;;; 

;;; agent "entity"

;;; object "physical object"

;;; instrument "external body part"



;;; "Chris took the cup in his hands"







(describe (add agent Chris

                act     (build action (build lex "took") = took

                        object the_cup

                        instrument his_hands)))

(m216! (cd_cat (m44 (lex GRASP))) (class (m209 (lex took))))
(m215! (act (m214 (action (m209)) (object the_cup))) (agent Chris))
(m213! (act (m212 (action (m209)))) (agent Chris))
(m211!
 (act (m210 (action (m209)) (instrument his_hands) (object the_cup)))
 (agent Chris))

(m216! m215! m213! m211!)

 CPU time : 1.75 

* 
        

^(
--> defineVerb 'took)

 verb: 
       lex:  took;
       CD-CAT: (GRASP) 
       similar action: (thought ate went showed told sent gave drove) 
       transitivity: (transitive) 
nil



 CPU time : 0.09 

* 


()



 CPU time : 0.00 

* 










;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 12

;;; PROPEL

;;; agent "entity"

;;; onto "physical object" 

;;;

;;; "John pushed the box onto the lift"



(describe (add agent John

                act     (build action (build lex "pushed") = pushed

                        object the_box

                        onto the_lift)))

(m226! (cd_cat (m46 (lex PROPEL))) (class (m217 (lex pushed))))
(m225! (act (m224 (action (m217)) (onto the_lift))) (agent John))
(m223! (act (m222 (action (m217)) (object the_box))) (agent John))
(m221! (act (m220 (action (m217)))) (agent John))
(m219! (act (m218 (action (m217)) (object the_box) (onto the_lift)))
 (agent John))

(m226! m225! m223! m221! m219!)

 CPU time : 12.35 

* 




^(
--> defineVerb 'pushed)
 verb: 
       lex:  pushed;
       CD-CAT: (PROPEL) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 

End of /home/nsigrad/clbecker/CVA/DEMOS/cd-test.demo demonstration.


 CPU time : 109.58 

* ^D
SNePS ERROR: Invalid top SNePSUL form: :eof
Occurred in module top-evaluator in function top-sneval

Do you want to debug it? ^D
Error: eof encountered on stream
       #<excl:terminal-simple-stream [initial terminal io] fd 0/1 @
         #x411168a>
  [condition type: end-of-file]

Restart actions (select using :continue):
 0: Return to Top Level (an "abort" restart).
 1: Abort entirely from this (lisp) process.

[changing package from "common-lisp-user" to "snepsul"]
[1] snepsul(3): ^D:pop

[changing package from "snepsul" to "common-lisp-user"]
cl-user(3): ^DEOF
Really exit lisp [n]? yt 
; Exiting
pollux {11:32:51} > ^Dexit

script done on Fri May 13 11:32:52 2005
sul" to "common-lisp-user"]
cl-user(3): ^DEOF
Really exit lisp [n]? y
; Exiting
pollux {11:29:59} > script

Script started, file is typescript
.alias: No such file or directory.
pollux {11:30:05} > ^Dexit
Script done, file is typescript
pollux {11:30:09} > less typescript 

[?1h=Script started on Fri May 13 11:30:05 2005
.alias: No such file or directory.
pollux {11:30:05} > exit

script done on Fri May 13 11:30:09 2005
typescript (END) [?1l>pollux {11:30:14} > less typescriptscript

Script started, file is typescript
.alias: No such file or directory.
pollux {11:30:16} > acl

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:30:31

* (demo ' "cd-test.demo")
; Fast loading from bundle code/streama.fasl.

File /home/nsigrad/clbecker/CVA/DEMOS/cd-test.demo is now the source of input.


 CPU time : 0.04 

* ; =======================================================================

; FILENAME:     cd-test.demo

; DATE:         4/4/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 "cd-test.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.08 

* 




; Clear the SNePS network:

(resetnet t)


Net reset


 CPU time : 0.00 

* 




;turn on full forward inferencing:

^(
--> setq snip:*infertrace* nil)

nil



 CPU time : 0.00 

* 


; ;enter the "snip" package:

^(
--> in-package snip)

#<The snip package>



 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)

#<The sneps package>



 CPU time : 0.00 

* 




; load all pre-defined relations:

(intext "rels")

File rels is now the source of input.


 CPU time : 0.00 

* 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.07 

* 

End of file rels


 CPU time : 0.07 

* 


; load all pre-defined path definitions:

(intext "paths")

File paths is now the source of input.


 CPU time : 0.01 

* 
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.01 

* 




(intext "knowledge")

File knowledge is now the source of input.


 CPU time : 0.00 

* 

(m4!)

 CPU time : 0.00 

* 

(m6!)

 CPU time : 0.00 

* 

(m8!)

 CPU time : 0.00 

* 

(m10!)

 CPU time : 0.00 

* 

(m12!)

 CPU time : 0.00 

* 

(m14!)

 CPU time : 0.00 

* 

(m6!)

 CPU time : 0.00 

* 

(m17!)

 CPU time : 0.00 

* 

(m19!)

 CPU time : 0.00 

* 

(m21!)

 CPU time : 0.00 

* 

(m23!)

 CPU time : 0.01 

* 

(m25!)

 CPU time : 0.00 

* 

(m27!)

 CPU time : 0.00 

* 

(m29!)

 CPU time : 0.00 

* 

(m31!)

 CPU time : 0.00 

* 

(m33!)

 CPU time : 0.01 

* 

(m35!)

 CPU time : 0.00 

* 

(m37!)

 CPU time : 0.00 

* 

(m39!)

 CPU time : 0.00 

* 

(m41!)

 CPU time : 0.00 

* 

(m43!)

 CPU time : 0.00 

* 

(m45!)

 CPU time : 0.01 

* 

(m47!)

 CPU time : 0.00 

* 
(m48! (forall v7 v6 v5 v4 v3 v2 v1)
 (&ant (p7 (subclass v6) (superclass (m5 (lex physical object))))
  (p6 (subclass v5) (superclass (m3 (lex entity))))
  (p5 (class v5) (member v4)) (p4 (class v6) (member v3))
  (p3 (class v5) (member v1))
  (p2 (act (p1 (action v2) (object v3) (to v4))) (agent v1)))
 (cq (p8 (cd_cat (m16 (lex PTRANS(1a)))) (class v2))))

(m48!)

 CPU time : 0.00 

* 
(m49! (forall v14 v13 v12 v11 v10 v9 v8)
 (&ant (p16 (subclass v14) (superclass (m3 (lex entity))))
  (p15 (subclass v13) (superclass (m5 (lex physical object))))
  (p14 (subclass v12) (superclass (m3))) (p13 (class v14) (member v11))
  (p12 (class v13) (member v10)) (p11 (class v12) (member v8))
  (p10 (act (p9 (action v9) (object v10) (to v11))) (agent v8)))
 (cq (p17 (cd_cat (m18 (lex PTRANS(1b)))) (class v9))))

(m49!)

 CPU time : 0.00 

* 
(m50! (forall v21 v20 v19 v18 v17 v16 v15)
 (&ant (p25 (subclass v21) (superclass (m7 (lex location))))
  (p24 (subclass v20) (superclass (m7)))
  (p23 (subclass v19) (superclass (m3 (lex entity))))
  (p22 (class v21) (member v18)) (p21 (class v20) (member v17))
  (p20 (class v19) (member v15))
  (p19 (act (p18 (action v16) (from v17) (to v18))) (agent v15)))
 (cq (p26 (cd_cat (m20 (lex PTRANS(2a)))) (class v16))))

(m50!)

 CPU time : 0.01 

* 
(m51! (forall v28 v27 v26 v25 v24 v23 v22)
 (&ant (p33 (subclass v27) (superclass (m7 (lex location))))
  (p32 (subclass v26) (superclass (m3 (lex entity))))
  (p31 (class v27) (member v25)) (p30 (class v27) (member v24))
  (p29 (class v26) (member v22))
  (p28 (act (p27 (action v23) (from v24) (to v25))) (agent v22)))
 (cq (p34 (cd_cat (m22 (lex PTRANS(2b)))) (class v23))))

(m51!)

 CPU time : 0.01 

* 
(m52! (forall v35 v34 v33 v32 v31 v30 v29)
 (&ant (p40 (subclass v34) (superclass (m7 (lex location))))
  (p39 (subclass v33) (superclass (m3 (lex entity))))
  (p38 (class v34) (member v31)) (p37 (class v33) (member v29))
  (p36 (act (p35 (action v30) (to v31))) (agent v29)))
 (cq (p41 (cd_cat (m24 (lex PTRANS(3)))) (class v30))))

(m52!)

 CPU time : 0.00 

* 
(m53! (forall v42 v41 v40 v39 v38 v37 v36)
 (&ant (p48 (subclass v42) (superclass (m5 (lex physical object))))
  (p47 (subclass v40) (superclass (m3 (lex entity))))
  (p46 (class v42) (member v39)) (p45 (class v40) (member v38))
  (p44 (class v40) (member v36))
  (p43 (act (p42 (action v37) (indobj v39) (object v38))) (agent v36)))
 (cq (p49 (cd_cat (m26 (lex PTRANS(4)))) (class v37))))

(m53!)

 CPU time : 0.01 

* 
(m54! (forall v49 v48 v47 v46 v45 v44 v43)
 (&ant (p57 (subclass v49) (superclass (m5 (lex physical object))))
  (p56 (subclass v48) (superclass (m3 (lex entity))))
  (p55 (subclass v47) (superclass (m3))) (p54 (class v49) (member v46))
  (p53 (class v48) (member v45)) (p52 (class v47) (member v43))
  (p51 (act (p50 (action v44) (indobj v46) (object v45))) (agent v43)))
 (cq (p58 (cd_cat (m26 (lex PTRANS(4)))) (class v44))))

(m54!)

 CPU time : 0.01 

* 
(m55! (forall v56 v55 v54 v53 v52 v51 v50)
 (&ant (p66 (subclass v56) (superclass (m9 (lex abstraction))))
  (p65 (subclass v55) (superclass (m3 (lex entity))))
  (p64 (subclass v54) (superclass (m3))) (p63 (class v56) (member v53))
  (p62 (class v55) (member v52)) (p61 (class v54) (member v50))
  (p60 (act (p59 (action v51) (indobj v53) (object v52))) (agent v50)))
 (cq (p67 (cd_cat (m28 (lex MTRANS(1a)))) (class v51))))

(m55!)

 CPU time : 0.03 

* 
(m56! (forall v63 v62 v61 v60 v59 v58 v57)
 (&ant (p74 (subclass v63) (superclass (m9 (lex abstraction))))
  (p73 (subclass v61) (superclass (m3 (lex entity))))
  (p72 (class v63) (member v60)) (p71 (class v61) (member v59))
  (p70 (class v61) (member v57))
  (p69 (act (p68 (action v58) (indobj v60) (object v59))) (agent v57)))
 (cq (p75 (cd_cat (m30 (lex MTRANS(1b)))) (class v58))))

(m56!)

 CPU time : 0.00 

* 
(m57! (forall v70 v69 v68 v67 v66 v65 v64)
 (&ant (p82 (subclass v69) (superclass (m3 (lex entity))))
  (p81 (class v69) (member v68)) (p80 (class v69) (member v64))
  (p79
   (act (p78 (action v65)
         (indobj (p77 (act (p76 (action v67))) (agent v66)))
         (object v68)))
   (agent v64)))
 (cq (p83 (cd_cat (m32 (lex MTRANS(2)))) (class v65))))

(m57!)

 CPU time : 0.00 

* 
(m58! (forall v77 v76 v75 v74 v73 v72 v71)
 (&ant (p90 (subclass v76) (superclass (m9 (lex abstraction))))
  (p89 (subclass v75) (superclass (m3 (lex entity))))
  (p88 (class v75) (member v74)) (p87 (class v76) (member v73))
  (p86 (class v75) (member v71))
  (p85 (act (p84 (action v72) (object v73) (to v74))) (agent v71)))
 (cq (p91 (cd_cat (m34 (lex ATRANS(1a)))) (class v72))))

(m58!)

 CPU time : 0.01 

* 
(m59! (forall v84 v83 v82 v81 v80 v79 v78)
 (&ant (p99 (subclass v84) (superclass (m3 (lex entity))))
  (p98 (subclass v83) (superclass (m9 (lex abstraction))))
  (p97 (subclass v82) (superclass (m3))) (p96 (class v84) (member v81))
  (p95 (class v83) (member v80)) (p94 (class v82) (member v78))
  (p93 (act (p92 (action v79) (object v80) (to v81))) (agent v78)))
 (cq (p100 (cd_cat (m36 (lex ATRANS(1b)))) (class v79))))

(m59!)

 CPU time : 0.00 

* 
(m60! (forall v91 v90 v89 v88 v87 v86 v85)
 (&ant
  (p106 (subclass v90) (superclass (m11 (lex external body part))))
  (p105 (subclass v89) (superclass (m3 (lex entity))))
  (p104 (class v90) (member v87)) (p103 (class v89) (member v85))
  (p102 (act (p101 (action v86) (object v87))) (agent v85)))
 (cq (p107 (cd_cat (m38 (lex MOVE))) (class v86))))

(m60!)

 CPU time : 0.00 

* 
(m61! (forall v98 v97 v96 v95 v94 v93 v92)
 (&ant (p113 (subclass v97) (superclass (m9 (lex abstraction))))
  (p112 (subclass v96) (superclass (m3 (lex entity))))
  (p111 (class v97) (member v94)) (p110 (class v96) (member v92))
  (p109 (act (p108 (action v93) (object v94))) (agent v92)))
 (cq (p114 (cd_cat (m40 (lex MBUILD))) (class v93))))

(m61!)

 CPU time : 0.01 

* 
(m62! (forall v105 v104 v103 v102 v101 v100 v99)
 (&ant
  (p120 (subclass v104) (superclass (m13 (lex consumable substance))))
  (p119 (subclass v103) (superclass (m3 (lex entity))))
  (p118 (class v104) (member v101)) (p117 (class v103) (member v99))
  (p116 (act (p115 (action v100) (object v101))) (agent v99)))
 (cq (p121 (cd_cat (m42 (lex INGEST))) (class v100))))

(m62!)

 CPU time : 0.00 

* 
(m63! (forall v112 v111 v110 v109 v108 v107 v106)
 (&ant
  (p129 (subclass v112) (superclass (m11 (lex external body part))))
  (p128 (subclass v111) (superclass (m5 (lex physical object))))
  (p127 (subclass v110) (superclass (m3 (lex entity))))
  (p126 (class v112) (member v109)) (p125 (class v111) (member v108))
  (p124 (class v110) (member v106))
  (p123 (act (p122 (action v107) (instrument v109) (object v108)))
   (agent v106)))
 (cq (p130 (cd_cat (m44 (lex GRASP))) (class v107))))

(m63!)

 CPU time : 0.01 

* 
(m64! (forall v119 v118 v117 v116 v115 v114 v113)
 (&ant (p137 (subclass v118) (superclass (m5 (lex physical object))))
  (p136 (subclass v117) (superclass (m3 (lex entity))))
  (p135 (class v119) (member v116)) (p134 (class v118) (member v115))
  (p133 (class v117) (member v113))
  (p132 (act (p131 (action v114) (onto v115))) (agent v113)))
 (cq (p138 (cd_cat (m46 (lex PROPEL))) (class v114))))

(m64!)

 CPU time : 0.01 

* 

End of file knowledge


 CPU time : 0.19 

* 
;;----------------------------------------------------------------

;;----------------------------------------------------------------







;; Examples in this demo:



; 1. PTRANS1: gave

; 2. PTRANS2: drove

; 3. PTRANS3: went

; 4. MTRANS1: showed

; 5. MTRANS2: told

; 6. PTRANS4: sent

; 7. ATRANS: spent

; 8. MOVE: waved

; 9. MBUILD: thought

; 10. INGEST: ate

; 11. GRASP: took

; 12. PROPEL: pushed





()



 CPU time : 0.00 

* 




;; Top level knowledge



(describe (add 

        subclass (build lex "person") = person 

        superclass *entity))

(m66! (subclass (m65 (lex person))) (superclass (m3 (lex entity))))

(m66!)

 CPU time : 7.64 

* 
(describe (add 

        subclass (build lex "book") = book 

        superclass *physical_object))

(m68! (subclass (m67 (lex book)))
 (superclass (m5 (lex physical object))))

(m68!)

 CPU time : 0.34 

* 
(describe (add 

        subclass (build lex "street") = street 

        superclass *location))

(m70! (subclass (m69 (lex street))) (superclass (m7 (lex location))))

(m70!)

 CPU time : 0.32 

* 
(describe (add 

        subclass (build lex "office") = office 

        superclass *location))

(m72! (subclass (m71 (lex office))) (superclass (m7 (lex location))))

(m72!)

 CPU time : 0.34 

* 
(describe (add 

        subclass (build lex "information") = information 

        superclass *abstraction))

(m74! (subclass (m73 (lex information)))
 (superclass (m9 (lex abstraction))))

(m74!)

 CPU time : 0.34 

* 
(describe (add 

        subclass (build lex "package") = package 

        superclass *physical_object))

(m76! (subclass (m75 (lex package)))
 (superclass (m5 (lex physical object))))

(m76!)

 CPU time : 0.36 

* 
(describe (add 

        subclass (build lex "business") = business 

        superclass *entity))

(m78! (subclass (m77 (lex business))) (superclass (m3 (lex entity))))

(m78!)

 CPU time : 3.52 

* 
(describe (add 

        subclass (build lex "capital") = capital 

        superclass *abstraction))

(m80! (subclass (m79 (lex capital)))
 (superclass (m9 (lex abstraction))))

(m80!)

 CPU time : 0.41 

* 
(describe (add 

        subclass (build lex "idea") = idea 

        superclass *abstraction))

(m82! (subclass (m81 (lex idea))) (superclass (m9 (lex abstraction))))

(m82!)

 CPU time : 0.43 

* 
(describe (add 

        subclass (build lex "fruit") = fruit 

        superclass *consumable_substance))

(m84! (subclass (m83 (lex fruit)))
 (superclass (m13 (lex consumable substance))))

(m84!)

 CPU time : 0.43 

* 
(describe (add 

        subclass (build lex "cup") = cup 

        superclass *physical_object))

(m86! (subclass (m85 (lex cup)))
 (superclass (m5 (lex physical object))))

(m86!)

 CPU time : 0.47 

* 
(describe (add 

        subclass (build lex "hand") = hand 

        superclass *external_body_part))

(m88! (subclass (m87 (lex hand)))
 (superclass (m11 (lex external body part))))

(m88!)

 CPU time : 0.43 

* 
(describe (add 

        subclass (build lex "lift") = lift 

        superclass *physical_object))

(m90! (subclass (m89 (lex lift)))
 (superclass (m5 (lex physical object))))

(m90!)

 CPU time : 0.48 

* 
(describe (add 

        subclass (build lex "box") = box 

        superclass *physical_object))

(m92! (subclass (m91 (lex box)))
 (superclass (m5 (lex physical object))))

(m92!)

 CPU time : 0.48 

* 


;; Example 1 background knowledge



(describe (add 

        object #Chris 

        proper-name (build lex "Chris")))

(m94! (object b1) (proper-name (m93 (lex Chris))))

(m94!)

 CPU time : 0.46 

* 
(describe (add 

        member Chris 

        class *person))

(m95! (class (m65 (lex person))) (member Chris))

(m95!)

 CPU time : 5.10 

* 


(describe (add 

        member the_book 

        class *book))

(m100! (class (m67 (lex book))) (member the_book))

(m100!)

 CPU time : 1.75 

* 


(describe (add 

        object #John 

        proper-name (build lex "John")))

(m102! (object b2) (proper-name (m101 (lex John))))

(m102!)

 CPU time : 0.51 

* 
(describe (add 

        member John 

        class *person))

(m103! (class (m65 (lex person))) (member John))

(m103!)

 CPU time : 4.92 

* 




;; Example 2 background knowledge





(describe (add 

        member main_street 

        class *street))

(m104! (class (m69 (lex street))) (member main_street))

(m104!)

 CPU time : 1.85 

* 
(describe (add 

        member maple_str 

        class *street))

(m105! (class (m69 (lex street))) (member maple_str))

(m105!)

 CPU time : 1.89 

* 




;; Example 3 background knowledge



(describe (add 

        member the_office 

        class *office))

(m106! (class (m71 (lex office))) (member the_office))

(m106!)

 CPU time : 1.88 

* 




;; Example 4 background knowledge



(describe (add 

        member the_story 

        class *information))

(m107! (class (m73 (lex information))) (member the_story))

(m107!)

 CPU time : 1.84 

* 




;; Example 5 background knowledge



(describe (add 

        object #Mary 

        proper-name (build lex "Mary")))

(m109! (object b3) (proper-name (m108 (lex Mary))))

(m109!)

 CPU time : 0.59 

* 
(describe (add 

        member Mary 

        class *person))

(m110! (class (m65 (lex person))) (member Mary))

(m110!)

 CPU time : 5.35 

* 


(describe (add 

        object #Bill 

        proper-name (build lex "Bill")))

(m112! (object b4) (proper-name (m111 (lex Bill))))

(m112!)

 CPU time : 0.59 

* 
(describe (add 

        member Bill 

        class *person))

(m113! (class (m65 (lex person))) (member Bill))

(m113!)

 CPU time : 5.51 

* 




;; Example 6 background knowledge



(describe (add 

        member the_package 

        class *package))

(m114! (class (m75 (lex package))) (member the_package))

(m114!)

 CPU time : 1.90 

* 




;; Example 7 background knowledge



(describe (add 

        member the_business 

        class *business))

8391600 bytes have been tenured, next gc will be global.
See the documentation for variable excl:*global-gc-behavior* for more information.

(m115! (class (m77 (lex business))) (member the_business))

(m115!)

 CPU time : 4.93 

* 
(describe (add 

        member stock 

        class *capital))

(m116! (class (m79 (lex capital))) (member stock))

(m116!)

 CPU time : 2.07 

* 
(describe (add 

        member shareholders 

        class *person))

(m117! (class (m65 (lex person))) (member shareholders))

(m117!)

 CPU time : 6.02 

* 




;; Example 8 background knowledge



(describe (add 

        member his_hands 

        class *hand))

(m118! (class (m87 (lex hand))) (member his_hands))

(m118!)

 CPU time : 2.08 

* 




;; Example 9 background knowledge



(describe (add 

        member plan 

        class *idea))

(m119! (class (m81 (lex idea))) (member plan))

(m119!)

 CPU time : 2.10 

* 




;; Example 10 background knowledge



(describe (add 

        member pomegranate 

        class *fruit))

(m120! (class (m83 (lex fruit))) (member pomegranate))

(m120!)

 CPU time : 2.11 

* 




;; Example 11 background knowledge





(describe (add 

        member the_cup 

        class *cup))

(m121! (class (m85 (lex cup))) (member the_cup))

(m121!)

 CPU time : 2.12 

* 


;; Example 12 background knowledge



(describe (add 

        member the_lift

        class *lift))

(m122! (class (m89 (lex lift))) (member the_lift))

(m122!)

 CPU time : 2.16 

* 


(describe (add 

        member the_box

        class *box))

(m123! (class (m91 (lex box))) (member the_box))

(m123!)

 CPU time : 2.14 

* 


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;











;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 1

;;; PTRANS1

;;; agent "entity"

;;; object "physical object"

;;; to "location"

;;; 

;;; "Chris gave the book to john





(describe (add agent Chris

                act (build action (build lex "gave") = gave

                        object the_book

                        to John)))

(m133! (cd_cat (m16 (lex PTRANS(1a)))) (class (m124 (lex gave))))
(m132! (act (m131 (action (m124)) (object the_book))) (agent Chris))
(m130! (act (m129 (action (m124)))) (agent Chris))
(m128! (act (m127 (action (m124)) (to John))) (agent Chris))
(m126! (act (m125 (action (m124)) (object the_book) (to John)))
 (agent Chris))

(m133! m132! m130! m128! m126!)

 CPU time : 1.57 

* 




^(
--> defineVerb 'gave)

 verb: 
       lex:  gave;
       CD-CAT: (PTRANS(1a)) 
       transitivity: (transitive) 
nil



 CPU time : 0.11 

* 


()



 CPU time : 0.00 

* 














;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 2

;;; PTRANS2

;;; 

;;; agent "entity"

;;; from "location"

;;; to "location"

;;;

;;; "Chris drove from main street to maple"





(describe (add agent Chris

                act     (build action (build lex "drove") = drove

                        from main_street

                        to maple_str))) 
(m142! (cd_cat (m24 (lex PTRANS(3)))) (class (m134 (lex drove))))
(m141! (cd_cat (m22 (lex PTRANS(2b)))) (class (m134)))
(m140! (act (m139 (action (m134)))) (agent Chris))
(m138! (act (m137 (action (m134)) (to maple_str))) (agent Chris))
(m136! (act (m135 (action (m134)) (from main_street) (to maple_str)))
 (agent Chris))

(m142! m141! m140! m138! m136!)

 CPU time : 2.37 

* 



^(
--> defineVerb 'drove)

 verb: 
       lex:  drove;
       CD-CAT: (PTRANS(3) PTRANS(2b)) 
       similar action: (gave) 
       transitivity: (intransitive) 
nil



 CPU time : 0.11 

* 


()



 CPU time : 0.00 

* 












;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 3

;;; PTRANS3

;;; 

;;; agent "entity"

;;; to "location"

;;;

;;; "Chris went to the office"



(describe (add agent Chris

                act     (build action (build lex "went") = went

                        to the_office)))

(m148! (cd_cat (m24 (lex PTRANS(3)))) (class (m143 (lex went))))
(m147! (act (m146 (action (m143)))) (agent Chris))
(m145! (act (m144 (action (m143)) (to the_office))) (agent Chris))

(m148! m147! m145!)

 CPU time : 1.56 

* 




^(
--> defineVerb 'went)

 verb: 
       lex:  went;
       CD-CAT: (PTRANS(3)) 
       similar action: (drove) 
       transitivity: (intransitive) 
nil



 CPU time : 0.09 

* 


()



 CPU time : 0.00 

* 












;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 4

;;; MTRANS1

;;; 

;;; agent "entity"

;;; object "entity"

;;; indobj "abstraction"

;;;

;;; "Chris showed John the story" 



(describe (add agent Chris

                act     (build action (build lex "showed") = showed

                        object John

                        indobj the_story)))     
(m156! (cd_cat (m30 (lex MTRANS(1b)))) (class (m149 (lex showed))))
(m155! (act (m154 (action (m149)) (object John))) (agent Chris))
(m153! (act (m152 (action (m149)))) (agent Chris))
(m151! (act (m150 (action (m149)) (indobj the_story) (object John)))
 (agent Chris))

(m156! m155! m153! m151!)

 CPU time : 1.65 

* 



^(
--> defineVerb 'showed)

 verb: 
       lex:  showed;
       CD-CAT: (MTRANS(1b)) 
       similar action: (drove went gave) 
       transitivity: (ditransitive) 
nil



 CPU time : 0.09 

* 


()



 CPU time : 0.00 

* 


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 5

;;; MTRANS2

;;; 

;;; agent "entity"

;;; object (act)

;;; to "entity"

;;;

;;; "Chris told John that Mary saw Bill" 







(describe (add agent Chris

                act     (build action (build lex "told") = told

                        object John

                        indobj (build agent Mary act 

                                     (build action (build lex "saw") = saw 

                                              object Bill)))))  
(m171! (cd_cat (m32 (lex MTRANS(2)))) (class (m157 (lex told))))
(m170! (act (m169 (action (m157)) (object John))) (agent Chris))
(m168!
 (act (m167 (action (m157))
       (indobj
        (m166 (act (m165 (action (m158 (lex saw))))) (agent Mary)))
       (object John)))
 (agent Chris))
(m164! (act (m163 (action (m157)))) (agent Chris))
(m162!
 (act (m161 (action (m157))
       (indobj
        (m160 (act (m159 (action (m158)) (object Bill))) (agent Mary)))
       (object John)))
 (agent Chris))

(m171! m170! m168! m164! m162!)

 CPU time : 1.67 

* 







^(
--> defineVerb 'told)

 verb: 
       lex:  told;
       CD-CAT: (MTRANS(2)) 
       similar action: (showed) 
       transitivity: (ditransitive) 
nil



 CPU time : 0.08 

* 


()



 CPU time : 0.00 

* 




;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 6

;;; PTRANS4

;;; 

;;; agent "entity"

;;; object "entity"

;;; indobj "physical object"

;;;

;;; "Chris sent John the package" 





(describe (add agent Chris

                act     (build action (build lex "sent") = sent

                        object John

                        indobj the_package)))   
(m179! (cd_cat (m26 (lex PTRANS(4)))) (class (m172 (lex sent))))
(m178! (act (m177 (action (m172)) (object John))) (agent Chris))
(m176! (act (m175 (action (m172)))) (agent Chris))
(m174! (act (m173 (action (m172)) (indobj the_package) (object John)))
 (agent Chris))

(m179! m178! m176! m174!)

 CPU time : 1.70 

* 



^(
--> defineVerb 'sent)

 verb: 
       lex:  sent;
       CD-CAT: (PTRANS(4)) 
       similar action: (showed told) 
       transitivity: (ditransitive) 
nil



 CPU time : 0.09 

* 


()



 CPU time : 0.00 

* 






;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 7

;;; ATRANS

;;; 

;;; agent "entity"

;;; object "abstraction"

;;; to "entity"



;;; "the business offered stock to its shareholders"





(describe (add agent the_business

                act     (build action (build lex "offered") = offered

                        object stock

                        to shareholders)))

(m190! (cd_cat (m40 (lex MBUILD))) (class (m180 (lex offered))))
(m189! (cd_cat (m36 (lex ATRANS(1b)))) (class (m180)))
(m188! (act (m187 (action (m180)) (object stock))) (agent the_business))
(m186! (act (m185 (action (m180)))) (agent the_business))
(m184! (act (m183 (action (m180)) (to shareholders)))
 (agent the_business))
(m182! (act (m181 (action (m180)) (object stock) (to shareholders)))
 (agent the_business))

(m190! m189! m188! m186! m184! m182!)

 CPU time : 2.53 

* 


^(
--> defineVerb 'offered)

 verb: 
       lex:  offered;
       CD-CAT: (MBUILD ATRANS(1b)) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 


()



 CPU time : 0.00 

* 






;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 8

;;; MOVE1 

;;; agent "entity"

;;; object "external body part" 

;;;

;;; Bill waved his hands





(describe (add agent Bill

                act     (build action (build lex "waved") = waved

                        object his_hands)))

(m196! (cd_cat (m38 (lex MOVE))) (class (m191 (lex waved))))
(m195! (act (m194 (action (m191)))) (agent Bill))
(m193! (act (m192 (action (m191)) (object his_hands))) (agent Bill))

(m196! m195! m193!)

 CPU time : 1.67 

* 


^(
--> defineVerb 'waved)

 verb: 
       lex:  waved;
       CD-CAT: (MOVE) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 








;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 9

;;; MBUILD

;;; 

;;; agent "entity"

;;; object "abstraction"

;;;

;;; "I thought of a plan"





(describe (add agent Chris

                act     (build action (build lex "thought") = thought

                        object plan)))

(m202! (cd_cat (m40 (lex MBUILD))) (class (m197 (lex thought))))
(m201! (act (m200 (action (m197)))) (agent Chris))
(m199! (act (m198 (action (m197)) (object plan))) (agent Chris))

(m202! m201! m199!)

 CPU time : 1.72 

* 


^(
--> defineVerb 'thought)

 verb: 
       lex:  thought;
       CD-CAT: (MBUILD) 
       similar action: (offered) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 


()



 CPU time : 0.00 

* 










;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 10

;;; INGEST

;;; agent "entity"

;;; object "consumable substance"

;;;

;;; "Chris ate a pomegranate."



(describe (add agent Chris

                act     (build action (build lex "ate") = ate

                        object pomegranate)))

(m208! (cd_cat (m42 (lex INGEST))) (class (m203 (lex ate))))
(m207! (act (m206 (action (m203)))) (agent Chris))
(m205! (act (m204 (action (m203)) (object pomegranate))) (agent Chris))

(m208! m207! m205!)

 CPU time : 1.72 

* 




^(
--> defineVerb 'ate)

 verb: 
       lex:  ate;
       CD-CAT: (INGEST) 
       similar action: (sent thought drove went showed told gave) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 
()



 CPU time : 0.00 

* 






;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 11

;;; GRASP

;;; 

;;; agent "entity"

;;; object "physical object"

;;; instrument "external body part"



;;; "Chris took the cup in his hands"







(describe (add agent Chris

                act     (build action (build lex "took") = took

                        object the_cup

                        instrument his_hands)))

(m216! (cd_cat (m44 (lex GRASP))) (class (m209 (lex took))))
(m215! (act (m214 (action (m209)) (object the_cup))) (agent Chris))
(m213! (act (m212 (action (m209)))) (agent Chris))
(m211!
 (act (m210 (action (m209)) (instrument his_hands) (object the_cup)))
 (agent Chris))

(m216! m215! m213! m211!)

 CPU time : 1.75 

* 
        

^(
--> defineVerb 'took)

 verb: 
       lex:  took;
       CD-CAT: (GRASP) 
       similar action: (thought ate went showed told sent gave drove) 
       transitivity: (transitive) 
nil



 CPU time : 0.09 

* 


()



 CPU time : 0.00 

* 










;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

;;; Example 12

;;; PROPEL

;;; agent "entity"

;;; onto "physical object" 

;;;

;;; "John pushed the box onto the lift"



(describe (add agent John

                act     (build action (build lex "pushed") = pushed

                        object the_box

                        onto the_lift)))

(m226! (cd_cat (m46 (lex PROPEL))) (class (m217 (lex pushed))))
(m225! (act (m224 (action (m217)) (onto the_lift))) (agent John))
(m223! (act (m222 (action (m217)) (object the_box))) (agent John))
(m221! (act (m220 (action (m217)))) (agent John))
(m219! (act (m218 (action (m217)) (object the_box) (onto the_lift)))
 (agent John))

(m226! m225! m223! m221! m219!)

 CPU time : 12.35 

* 




^(
--> defineVerb 'pushed)
 verb: 
       lex:  pushed;
       CD-CAT: (PROPEL) 
       transitivity: (transitive) 
nil



 CPU time : 0.08 

* 

End of /home/nsigrad/clbecker/CVA/DEMOS/cd-test.demo demonstration.


 CPU time : 109.58 
CO(tm) 4.6                New Buffer                 SNePS-2.6 [PL:1a 2004/08/26 23:05:27] loaded.Type `(sneps)' or `(snepslog)' to get started.cl-user(2): (sneps)^[[23;1H^[[K^[[1;7mtypescript ^[[m^[[23;1H^[[K^[[?1l^[>pollux {11:32:57} > pico$1;1H^[[J^[[1;7m   UW PICO(tm) 4.6                New Buffer                 Type `(sneps)' or `(snepslog)' to get started.cl-user(2): (sneps)^[[23;1H^[[K^[[1;7mtypescript ^[[m^[[23;1H^[[K^[[?1l^[>pollux {11:32:57} > pico$1;1H^[[J^[[1;7m   UW PICO(tm) 4.6                New Buffer                 cl-user(2): (sneps)^[[23;1H^[[K^[[1;7mtypescript ^[[m^[[23;1H^[[K^[[?1l^[>pollux {11:32:57} > pico$1;1H^[[J^[[1;7m   UW PICO(tm) 4.6                New Buffer                 ^[[23;1H^[[K^[[1;7mtypescript ^[[m^[[23;1H^[[K^[[?1l^[>pollux {11:32:57} > pico$1;1H^[[J^[[1;7m   UW PICO(tm) 4.6                New Buffer                 ^[[23;1H^[[K^[[1;7mtypescript ^[[m^[[23;1H^[[K^[[?1l^[>pollux {11:32:57} > pico$1;1H^[[J^[[1;7m   UW PICO(tm) 4.6                New Buffer                 1;1H^[[J^[[1;7m   UW PICO(tm) 4.6                New Buffer                 File Name to write :                                                            typescriptT  To Files                                                     C Cancel    TAB Complete                                                     [ Writing... ][ Wrote 3422 lines ]        ^G Get Help  ^O WriteOut  ^R Read File ^Y Prev Pg   ^K Cut Text  ^C Cur Pos   ^X Exit      ^J Justify   ^W Where is  ^V Next Pg   ^U UnCut Text^T To Spell  pollux {11:33:45} > mv typescript cd-test.demo.typescriptranscript.txt

pollux {11:34:11} > mv cd-test.demo.transcript.txt ~/public_html/CVA/Spring2005/ 


pollux {11:34:28} > ls

ConstructFindLists.cl		misc
Copy (3) of augur.demo		paths
DataProcessing.cl		peramb.2.demo
Processing.cl			peramb.3.demo
SNEPS				peramb.4.demo
SNEPS_COMMAND			peramb.5.demo
agent-act-action-object.gif	peramb.6.demo
agent-act-action.gif		peramb.7.demo
augur-context			peramb.demo
augur.demo			possessor-object.gif
augur.demo.bak			preloader.cl
bak				proliferate.2.demo
cause-effect.gif		proliferate.demo
cd-test.demo			pry.demo
cd-test.demo.bak.1		quail.demo
cd-test.demo~			rels
core				show.lisp
cripple.demo			similar-similar.gif
drenched.demo			sneps
equiv-equiv.gif			sneps-graph-peramb.gif
final.paper.section.4.doc	subclass-superclass.gif
fold.demo			verb-case-frames.1.gif
fold_bk.demo			verb-case-frames.2.gif
forall-ant-cq.gif		verb-case-frames.3.gif
joust.base			verb-case-frames.4.gif
joust.demo			verb-case-frames.5.gif
knowledge			verbalgorithm3.0
knowledge~			verbalgorithm3.1
lex.gif				worklog
member-class.gif
pollux {DING!} > pico cd

pollux {15:00:54} > cd public_html/CVA/verbaSpring2005/verbalgorithm3.1/

pollux {15:01:04} > ls

DataCollection.cl	defun_verb.cl		paths
DataProcessing.cl	knowledge		rels
pollux {15:01:04} > pico defun_verb.cl 

   UW PICO(tm) 4.6                New Buffer                                    ^G Get Help  ^O WriteOut  ^R Read File ^Y Prev Pg   ^K Cut Text  ^C Cur Pos   ^X Exit      ^J Justify   ^W Where is  ^V Next Pg   ^U UnCut Text^T To Spell  [ Reading file ][ Read 167 lines ]File: defun_verb.cl;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; created 3/28/2004 by clbecker;;;; last modified 5/11/2005 by clbecker;;;;;;;;;;;; This is the main module of the verb algorithm.;;;; It calls the main functions in DataCollection;;;; and DataProcessing through the list *ProcessList*.;;;;;;;;;;;; Usage:;;;;;;;;    (defineVerb 'verb);;;;;;;;---------------------------------------------;;;;;;;; version history:;;;; 1.0 Karen ErlichUsage:(defineVerb 'verb)---------------------------------------------  version history:1.0 Karen Erlich   this version has not been tested on any recent demo2.0 by Justin Del Vecchiofeatures:   identified transitivity, as well as member   and superclass heirarchy of agent and objects   this version has not been tested on any recent demo2.0 by Justin Del Vecchiofeatures:   identified transitivity, as well as member   and superclass heirarchy of agent and objects2.1a by clbeckerupgrades:   searches for instrument case frame, returnsit among list of transitivity.2.1b by scott napieralski2.1a by clbeckerupgrades:   searches for instrument case frame, returnsit among list of transitivity.2.1b by scott napieralskiwe haven't determined what modifications were made.2.1c by M. Satoupgrades:finds additional case frames:           - properties of the verb- superclasses of the verbwe haven't determined what modifications were made.2.1c by M. Satoupgrades:finds additional case frames:           - properties of the verb- superclasses of the verb--------------------------------------------- 3.0 by C. Beckercompleted Spring 2004this was a complete rewrite of the verb algorithmthe main goal in this version was to modularize each componentso that the algorithm could be more easily modified in the future.--------------------------------------------- 3.0 by C. Beckercompleted Spring 2004this was a complete rewrite of the verb algorithmthe main goal in this version was to modularize each componentso that the algorithm could be more easily modified in the future.3.1 by C. Beckercompleted Spring 2005This version added an additional level of processing to the data.The form of the output follows a frame-like format as thenoun algorithm does.3.1 by C. Beckercompleted Spring 2005This version added an additional level of processing to the data.The form of the output follows a frame-like format as thenoun algorithm does.---------------------------------------------Modification History5/8/2005Reorganized functions into 2 main files: