Script started on Thu Oct  8 20:20:57 1987
sneps
gort<peters:1:1> sneps
Franz Lisp, Opus 38.79
Thu Oct  8 20:21:05 1987

-----------------------------
~snerg/.lisprc.l init-loaded.
-----------------------------

The following arcs have been defined: 

(before after)
(stime stime-)
(etime etime-)
(agent agent-)
(act act-)
(object object-)
(member member-)
(class class-)
(subclass subclass-)
(superclass superclass-)
(propername propername-)
(equiv equiv-)
(property property-)
(genproperty genproperty-)
(speak speak-)
(struct struct-)
(arg1 arg1-)
(rel rel-)
(arg2 arg2-)
(lex lex-)


THIS GRAMMAR REQUIRES PUNCTUATION AT THE END OF INPUT SENTENCES! 
sneps
*(demo demo.rap.5 6)
File demo.rap.6 is now the source of input stream
nil 
exec: 0.01 sec    gc: 0.00 sec 

* (^(setq infertrace nil))
nil 
exec: 0.03 sec    gc: 0.00 sec 

;
;(^(setq auto-add t))
;
* (def-path superclass (compose superclass 
       (kstar (compose subclass- superclass))))


(superclass defined alternately as path (compose superclass (kstar (compose subclass- superclass))))

(superclass- defined alternately as path (compose (kstar (compose superclass- subclass)) superclass-))(defined) 
exec: 0.06 sec    gc: 0.00 sec 

;
* (def-path arg2 (domain-restrict (rel isa)
   (compose arg2 (kstar (compose subclass- superclass)))))


(arg2 defined alternately as path (domain-restrict (rel isa) (compose arg2 (kstar (compose subclass- superclass)))))

(arg2- defined alternately as path (range-restrict (compose (kstar (compose superclass- subclass)) arg2-) (rel isa)))(defined) 
exec: 0.13 sec    gc: 1.73 sec 

;
;(def-path class (compose class (kstar (compose subclass- superclass))))
;
* (build avb($x $y $z)
             &ant((build member *x class *y)
                 (build subclass *y superclass *z))
             cq (build arg1 *x rel isa arg2 *z))
(m4) 
exec: 0.20 sec    gc: 0.00 sec 

;
* (def-path object (compose object (kstar (compose equiv- equiv))))


(object defined alternately as path (compose object (kstar (compose equiv- equiv))))

(object- defined alternately as path (compose (kstar (compose equiv- equiv)) object-))(defined) 
exec: 0.10 sec    gc: 0.00 sec 

;
* (^(parse -1))

atn parser initialization 

 Input sentences in normal English orthographic convention. 
 May go beyond a line by having a space followed by <CR>. 
 To end parser, write  ^end . 
;



: John petted a yellow cat.






I understand that John petted a yellow cat 


(time (sec.) : => (cpu= 9.616 gc= 1.916) <=) 

: The cat is a manx.


I understand that the yellow cat is a manx 


(time (sec.) : => (cpu= 5.166 gc= 1.716) <=) 

: What did John pet?


John petted a yellow cat 


(time (sec.) : => (cpu= 5.733 gc= 0.00) <=) 

: The dog is a mammal.


I understand that dogs are mammals 


(time (sec.) : => (cpu= 3.833 gc= 1.783) <=) 

: For every d if d is a dog then there is a b such that b is a boy and b owns d.
I understand that for every d, if d is a dog 

   then there exists a b such that b is a boy 
and 
        b owns d 


(time (sec.) : => (cpu= 18.500 gc= 9.833) <=) 

: Young Lucy petted a yellow dog.








I understand that young Lucy petted a yellow dog 


(time (sec.) : => (cpu= 16.533 gc= 3.816) <=) 

: The boy saw her.


I understand that the boy saw young Lucy 


(time (sec.) : => (cpu= 9.400 gc= 1.866) <=) 

: The boy is named Bill.


I understand that Bill is the boy 


(time (sec.) : => (cpu= 4.950 gc= 1.883) <=) 

