nickelback {~/CSE663} > 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/bin/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/1/2008 17:51:45

* (demo "Hysteriathatis.demo")

File /home/unmdue/phoellig/CSE663/Hysteriathatis.demo is now the source of input.


 CPU time : 0.00

*
;Clears the network.
(resetnet t)

Net reset


 CPU time : 0.00

*
; load the noun definition algorithm
^(
--> load "/projects/rapaport/CVA/STN2/defun_noun.cl")
; Loading /projects/rapaport/CVA/STN2/defun_noun.cl
t



 CPU time : 0.03

*
; load all pre-defined relations
^(
--> load "/projects/rapaport/CVA/STN2/demos/rels")
; Loading /projects/rapaport/CVA/STN2/demos/rels
t



 CPU time : 0.00

*
; load all pre-defined path definitions
^(
--> load "/projects/rapaport/CVA/mkb3.CVA/paths/paths")
; Loading /projects/rapaport/CVA/mkb3.CVA/paths/paths
before implied by the path (compose before
                            (kstar (compose after- ! before)))
before- implied by the path (compose (kstar (compose before- ! after))
                             before-)
after implied by the path (compose after
                           (kstar (compose before- ! after)))
after- implied by the path (compose (kstar (compose after- ! before))
                            after-)
sub1 implied by the path (compose object1- superclass- ! subclass
                          superclass- ! subclass)
sub1- implied by the path (compose subclass- ! superclass subclass- !
                           superclass object1)
super1 implied by the path (compose superclass subclass- ! superclass
                            object1- ! object2)
super1- implied by the path (compose object2- ! object1 superclass- !
                             subclass superclass-)
superclass implied by the path (or superclass super1)
superclass- implied by the path (or superclass- super1-)
t



 CPU time : 0.00

*

;She was close to hysteria; that is, her voice was slurred, her eyes darted
;frantically from left to right as if to avoid confronting the scene,
;and her arms and hands trembled uncontrollably.




; If someone's voice is slurred then they are scared.
; Unrepresented: Could also mean that they are drunk
; or have some kind of speech disability.

(describe (assert forall ($person)
        ant(build object *person property (build lex "Voice\ is\ slurred") )
        cq(build object *person property (build lex "Scared") )
        )
)

(m3! (forall v1)
 (ant (p1 (object v1) (property (m1 (lex Voice is slurred)))))
 (cq (p2 (object v1) (property (m2 (lex Scared))))))

(m3!)

 CPU time : 0.00

*
; If someone is trembling then they are unstable.
(describe (assert forall ($person)
        ant(build object *person property (build lex "Trembling") )
        cq(build object *person property (build lex "Unstable") )
        cq(build object *person property (build lex "Fearful") )
        )
)

(m7! (forall v2) (ant (p3 (object v2) (property (m4 (lex Trembling)))))
 (cq (p5 (object v2) (property (m6 (lex Fearful))))
  (p4 (object v2) (property (m5 (lex Unstable))))))

(m7!)

 CPU time : 0.00

*


;that is

; Thatis(P(x), Q(x)) => P(x) ^ (P(x) => Q(x)) ^ ((P(x) => Q(x)) => P(Q))

(describe (assert forall ($person $prop $prop2)
        ant(build object1 (build object *person property *prop)
                rel (build lex "that\ is")
                object2 (build object *person property *prop2)
           )
        cq(build object *person property *prop)
        cq(build forall () ant(build object *person property *prop)
                        cq(build object *person property *prop2)
                        cq(build object *prop property *prop2)

           )
          )
)

(m9! (forall v5 v4 v3)
 (ant
  (p8 (object1 (p6 (object v3) (property v4)))
   (object2 (p7 (object v3) (property v5))) (rel (m8 (lex that is)))))
 (cq (p10 (ant (p6)) (cq (p9 (object v4) (property v5)) (p7))) (p6)))

(m9!)

 CPU time : 0.00

*



