Script started on Sat 06 Dec 2008 05:53:49 PM EST
nickelback {~} > mlisp;;; Installing locale patch, version 1.
International Allegro CL Enterprise Edition
8.1 [Linux (x86)] (Oct 27, 2008 11:52)
Copyright (C) 1985-2007, Franz Inc., Oakland, CA, USA.  All Rights Reserved.

This development copy of Allegro CL is licensed to:
   [4549] University at Buffalo

;; Optimization settings: safety 1, space 1, speed 1, debug 2.
;; For a complete description of all compiler switches given the
;; current optimization settings evaluate (explain-compiler-settings).
;;---
;; Current reader case mode: :case-sensitive-lower
cl-user(1): (:ld /projects/snwiz/bins/sneps
; Loading /projects/snwiz/bin/sneps.lisp
;;; Installing jlinker patch, version 1.
;;; Installing regexp2-s patch, version 1.
Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% 
SNePS-2.7 [PL:1 2008/02/12 17:19:45] loaded.
Type `(sneps)' or `(snepslog)' to get started.
cl-user(2): (sneps)


   Welcome to SNePS-2.7 [PL:1 2008/02/12 17:19:45]

Copyright (C) 1984--2007 by Research Foundation of
State University of New York. SNePS comes with ABSOLUTELY NO WARRANTY!
Type `(copyright)' for detailed copyright information.
Type `(demo)' for a list of example applications.

   12/6/2008 17:54:07

* (demo "c")

File /home/csgrad/nanmeng/c is now the source of input.


 CPU time : 0.00 

* ; =======================================================================
; FILENAME:	c2
; DATE:		from Sep 30 2008 to
; PROGRAMMER:	Nan Meng

;; this template version:	snepsul-template.demo-20061005.txt

; Lines beginning with a semi-colon are comments.
; Lines beginning with "^" are Lisp commands.
; All other lines are SNePSUL commands.
;
; To use this file: run SNePS; at the SNePS prompt (*), type:
;
;	(demo "c.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; if tracing is desired, then delete this.
^(
--> setq snip:*infertrace* nil)
nil



 CPU time : 0.00 

* 
; Load the appropriate definition algorithm:
;; UNCOMMENT THE ONE YOU *DO* WANT
;; AND DELETE THE OTHER!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
^(
--> load "/projects/rapaport/CVA/STN2/defun_noun.cl")
; Loading /projects/rapaport/CVA/STN2/defun_noun.cl
t



 CPU time : 0.03 

* ;; ^(load "~/defun_noun.cl")

; Clear the SNePS network:
(resetnet)

Net reset - Relations and paths are still defined


 CPU time : 0.00 

* 
; OPTIONAL:
; UNCOMMENT THE FOLLOWING CODE TO TURN FULL FORWARD INFERENCING ON:
;
; ;enter the "snip" package:
^(
--> in-package snip)
#<The snip package>



 CPU time : 0.00 

* ;
; ;turn on full forward inferencing:
^(
--> defun broadcast-one-report (represent)
   (let (anysent)
     (do.chset (ch *OUTGOING-CHANNELS* anysent)
      	 (when (isopen.ch ch)
	         (setq anysent
		       (or (try-to-send-report represent ch)
	           anysent)))))
   nil)
broadcast-one-report



 CPU time : 0.00 

* 
; ;re-enter the "sneps" package:
^(
--> in-package sneps)
#<The sneps package>



 CPU time : 0.00 

* 
; load all pre-defined relations:
; (intext "/projects/rapaport/CVA/STN2/demos/rels")
^(
--> load "~/rels")
; Loading /home/csgrad/nanmeng/rels
object1 is already defined.
object2 is already defined.
t



 CPU time : 0.00 

* ; (define agent object antonym lex member class rel location proper-name property possessor part whole superclass subclass synonym before after duration arg1 arg2 object1 object2 to class-mod class-head indobj mode skf)

; load all pre-defined path definitions:
; ^(load "~/paths")
; (intext "/projects/rapaport/CVA/mkb3.CVA/paths/paths")

; BACKGROUND KNOWLEDGE:
; =====================
; (put annotated SNePSUL code of your background knowledge here)

;; Slave masters put bounties on their slaves.
(describe (add forall ($sm $sl)
		&ant (	(build member *sm class (build class-mod (build lex "slave")
							class-head (build lex "master")))
			(build member *sl class (build lex "slave"))
			(build object *sl rel (build lex "slave") possessor *sm))
		cq (	(build agent *sm
				act (build action (build lex "put")
					object (build lex "bounty")
					indobj *sl)))) = master-put-bounty-on-slave)

(m6! (forall v2 v1)
 (&ant (p3 (object v2) (possessor v1) (rel (m1 (lex slave))))
  (p2 (class (m1)) (member v2))
  (p1 (class (m3 (class-head (m2 (lex master))) (class-mod (m1))))
   (member v1)))
 (cq
  (p5
   (act (p4 (action (m4 (lex put))) (indobj v2)
         (object (m5 (lex bounty)))))
   (agent v1))))

(m6!)

 CPU time : 0.00 

* 
;; If A puts bounty on something STH and B returns that thing to A, then B gets rewards (from A).
(describe (add forall ($a $b $sth)
		&ant (	(build agent *a
				act (build action (build lex "put")
					object (build lex "bounty")
					indobj *sth))
			(build agent *b
				act (build action (build lex "return")
					object *sth
					indobj *a)))
		cq (	(build agent *b
				act (build action (build lex "get")
					object (build lex "reward")
					indobj *a)))) = bounty-return-reward)

(m10! (forall v5 v4 v3)
 (&ant
  (p9 (act (p8 (action (m7 (lex return))) (indobj v3) (object v5)))
   (agent v4))
  (p7
   (act (p6 (action (m4 (lex put))) (indobj v5)
         (object (m5 (lex bounty)))))
   (agent v3)))
 (cq
  (p11
   (act (p10 (action (m8 (lex get))) (indobj v3)
         (object (m9 (lex reward)))))
   (agent v4))))

(m10!)

 CPU time : 0.01 

* 
;; Reward and benefit are synonyms.
(describe (add synonym (build lex "reward") synonym (build lex "benefit")))

(m12! (synonym (m11 (lex benefit)) (m9 (lex reward))))

(m12!)

 CPU time : 0.00 

* 
;; Bounty and reward are synonyms.
(describe (add synonym (build lex "bounty") synonym (build lex "reward")))

(m13! (synonym (m9 (lex reward)) (m5 (lex bounty))))

(m13!)

 CPU time : 0.00 

* 
;; Bounty hunters want bounty.
(describe (add forall $b
		ant (	(build member *b class (build class-mod (build lex "bounty")
							class-head (build lex "hunter"))))
		cq (	(build agent *b
				act (build action (build lex "want")
					object (build lex "bounty"))))) = bounty-hunter-want-bounty)

(m18! (forall v6)
 (ant
  (p12
   (class
    (m15 (class-head (m14 (lex hunter)))
     (class-mod (m5 (lex bounty)))))
   (member v6)))
 (cq
  (p13 (act (m17 (action (m16 (lex want))) (object (m5)))) (agent v6))))

(m18!)

 CPU time : 0.00 

* 
;; The concept of bounty hunter, has proper-name "bounty hunter"
(describe (add object (build class-mod (build lex "bounty")
				class-head (build lex "hunter"))
		proper-name (build lex "bounty\ hunter")) = bounty-hunter-proper-name)

(m20!
 (object
  (m15 (class-head (m14 (lex hunter))) (class-mod (m5 (lex bounty)))))
 (proper-name (m19 (lex bounty hunter))))

(m20!)

 CPU time : 0.00 

* 
(describe (add object (build class-mod (build lex "slave")
				class-head (build lex "master"))
		proper-name (build lex "slave\ master")) = slave-master-proper-name)

(m22!
 (object
  (m3 (class-head (m2 (lex master))) (class-mod (m1 (lex slave)))))
 (proper-name (m21 (lex slave master))))

(m22!)

 CPU time : 0.00 

* 
(describe (add forall ($a $c $n)
		&ant (	(build member *a class *c)
			(build object *c proper-name *n))
		cq (	(build member *a class *n))) = member-class-proper-name)

(m23! (forall v9 v8 v7)
 (&ant (p15 (object v8) (proper-name v9)) (p14 (class v8) (member v7)))
 (cq (p16 (class v9) (member v7))))
(m22!
 (object
  (m3 (class-head (m2 (lex master))) (class-mod (m1 (lex slave)))))
 (proper-name (m21 (lex slave master))))
(m20!
 (object
  (m15 (class-head (m14 (lex hunter))) (class-mod (m5 (lex bounty)))))
 (proper-name (m19 (lex bounty hunter))))

(m23! m22! m20!)

 CPU time : 0.00 

* 
;; If A is a bounty hunter, and B puts bounty on C, and A catches C, then A returns C to B (and gets bounty from B).
(describe (add forall ($a $b $c)
		&ant (	(build member *a class (build class-mod (build lex "bounty")
							class-head (build lex "hunter")))
			(build agent *b
				act (build action (build lex "put")
					object (build lex "bounty")
					indobj *c))
			(build agent *a
				act (build action (build lex "catch")
					object *c)))
		cq (	(build agent *a
				act (build action (build lex "return")
					object *c
					indobj *b)))) = bounty-hunter-catch-return)

(m25! (forall v12 v11 v10)
 (&ant
  (p21 (act (p20 (action (m24 (lex catch))) (object v12))) (agent v10))
  (p19
   (act (p18 (action (m4 (lex put))) (indobj v12)
         (object (m5 (lex bounty)))))
   (agent v11))
  (p17 (class (m15 (class-head (m14 (lex hunter))) (class-mod (m5))))
   (member v10)))
 (cq
  (p23 (act (p22 (action (m7 (lex return))) (indobj v11) (object v12)))
   (agent v10))))

(m25!)

 CPU time : 0.01 

* 
;; If A is a bounty hunter, and B puts bounty on C, and A sees C, then A catches C.
(describe (add forall ($a $b $c)
		&ant (	(build member *a class (build class-mod (build lex "bounty")
							class-head (build lex "hunter")))
			(build agent *b
				act (build action (build lex "put")
					object (build lex "bounty")
					indobj *c))
			(build agent *a
				act (build action (build lex "see")
					object *c)))
		cq (	(build agent *a
				act (build action (build lex "catch")
				object *c)))) = bounty-hunter-see-catch)

(m27! (forall v15 v14 v13)
 (&ant
  (p30 (act (p29 (action (m26 (lex see))) (object v15))) (agent v13))
  (p28
   (act (p27 (action (m4 (lex put))) (indobj v15)
         (object (m5 (lex bounty)))))
   (agent v14))
  (p26 (class (m15 (class-head (m14 (lex hunter))) (class-mod (m5))))
   (member v13)))
 (cq
  (p32 (act (p31 (action (m24 (lex catch))) (object v15)))
   (agent v13))))

(m27!)

 CPU time : 0.00 

* 
;; If A returns C to B, then B gets C, and B gets C from A.
(describe (add forall ($a $b $c)
		ant (	(build agent *a
				act (build action (build lex "return")
					object *c
					indobj *b)))
		cq (	build min 2 max 2
			arg (	(build agent *b
					act (build action (build lex "get")
						object *c))
				(build agent *b
					act (build action (build lex "get")
						object *c
						indobj *a))))) = return-get-from)

(m28! (forall v18 v17 v16)
 (ant
  (p34 (act (p33 (action (m7 (lex return))) (indobj v17) (object v18)))
   (agent v16)))
 (cq
  (p39 (min 2) (max 2)
   (arg
    (p38 (act (p37 (action (m8 (lex get))) (indobj v16) (object v18)))
     (agent v17))
    (p36 (act (p35 (action (m8)) (object v18))) (agent v17))))))

(m28!)

 CPU time : 0.01 

* 
;; If A sniggers, then A is happy (smug).
(describe (add forall $a
		ant (	build agent *a
				act (build action (build lex "snigger")))
		cq (	(build object *a property (	
							(build lex "smug")
							(build lex "mean"))))))

(m33! (forall v19)
 (ant (p40 (act (m30 (action (m29 (lex snigger))))) (agent v19)))
 (cq (p41 (object v19) (property (m32 (lex mean)) (m31 (lex smug))))))

(m33!)

 CPU time : 0.00 

* 
(describe (add forall ($a $b)
		&ant (	(build agent *a
				act (build action (build lex "return")
						object *b))
			(build member *b class (build lex "slave")))
		cq (	(build object *a property (build lex "evil")))))

(m35! (forall v21 v20)
 (&ant (p44 (class (m1 (lex slave))) (member v21))
  (p43 (act (p42 (action (m7 (lex return))) (object v21)))
   (agent v20)))
 (cq (p45 (object v20) (property (m34 (lex evil))))))

(m35!)

 CPU time : 0.00 

* 
;; If A sniggers, then A laughs for him/herself.
(describe (add forall $a
		ant (	(build agent *a
				act (build action (build lex "snigger"))))
		cq (	(build agent *a
				act (build action (build lex "laugh")
					indobj *a)))) = snigger-laugh-for)

(m37! (forall v22)
 (ant (p48 (act (m30 (action (m29 (lex snigger))))) (agent v22)))
 (cq
  (p50 (act (p49 (action (m36 (lex laugh))) (indobj v22)))
   (agent v22))))

(m37!)

 CPU time : 0.00 

* 
;; If A laughs for him/herself, then A gets some benefit.
(describe (add forall $a
		ant (	(build agent *a
				act (build action (build lex "laugh")
					indobj *a)))
		cq (	build agent *a
				act (build action (build lex "get")
					object (build lex "benefit")))) = laugh-for-get-benefit)

(m39! (forall v23)
 (ant
  (p52 (act (p51 (action (m36 (lex laugh))) (indobj v23)))
   (agent v23)))
 (cq
  (p53 (act (m38 (action (m8 (lex get))) (object (m11 (lex benefit)))))
   (agent v23))))

(m39!)

 CPU time : 0.01 

* 
;; If A takes action ACT directly on B, B and C are synonyms, then A takes action ACT directly on C.
(describe (add forall ($a $b $c $act)
		&ant (	(build synonym *b synonym *c)
			(build agent *a
				act (build action *act
					object *b)))
		cq (	build agent *a
				act (build action *act
					object *c))) = action-synonym-direct)

(m40! (forall v27 v26 v25 v24)
 (&ant (p56 (act (p55 (action v27) (object v25))) (agent v24))
  (p54 (synonym v26 v25)))
 (cq (p58 (act (p57 (action v27) (object v26))) (agent v24))))
(m13! (synonym (m9 (lex reward)) (m5 (lex bounty))))
(m12! (synonym (m11 (lex benefit)) (m9)))

(m40! m13! m12!)

 CPU time : 0.00 

* 
;; If A takes action ACT directly on B indirectly on D, B and C are synonyms, then A takes action ACT directly on C indirectly on D.
(describe (add forall ($a $b $c $d $act)
		&ant (	(build synonym *b synonym *c)
			(build agent *a
				act (build action *act
					object *b
					indobj *d)))
		cq (	build agent *a
				act (build action *act
					object *c
					indobj *d))) = action-synonym-direct-indirect)

(m42! (forall v32 v30 v29 v28)
 (&ant (p65 (act (p64 (action v32) (object v29))) (agent v28))
  (p59 (synonym v30 v29)))
 (cq (p67 (act (p66 (action v32) (object v30))) (agent v28))))
(m41! (forall v32 v31 v30 v29 v28)
 (&ant
  (p61 (act (p60 (action v32) (indobj v31) (object v29))) (agent v28))
  (p59))
 (cq
  (p63 (act (p62 (action v32) (indobj v31) (object v30))) (agent v28))))
(m40! (forall v27 v26 v25 v24)
 (&ant (p56 (act (p55 (action v27) (object v25))) (agent v24))
  (p54 (synonym v26 v25)))
 (cq (p58 (act (p57 (action v27) (object v26))) (agent v24))))
(m13! (synonym (m9 (lex reward)) (m5 (lex bounty))))
(m12! (synonym (m11 (lex benefit)) (m9)))

(m42! m41! m40! m13! m12!)

 CPU time : 0.01 

* 
;; If A takes action ACT directly on C, and B is a member of class C, then A takes action ACT directly on B.
(describe (add forall ($a $b $c $act)
		&ant (	(build member *b class *c)
			(build agent *a
				act (build action *act
					object *c)))
		cq (	build agent *a
				act (build action *act
					object *b))) = action-member-direct)

(m43! (forall v36 v35 v34 v33)
 (&ant (p70 (act (p69 (action v36) (object v35))) (agent v33))
  (p68 (class v35) (member v34)))
 (cq (p72 (act (p71 (action v36) (object v34))) (agent v33))))

(m43!)

 CPU time : 0.02 

* 
;; If A takes action ACT directly on C indirectly on D, and B is a member of class C, then A takes action ACT directly on B indirectly on D.
(describe (add forall ($a $b $c $d $act)
		&ant (	(build member *b class *c)
			(build agent *a
				act (build action *act
					object *c
					indobj *d)))
		cq (	build agent *a
				act (build action *act
					object *b
					indobj *d))) = action-member-direct-indirect)

(m45! (forall v41 v39 v38 v37)
 (&ant (p79 (act (p78 (action v41) (object v39))) (agent v37))
  (p73 (class v39) (member v38)))
 (cq (p81 (act (p80 (action v41) (object v38))) (agent v37))))
(m44! (forall v41 v40 v39 v38 v37)
 (&ant
  (p75 (act (p74 (action v41) (indobj v40) (object v39))) (agent v37))
  (p73))
 (cq
  (p77 (act (p76 (action v41) (indobj v40) (object v38))) (agent v37))))
(m43! (forall v36 v35 v34 v33)
 (&ant (p70 (act (p69 (action v36) (object v35))) (agent v33))
  (p68 (class v35) (member v34)))
 (cq (p72 (act (p71 (action v36) (object v34))) (agent v33))))

(m45! m44! m43!)

 CPU time : 0.01 

* 
;; If A wants B, and A gets B, then A is happy.
(describe (add forall ($a $b)
		&ant (	(build agent *a
				act (build action (build lex "want")
					object *b))
			(build agent *a
				act (build action (build lex "get")
					object *b)))
		cq (	build object *a property (build lex "happy"))) = want-get-happy)

(m47! (forall v43 v42)
 (&ant
  (p85 (act (p84 (action (m8 (lex get))) (object v43))) (agent v42))
  (p83 (act (p82 (action (m16 (lex want))) (object v43))) (agent v42)))
 (cq (p86 (object v42) (property (m46 (lex happy))))))

(m47!)

 CPU time : 0.04 

* 
;; If something E is A's expectation, then E is an expectation, and A wants E.
(describe (add forall ($a $e)
		ant (	build object *e rel (build lex "expectation") possessor *a)
		cq (	build min 2 max 2
			arg (	(build member *e class (build lex "expectation"))
				(build agent *a
					act (build action (build lex "want")
						object *e))))) = expect-want)

(m49! (forall v45 v44)
 (ant
  (p135 (object v45) (possessor v44) (rel (m48 (lex expectation)))))
 (cq
  (p139 (min 2) (max 2)
   (arg
    (p138 (act (p137 (action (m16 (lex want))) (object v45)))
     (agent v44))
    (p136 (class (m48)) (member v45))))))

(m49!)

 CPU time : 0.00 

* 
;; If A wants E, then E is A's expectation.
(describe (add forall ($a $e)
		ant (	build agent *a
				act (build action (build lex "want")
					object *e))
		cq (	build object *e rel (build lex "expectation") possessor *a)) = want-expect)

(m50! (forall v47 v46)
 (ant
  (p141 (act (p140 (action (m16 (lex want))) (object v47)))
   (agent v46)))
 (cq (p142 (object v47) (possessor v46) (rel (m48 (lex expectation))))))

(m50!)

 CPU time : 0.01 

* 
;; If A sniggers, and something E is A's expectation, then A gets E.
(describe (add forall ($a $e)
		ant (	build agent *a
				act (build action (build lex "snigger")))
		cq (	build min 2 max 2
			arg (	(build object #expectation rel (build lex "expectation") possessor *a)
				(build agent *a
					act (build action (build lex "get")
						object *expectation))))) = snigger-get-expect)

(m52! (forall v49 v48)
 (ant (p143 (act (m30 (action (m29 (lex snigger))))) (agent v48)))
 (cq
  (p146 (min 2) (max 2)
   (arg
    (p145 (act (m51 (action (m8 (lex get))) (object b1))) (agent v48))
    (p144 (object b1) (possessor v48) (rel (m48 (lex expectation))))))))

(m52!)

 CPU time : 0.03 

* 
;; If A wants bounty, then A is a bounty hunter.
(describe (add forall $a
		ant (	(build agent *a
				act (build action (build lex "get")
					object (build lex "bounty"))))
		cq (	build member *a class (build class-mod (build lex "bounty")
						class-head (build lex "hunter")))) = want-bounty-bounty-hunter)

(m54! (forall v50)
 (ant
  (p171 (act (m53 (action (m8 (lex get))) (object (m5 (lex bounty)))))
   (agent v50)))
 (cq
  (p172 (class (m15 (class-head (m14 (lex hunter))) (class-mod (m5))))
   (member v50))))
(m13! (synonym (m9 (lex reward)) (m5)))

(m54! m13!)

 CPU time : 0.10 

* 
; CASSIE READS THE PASSAGE:
; =========================

;; Sethe is a runaway female slave.

; There is someone named Sethe.
(describe (add object #sethe proper-name (build lex "Sethe")) = someone-is-named-sethe)

(m68! (object b2) (proper-name (m67 (lex Sethe))))

(m68!)

 CPU time : 0.00 

* 
; Sethe is a slave.
(describe (add member *sethe class (build lex "slave")) = sethe-is-a-slave)

(m69! (class (m1 (lex slave))) (member b2))

(m69!)

 CPU time : 0.01 

* 
; Someone is a slave master.
(describe (add member #master
		class (build class-mod (build lex "slave")
				class-head (build lex "master"))) = someone-is-a-slavemaster)

(m71! (class (m21 (lex slave master))) (member b3))
(m70!
 (class
  (m3 (class-head (m2 (lex master))) (class-mod (m1 (lex slave)))))
 (member b3))

(m71! m70!)

 CPU time : 0.00 

* 
; Sethe is the master's slave.
(describe (add object *sethe rel (build lex "slave") possessor *master) = sethe-is-masters-slave)

(m82! (act (m81 (action (m4 (lex put))) (object (m11 (lex benefit)))))
 (agent b3))
(m80! (act (m79 (action (m4)) (indobj b2) (object (m9 (lex reward)))))
 (agent b3))
(m78! (act (m77 (action (m4)) (object (m9)))) (agent b3))
(m76! (act (m75 (action (m4)) (object (m5 (lex bounty))))) (agent b3))
(m74! (act (m73 (action (m4)) (indobj b2) (object (m5)))) (agent b3))
(m72! (object b2) (possessor b3) (rel (m1 (lex slave))))

(m82! m80! m78! m76! m74! m72!)

 CPU time : 0.01 

* 
;; A pateroller passing would have sniggered to see two throwaway people, two lawless outlaws --- a slave and a barefoot white woman with unpinned hair --- wrapping a ten-minute-old baby in the rags they wore.

; There is someone named Amy
(describe (add object #amy proper-name (build lex "Amy")))

(m84! (object b4) (proper-name (m83 (lex Amy))))

(m84!)

 CPU time : 0.00 

* 
; "pateroller" is an unknown word.
(describe (add object (build lex "pateroller") property (build lex "unknown")) = pt-unknown)

(m87! (object (m85 (lex pateroller))) (property (m86 (lex unknown))))

(m87!)

 CPU time : 0.01 

* 
; Someone is a pateroller.
(describe (add member #pt class (build lex "pateroller")))

(m88! (class (m85 (lex pateroller))) (member b5))

(m88!)

 CPU time : 0.00 

* 
; Pateroller sees Sethe and Amy.
(describe (add agent *pt
		act (build action (build lex "see")
			object (*sethe *amy))) = pt-see-sethe-amy)

(m94! (act (m93 (action (m26 (lex see))) (object b2))) (agent b5))
(m92! (act (m91 (action (m26)) (object b4))) (agent b5))
(m90! (act (m89 (action (m26)) (object b4 b2))) (agent b5))

(m94! m92! m90!)

 CPU time : 0.01 

* 
; If a pateroller A sees Sethe and Amy, then A will snigger.
(describe (add forall $p
		&ant (	(build member *p class (build lex "pateroller"))
			(build agent *p
			act (build action (build lex "see")
				object (*sethe *amy))))
		cq (	(build agent *p
				act (build action (build lex "snigger"))))) = pt-see-snigger)

(m124! (min 2) (max 2)
 (arg
  (m123 (class (m48 (lex expectation))) (member (m11 (lex benefit))))
  (m119! (act (m118 (action (m16 (lex want))) (object (m11))))
   (agent b5))))
(m122! (min 2) (max 2)
 (arg (m121 (class (m48)) (member (m9 (lex reward))))
  (m115! (act (m114 (action (m16)) (object (m9)))) (agent b5))))
(m120! (object (m11)) (possessor b5) (rel (m48)))
(m117! (object (m9)) (possessor b5) (rel (m48)))
(m116! (min 2) (max 2)
 (arg
  (m108! (act (m17 (action (m16)) (object (m5 (lex bounty)))))
   (agent b5))
  (m61! (class (m48)) (member (m5)))))
(m113! (object b5) (property (m46 (lex happy))))
(m112! (object (m5)) (possessor b5) (rel (m48)))
(m111! (act (m110 (action (m24 (lex catch))) (object b2))) (agent b5))
(m109! (class (m19 (lex bounty hunter))) (member b5))
(m107! (class (m15 (class-head (m14 (lex hunter))) (class-mod (m5))))
 (member b5))
(m106! (act (m53 (action (m8 (lex get))) (object (m5)))) (agent b5))
(m105! (act (m104 (action (m8)) (object (m9)))) (agent b5))
(m103! (act (m38 (action (m8)) (object (m11)))) (agent b5))
(m102! (min 2) (max 2)
 (arg (m101 (object b1) (possessor b5) (rel (m48)))
  (m100 (act (m51 (action (m8)) (object b1))) (agent b5))))
(m99! (act (m98 (action (m36 (lex laugh))) (indobj b5))) (agent b5))
(m97! (object b5) (property (m32 (lex mean)) (m31 (lex smug))))
(m96! (act (m30 (action (m29 (lex snigger))))) (agent b5))
(m95! (forall v51)
 (&ant
  (p294 (act (m89 (action (m26 (lex see))) (object b4 b2)))
   (agent v51))
  (p293 (class (m85 (lex pateroller))) (member v51)))
 (cq (p295 (act (m30)) (agent v51))))
(m90! (act (m89)) (agent b5))
(m88! (class (m85)) (member b5))

(m124! m122! m120! m119! m117! m116! m115! m113! m112! m111! m109!
 m108! m107! m106! m105! m103! m102! m99! m97! m96! m95! m90! m88! m61!)

 CPU time : 0.19 

* 
; Sethe and Amy are outlaws.
(describe (add member (*sethe *amy) class (build lex "outlaw")) = sethe-amy-outlaw)

(m128! (class (m125 (lex outlaw))) (member b4))
(m127! (class (m125)) (member b2))
(m126! (class (m125)) (member b4 b2))

(m128! m127! m126!)

 CPU time : 0.01 

* 
^(
--> defineNoun "pateroller")
 Definition of pateroller: 
 Possible Class Inclusions: m15, bounty hunter, 
 Possible Actions: see bounty, see outlaw slave, see outlaw, snigger, laugh, catch bounty, catch outlaw slave, return bounty, return outlaw slave, get b1, get bounty, get benefit, get reward, get outlaw slave, want b1, want bounty, want benefit, want reward, 
 Possible Properties: happy, smug, mean, 
nil



 CPU time : 1.83 

* 

End of /home/csgrad/nanmeng/c demonstration.


 CPU time : 2.36 

* (lisp)
"End of SNePS"
cl-user(3): :ex
; Exiting
nickelback {~} > exitexit

Script done on Sat 06 Dec 2008 05:54:21 PM EST