: He is clever.
I understand that Bill is clever 


(time (sec.) : => (cpu= 5.333 gc= 0.00) <=) 

: He loved Lucy.
I understand that clever Bill loved young Lucy 


(time (sec.) : => (cpu= 8.983 gc= 1.966) <=) 

: Who was loved by him?


young Lucy was loved by clever Bill 


(time (sec.) : => (cpu= 7.816 gc= 0.00) <=) 

: Who is young?


Lucy is young 


(time (sec.) : => (cpu= 4.750 gc= 0.00) <=) 

: Who is clever?


Bill is clever 


(time (sec.) : => (cpu= 4.666 gc= 0.00) <=) 

: What is yellow?


a cat is yellow 
and 
a dog is yellow 


(time (sec.) : => (cpu= 7.616 gc= 1.866) <=) 

: Lucy is a girl.
I understand that young Lucy is a girl 


(time (sec.) : => (cpu= 5.666 gc= 0.00) <=) 

: What did she pet?


young Lucy petted a yellow dog 


(time (sec.) : => (cpu= 6.883 gc= 0.00) <=) 

: Girls are people.
I understand that girls are people 


(time (sec.) : => (cpu= 3.583 gc= 1.950) <=) 

: What was petted by a person?


a yellow dog was petted by young Lucy 


(time (sec.) : => (cpu= 12.916 gc= 0.00) <=) 

: John is a boy.
I understand that John is a boy 


(time (sec.) : => (cpu= 4.800 gc= 0.00) <=) 

: ^end
(end atn parser) 
exec: 148.13 sec    gc: 30.48 sec 

;
* (build avb ($x $y $z)
     &ant((build member *x class *y)
          (build subclass *y superclass *z))
       cq(build arg1 *x rel isa arg2 *z))
(m86) 
exec: 0.41 sec    gc: 0.00 sec 

;
* (^(parse -1))

atn parser initialization 

 Input sentences in normal English orthographic convention. 
 May go beyond a line by having a space followed by <CR>. 
 To end parser, write  ^end . 
;



: Boys are people.
I understand that boys are people 


(time (sec.) : => (cpu= 3.583 gc= 0.00) <=) 

: What was petted by a person?


a yellow dog was petted by young Lucy 
and 
a yellow cat was petted by John 


(time (sec.) : => (cpu= 28.866 gc= 6.200) <=) 

: Dogs are animals.
I understand that dogs are animals 


(time (sec.) : => (cpu= 3.800 gc= 0.00) <=) 

: They are smart.
I understand that for every v9, if v9 is a dog 

   then presumably v9 is smart 


(time (sec.) : => (cpu= 5.616 gc= 2.083) <=) 

: Who petted an animal?


young Lucy petted a yellow dog 


(time (sec.) : => (cpu= 22.733 gc= 2.083) <=) 

: The dog is named Rover.


I understand that Rover is the yellow dog 


(time (sec.) : => (cpu= 6.133 gc= 0.00) <=) 

: Who owns Rover?


clever Bill owns yellow Rover 


(time (sec.) : => (cpu= 9.033 gc= 2.050) <=) 

: Who is smart?


yellow Rover is smart 


(time (sec.) : => (cpu= 8.800 gc= 0.00) <=) 

: What was petted by a person?


smart yellow Rover was petted by young Lucy 
and 
a yellow cat was petted by John 


(time (sec.) : => (cpu= 34.883 gc= 4.150) <=) 

: Lucy is sweet.
I understand that young Lucy is sweet 


(time (sec.) : => (cpu= 6.166 gc= 0.00) <=) 

: Who loved her?


clever Bill loved sweet young Lucy 


(time (sec.) : => (cpu= 8.833 gc= 2.066) <=) 

: Dogs are pets.
I understand that dogs are pets 


(time (sec.) : => (cpu= 3.783 gc= 0.00) <=) 

: For every p and d if p is a person and d is a pet then p loves d.
I understand that for every d and p, if p is a person 
and 
   d is a pet 

   then p loves d 