;She was close to hysteria.
(describe (add object #her property (build lex "hysteria") ) )

(m11! (object b1) (property (m10 (lex hysteria))))

(m11!)

 CPU time : 0.00

*

;She was close to hysteria that is; her voice was slurred:
(describe (add object1 (build object *her property (build lex "hysteria")
                        )
                  rel (build lex "that\ is")
                  object2 (build object *her property (build lex "Voice\ is\ slurred"))
        )
)

(m17! (object b1) (property (m2 (lex Scared))))
(m16! (object (m10 (lex hysteria))) (property (m2)))
(m15! (ant (m11! (object b1) (property (m10))))
 (cq (m14! (object (m10)) (property (m1 (lex Voice is slurred))))
  (m12! (object b1) (property (m1)))))
(m13! (object1 (m11!)) (object2 (m12!)) (rel (m8 (lex that is))))

(m17! m16! m15! m14! m13! m12!)

 CPU time : 0.01

*

;She was close to hysteria that is;
;Her eyes darted frantically from left to right as if to
;avoid confronting the scene

(describe (add object1 (build object *her property (build lex "hysteria")
                        )
                  rel (build lex "that\ is")
                  object2 (add agent *her act
                             (build action (build lex "Eyes\ darting\ frantically")))
        )
)

(m21! (object1 (m11! (object b1) (property (m10 (lex hysteria)))))
 (object2
  (m20! (act (m19 (action (m18 (lex Eyes darting frantically)))))
   (agent b1)))
 (rel (m8 (lex that is))))

(m21!)

 CPU time : 0.00

*
(describe (add object1 (build object *her property (build lex "hysteria")
                        )
                  rel (build lex "that\ is")
                  object2 (add agent *her act
                                (build action (build lex "Avoiding\ the \scene")))
        )
)

(m25! (object1 (m11! (object b1) (property (m10 (lex hysteria)))))
 (object2
  (m24! (act (m23 (action (m22 (lex Avoiding the scene)))))
   (agent b1)))
 (rel (m8 (lex that is))))

(m25!)

 CPU time : 0.01

*

(describe (add object1 (build object *her property (build lex "hysteria")
                        )
                  rel (build lex "that\ is")
                  object2 (build object *her property (build lex "Frantic") )
        )
)

(m30! (ant (m11! (object b1) (property (m10 (lex hysteria)))))
 (cq (m29! (object (m10)) (property (m26 (lex Frantic))))
  (m27! (object b1) (property (m26)))))
(m28! (object1 (m11!)) (object2 (m27!)) (rel (m8 (lex that is))))

(m30! m29! m28! m27!)

 CPU time : 0.00

*

;She was close to hysteria that is; Her arms and hands trembled uncontrollably.
(describe (add object1 (build object *her property (build lex "hysteria")
                        )
                  rel (build lex "that\ is")
                  object2 (add agent *her act (build action
                                (build lex "Arms\ tremble\ uncontrollably")))))

(m34! (object1 (m11! (object b1) (property (m10 (lex hysteria)))))
 (object2
  (m33! (act (m32 (action (m31 (lex Arms tremble uncontrollably)))))
   (agent b1)))
 (rel (m8 (lex that is))))

(m34!)

 CPU time : 0.00

*
(describe (add object1 (build object *her property (build lex "hysteria")
                        )
                  rel (build lex "that\ is")
                  object2 (add agent *her act (build action
                        (build lex "Hands\ tremble\ uncontrollably")))))

(m38! (object1 (m11! (object b1) (property (m10 (lex hysteria)))))
 (object2
  (m37! (act (m36 (action (m35 (lex Hands tremble uncontrollably)))))
   (agent b1)))
 (rel (m8 (lex that is))))

(m38!)

 CPU time : 0.00

*
(describe (add object1 (build object *her property (build lex "hysteria")
                        )
                  rel (build lex "that\ is")
                  object2 (build object *her property (build lex "Trembling") )
        )
)

(m46! (object b1) (property (m5 (lex Unstable))))
(m45! (object b1) (property (m6 (lex Fearful))))
(m44! (object (m10 (lex hysteria))) (property (m5)))
(m43! (object (m10)) (property (m6)))
(m42! (ant (m11! (object b1) (property (m10))))
 (cq (m41! (object (m10)) (property (m4 (lex Trembling))))
  (m39! (object b1) (property (m4)))))
(m40! (object1 (m11!)) (object2 (m39!)) (rel (m8 (lex that is))))

(m46! m45! m44! m43! m42! m41! m40! m39!)

 CPU time : 0.01

*
(describe (find object (build lex "hysteria") property ?x))

(m14! (object (m10 (lex hysteria)))
 (property (m1 (lex Voice is slurred))))
(m16! (object (m10)) (property (m2 (lex Scared))))
(m29! (object (m10)) (property (m26 (lex Frantic))))
(m41! (object (m10)) (property (m4 (lex Trembling))))
(m43! (object (m10)) (property (m6 (lex Fearful))))
(m44! (object (m10)) (property (m5 (lex Unstable))))

(m14! m16! m29! m41! m43! m44!)

 CPU time : 0.00

*

End of /home/unmdue/phoellig/CSE663/Hysteriathatis.demo demonstration.


 CPU time : 0.07

*