(time (sec.) : => (cpu= 15.950 gc= 4.383) <=) 

: Who loves a pet?


sweet young Lucy loves smart yellow Rover 
and 
clever Bill loves smart yellow Rover 
and 
John loves smart yellow Rover 


(time (sec.) : => (cpu= 89.716 gc= 30.400) <=) 

: Tall Bob likes himself.




I understand that tall Bob likes tall Bob 


(time (sec.) : => (cpu= 14.800 gc= 2.283) <=) 

: He dislikes John.
I understand that tall Bob dislikes John 


(time (sec.) : => (cpu= 9.166 gc= 2.183) <=) 

: He hates him.
I understand that tall Bob hates John 


(time (sec.) : => (cpu= 10.533 gc= 0.00) <=) 

: Bob saw a professor.


I understand that tall Bob saw a professor 


(time (sec.) : => (cpu= 12.766 gc= 2.150) <=) 

: She is smart.
I understand that a professor is smart 


(time (sec.) : => (cpu= 5.600 gc= 0.00) <=) 

: She likes him.
I understand that a smart professor likes tall Bob 


(time (sec.) : => (cpu= 9.766 gc= 2.300) <=) 

: Lucy believes that John is rich.


I understand that sweet young Lucy believes that John is rich 
  


(time (sec.) : => (cpu= 25.650 gc= 2.516) <=) 

: Who is rich?


I don't know. 


(time (sec.) : => (cpu= 2.100 gc= 0.00) <=) 

: Lucy believes that John is old.
I understand that sweet young Lucy believes that rich John is old 
  


(time (sec.) : => (cpu= 23.250 gc= 4.700) <=) 

: Lucy believes of Bill that he is stupid.
I understand that sweet young Lucy believes of clever Bill that he is stupid 
  


(time (sec.) : => (cpu= 23.166 gc= 2.333) <=) 

: Lucy believes that she is rich.
I understand that sweet young Lucy believes that she* is rich 
  


(time (sec.) : => (cpu= 13.833 gc= 0.00) <=) 

: ^end
(end atn parser) 
exec: 400.51 sec    gc: 71.88 sec 

;
* (desc *nodes)

(m182 (arg
       (m181 (object (m180 (property (m168 (lex (rich)))) (object (b5))))
             (act (m164 (lex (believe))))
             (agent (b5))))
      (max (1))
      (min (1)))
(m179 (arg
       (m178 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (m177 (property (m176 (lex (stupid)))) (object (b7))))
             (act (m164 (lex (believe))))
             (agent (b5))))
      (max (1))
      (min (1)))
(m175 (arg
       (m174 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (m173 (property (m172 (lex (old)))) (object (b13))))
             (act (m164 (lex (believe))))
             (agent (b5))))
      (max (1))
      (min (1)))
(m171 (arg
       (m170 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (m169 (property (m168 (lex (rich)))) (object (b13))))
             (act (m164 (lex (believe))))
             (agent (b5))))
      (max (1))
      (min (1)))
(m167 (arg
       (m166 (object (m165 (object (b13)) (propername (m5 (lex (John))))))
             (act (m164 (lex (believe))))
             (agent (b5))))
      (max (1))
      (min (1)))
(m163 (arg
       (m162 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (b8) (b9) (b10))
             (act (m141 (lex (like))))
             (agent (b12))))
      (max (1))
      (min (1)))
(m161 (arg (m160 (property (m97 (lex (smart)))) (object (b12))))
      (max (1))
      (min (1)))
(m159 (arg
       (m158 (etime (m153 (before (b1 (before (m32))))))
             (stime (m154 (before (m153 (before (b1 (before (m32))))))))
             (object (b12))
             (act (m55 (lex (see))))
             (agent (b8) (b9) (b10))))
      (max (1))
      (min (1)))
(m157 (arg (m156 (arg2 (m155 (lex (professor)))) (rel (isa)) (arg1 (b12))))
      (max (1))
      (min (1)))
(m152 (arg
       (m149 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (b11))
             (act (m148 (lex (hate))))
             (agent (b10))))
      (max (1))
      (min (1)))
(m151 (equiv (b11) (b3)))
(m150 (equiv (b10) (b8)))
(m147 (arg
       (m146 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (b3))
             (act (m145 (lex (dislike))))
             (agent (b8))))
      (max (1))
      (min (1)))
(m144 (arg
       (m143 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (b9))
             (act (m141 (lex (like))))
             (agent (b8))))
      (max (1))
      (min (1)))
(m142 (equiv (b9) (b8)))
(separate_object (:val (b11)))
(m140 (arg (m139 (property (m135 (lex (tall)))) (object (b8))))
      (max (1))
      (min (1)))
(m138 (arg (m137 (object (b8)) (propername (m136 (lex (Bob))))))
      (max (1))
      (min (1)))
(m134 (arg (m128 (arg
                  (m123 (arg2 (m115 (lex (petn)))) (rel (isa)) (arg1 (b6))))
                 (max (1))
                 (min (1)))
           (m126 (etime (m32))
                 (stime (m33 (before (b1 (before (m32))) (m32))))
                 (object (b6))
                 (act (m66 (lex (love))))
                 (agent (b3))))
      (max (2))
      (min (2)))
(m133 (arg
       (m126 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (b6))
             (act (m66 (lex (love))))
             (agent (b3))))
      (max (1))
      (min (1)))
(m132 (arg (m128 (arg
                  (m123 (arg2 (m115 (lex (petn)))) (rel (isa)) (arg1 (b6))))
                 (max (1))
                 (min (1)))
           (m125 (etime (m32))
                 (stime (m33 (before (b1 (before (m32))) (m32))))
                 (object (b6))
                 (act (m66 (lex (love))))
                 (agent (b7))))
      (max (2))
      (min (2)))
(m131 (arg
       (m125 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (b6))
             (act (m66 (lex (love))))
             (agent (b7))))
      (max (1))
      (min (1)))
(m130 (arg (m128 (arg
                  (m123 (arg2 (m115 (lex (petn)))) (rel (isa)) (arg1 (b6))))
                 (max (1))
                 (min (1)))
           (m124 (etime (m32))
                 (stime (m33 (before (b1 (before (m32))) (m32))))
                 (object (b6))
                 (act (m66 (lex (love))))
                 (agent (b5))))
      (max (2))
      (min (2)))
(m129 (arg
       (m128 (arg (m123 (arg2 (m115 (lex (petn)))) (rel (isa)) (arg1 (b6))))
             (max (1))
             (min (1))))
      (max (1))
      (min (1)))
(m127 (arg
       (m124 (etime (m32))
             (stime (m33 (before (b1 (before (m32))) (m32))))
             (object (b6))
             (act (m66 (lex (love))))
             (agent (b5))))
      (max (1))
      (min (1)))
(m122 (arg
       (m121 (cq
              (m120 (etime (m32))
                    (stime (m33 (before (b1 (before (m32))) (m32))))
                    (object (v11 (:val (d (:val (v11))))))
                    (act (m66 (lex (love))))
                    (agent (v10 (:val (p (:val (v10))))))))
             (&ant (m118 (arg2 (m74 (lex (person))))
                         (rel (isa))
                         (arg1 (v10 (:val (p (:val (v10)))))))
                   (m119 (arg2 (m115 (lex (petn))))
                         (rel (isa))
                         (arg1 (v11 (:val (d (:val (v11))))))))
             (avb (v11 (:val (d (:val (v11)))))
                  (v10 (:val (p (:val (v10))))))))
      (max (1))
      (min (1)))
(m117 (arg
       (m116 (superclass (m115 (lex (petn)))) (subclass (m24 (lex (dog))))))
      (max (1))
      (min (1)))
(m114 (arg (m113 (property (m112 (lex (sweet)))) (object (b5))))
      (max (1))
      (min (1)))
(m111 (arg (m110 (property (m97 (lex (smart)))) (object (b6))))
      (max (1))
      (min (1)))
(m109 (arg
       (m49 (etime (m32))
            (stime (m33 (before (b1 (before (m32))) (m32))))
            (object (b6))
            (act (m31 (lex (own))))
            (agent (b7))))
      (max (1))
      (min (1)))
(m108 (arg (m107 (propername (m106 (lex (Rover)))) (object (b6))))
      (max (1))
      (min (1)))
(m105 (arg (m103 (arg
                  (m102 (arg2 (m94 (lex (animal)))) (rel (isa)) (arg1 (b6))))
                 (max (1))
                 (min (1)))
           (m53 (etime (m44 (before (b1 (before (m32))))))
                (stime (m45 (before (m44 (before (b1 (before (m32))))))))
                (object (b6))
                (act (m8 (lex (petv))))
                (agent (b5))))
      (max (2))
      (min (2)))
(m104 (arg
       (m103 (arg (m102 (arg2 (m94 (lex (animal)))) (rel (isa)) (arg1 (b6))))
             (max (1))
             (min (1))))
      (max (1))
      (min (1)))
(m101 (arg
       (m100 (dcq (m99 (property (m97 (lex (smart)))) (object (v9))))
             (ant (m98 (class (m24 (lex (dog)))) (member (v9))))
             (avb (v9))))
      (max (1))
      (min (1)))
(m96 (arg (m95 (superclass (m94 (lex (animal)))) (subclass (m24 (lex (dog))))))
     (max (1))
     (min (1)))
(m93 (arg (m91 (arg (m90 (arg2 (m74 (lex (person)))) (rel (isa)) (arg1 (b3))))
               (max (1))
               (min (1)))
          (m17 (etime (m9 (before (b1 (before (m32))))))
               (stime (m10 (before (m9 (before (b1 (before (m32))))))))
               (object (b4))
               (act (m8 (lex (petv))))
               (agent (b3))))
     (max (2))
     (min (2)))
(m92 (arg
      (m91 (arg (m90 (arg2 (m74 (lex (person)))) (rel (isa)) (arg1 (b3))))
           (max (1))
           (min (1))))
     (max (1))
     (min (1)))
(m89 (arg2 (m74 (lex (person)))) (rel (isa)) (arg1 (b7)))
(m88 (arg (m87 (superclass (m74 (lex (person)))) (subclass (m29 (lex (boy))))))
     (max (1))
     (min (1)))
(m86 (cq (m85 (arg2 (v8)) (rel (isa)) (arg1 (v6))))
     (&ant (m84 (superclass (v8)) (subclass (v7)))
           (m83 (class (v7)) (member (v6))))
     (avb (v8) (v7) (v6)))
(m82 (arg (m81 (class (m29 (lex (boy)))) (member (b3)))) (max (1)) (min (1)))
(m80 (arg (m78 (arg (m77 (arg2 (m74 (lex (person)))) (rel (isa)) (arg1 (b5))))
               (max (1))
               (min (1)))
          (m53 (etime (m44 (before (b1 (before (m32))))))
               (stime (m45 (before (m44 (before (b1 (before (m32))))))))
               (object (b6))
               (act (m8 (lex (petv))))
               (agent (b5))))
     (max (2))
     (min (2)))
(m79 (arg
      (m78 (arg (m77 (arg2 (m74 (lex (person)))) (rel (isa)) (arg1 (b5))))
           (max (1))
           (min (1))))
     (max (1))
     (min (1)))
(m76 (arg
      (m75 (superclass (m74 (lex (person)))) (subclass (m71 (lex (girl))))))
     (max (1))
     (min (1)))
(m73 (arg (m72 (class (m71 (lex (girl)))) (member (b5)))) (max (1)) (min (1)))
(m70 (arg
      (m69 (etime (m67 (before (b1 (before (m32))))))
           (stime (m68 (before (m67 (before (b1 (before (m32))))))))
           (object (b5))
           (act (m66 (lex (love))))
           (agent (b7))))
     (max (1))
     (min (1)))
(m65 (arg (m64 (property (m63 (lex (clever)))) (object (b7))))
     (max (1))
     (min (1)))
(m62 (arg (m61 (propername (m60 (lex (Bill)))) (object (b7))))
     (max (1))
     (min (1)))
(m59 (arg
      (m58 (etime (m56 (before (b1 (before (m32))))))
           (stime (m57 (before (m56 (before (b1 (before (m32))))))))
           (object (b5))
           (act (m55 (lex (see))))
           (agent (b7))))
     (max (1))
     (min (1)))
(m54 (arg
      (m53 (etime (m44 (before (b1 (before (m32))))))
           (stime (m45 (before (m44 (before (b1 (before (m32))))))))
           (object (b6))
           (act (m8 (lex (petv))))
           (agent (b5))))
     (max (1))
     (min (1)))
(m52 (arg (m51 (property (m11 (lex (yellow)))) (object (b6))))
     (max (1))
     (min (1)))
(m50 (arg (m46 (class (m24 (lex (dog)))) (member (b6)))) (max (1)) (min (1)))
(m48 (class (m29 (lex (boy)))) (member (b7)))
(m47 (arg2 (m25 (lex (mammal)))) (rel (isa)) (arg1 (b6)))
(m43 (arg (m42 (property (m38 (lex (young)))) (object (b5))))
     (max (1))
     (min (1)))
(m41 (arg (m40 (object (b5)) (propername (m39 (lex (Lucy))))))
     (max (1))
     (min (1)))
(m37 (arg
      (m36 (cq
            (m35 (arg (m30 (class (m29 (lex (boy))))
                           (member (v5 (:val (b7)))))
                      (m34 (etime (m32))
                           (stime (m33 (before (b1 (before (m32))) (m32))))
                           (object (v4 (:val (d (:val (v11 (:val (d))))))))
                           (act (m31 (lex (own))))
                           (agent (v5 (:val (b7))))))
                 (evb (v5 (:val (b7))))
                 (max (2))
                 (min (2))))
           (ant
            (m28 (class (m24 (lex (dog))))
                 (member (v4 (:val (d (:val (v11 (:val (d))))))))))
           (avb (v4 (:val (d (:val (v11 (:val (d))))))))))
     (max (1))
     (min (1)))
(b (:val (v5 (:val (b7)))))
(m27 (arg (m26 (superclass (m25 (lex (mammal)))) (subclass (m24 (lex (dog))))))
     (max (1))
     (min (1)))
(do)
(m23 (lex (do)))
(m22 (arg (m21 (arg2 (m20 (lex (manx)))) (rel (isa)) (arg1 (b4))))
     (max (1))
     (min (1)))
(be)
(m19 (lex (be)))
(m18 (arg
      (m17 (etime (m9 (before (b1 (before (m32))))))
           (stime (m10 (before (m9 (before (b1 (before (m32))))))))
           (object (b4))
           (act (m8 (lex (petv))))
           (agent (b3))))
     (max (1))
     (min (1)))
(m16 (arg (m15 (property (m11 (lex (yellow)))) (object (b4))))
     (max (1))
     (min (1)))
(m14 (arg (m13 (class (m12 (lex (cat)))) (member (b4)))) (max (1)) (min (1)))
(new_member (:val (b12)))
(etm (:val (m32)))
(m7 (arg (m6 (object (b3)) (propername (m5 (lex (John))))))
    (max (1))
    (min (1)))
(new_named (:val (b13)))
(I (:val (b2)))
(now (:val (b1 (before (m32)))))
(beliefstack (:val))
(m4 (cq (m3 (arg2 (v3)) (rel (isa)) (arg1 (v1))))
    (&ant (m2 (superclass (v3)) (subclass (v2)))
          (m1 (class (v2)) (member (v1))))
    (avb (v3) (v2) (v1)))
(z (:val (v8)))
(y (:val (q00449)))
(x (:val (q00589)))
(dumped) 
exec: 7.81 sec    gc: 2.25 sec 

| text file input completed|
*(exit)
No files updated. 
gort<peters:1:2> 
script done on Thu Oct  8 21:15:03 1987