File /home/unmdue/ask8/sneps1.demo is now the source of input.

  The demo will pause between commands, at that time press
  RETURN to continue, or ? to see a list of available commands


 CPU time : 0.00

* ;Hayward thought the food was not good.
;Philip thought the food was good.
;Philip did not want Hayward to think that he, Philip, thought the food
;was good when someone else thought it was execrable.



;resetting the network
(resetnet t)

Net reset


 CPU time : 0.01

*

;defining all the arcs
(define object proper-name property agent act action lex member class arg min max synonym)


act is already defined.
action is already defined.
arg is already defined.
min is already defined.
max is already defined.

(object proper-name property agent act action lex member class arg min
 max synonym)

 CPU time : 0.00

*



; if some p wants h not to think that
; p thinks that some f is g when someone thinks that that f is e
; then, if an f1 is e, then that f1 is not g.

(describe(assert
  forall ($p $h $s $f $e $g)
  ant
   (build
     agent *p
     act
      (build
        action (build lex want)
        object
         (build
           min 0 max 0
           arg
            (build agent *h
                   act
                    (build
                      action (build lex think)
                      object
                       (build agent *p
                              act
                               (build
                                 action (build lex think)
                                 object
                                  (build object *f
                                         property *g)))
                      object
                       (build agent *s
                              act
                               (build
                                 action (build lex think)
                                 object
                                  (build object *f
                                         property *e))))))))
  cq (build forall $f1
            ant (build object *f1 property *e)
            cq  (build min 0 max 0 arg (build object *f1 property *g)))))

(m3! (forall v6 v5 v4 v3 v2 v1)
 (ant
  (p11
   (act (p10 (action (m1 (lex want)))
         (object
          (p9 (min 0) (max 0)
           (arg
            (p8
             (act (p7 (action (m2 (lex think)))
                   (object
                    (p6
                     (act (p5 (action (m2))
                           (object (p4 (object v4) (property v5)))))
                     (agent v3))
                    (p3
                     (act (p2 (action (m2))
                           (object (p1 (object v4) (property v6)))))
                     (agent v1)))))
             (agent v2)))))))
   (agent v1)))
 (cq
  (p15 (forall v7) (ant (p12 (object v7) (property v5)))
   (cq (p14 (min 0) (max 0) (arg (p13 (object v7) (property v6))))))))

(m3!)

 CPU time : 0.01

*



; if something is not good, then it is bad

(describe(assert forall $x
        ant (build min 0 max 0
                   arg (build object *x property (build lex good)))
        cq  (build object *x property (build lex bad))))

(m6! (forall v8)
 (ant
  (p17 (min 0) (max 0)
   (arg (p16 (object v8) (property (m4 (lex good)))))))
 (cq (p18 (object v8) (property (m5 (lex bad))))))

(m6!)

 CPU time : 0.00

*




; there is some food
(describe(add member #food class (build lex food)))


(m8! (class (m7 (lex food))) (member b1))

(m8!)

 CPU time : 0.00

*

;There is someone named Hayward

(describe(add object #hayward proper-name (build lex Hayward)))

(m10! (object b2) (proper-name (m9 (lex Hayward))))

(m10!)

 CPU time : 0.01

*


;Hayward thinks the food is not good

(describe(add agent *hayward
     act (build action (build lex think)
                object (build min 0 max 0
                              arg (build object *food
                                         property (build lex good))))))

(m14!
 (act (m13 (action (m2 (lex think)))
       (object
        (m12 (min 0) (max 0)
         (arg (m11 (object b1) (property (m4 (lex good)))))))))
 (agent b2))

(m14!)

 CPU time : 0.01

*

; Philip thought the food was good.
; = something is named "Philip" & he thinks the food is good

(describe(add object #philip proper-name (build lex Philip)))


(m16! (object b3) (proper-name (m15 (lex Philip))))

(m16!)

 CPU time : 0.01

*

(describe(add agent *philip
     act (build action (build lex think)
                object (build object *food property (build lex good)))))

(m18!
 (act (m17 (action (m2 (lex think)))
       (object (m11 (object b1) (property (m4 (lex good)))))))
 (agent b3))

(m18!)

 CPU time : 0.01

*



;Philip did not want Hayward to think that he, Philip, thought the food
;was good when someone else thought it was execrable.


(describe(add
  agent *philip
  act
   (build
     action (build lex want)
     object
      (build
        min 0 max 0
        arg
         (build agent *hayward
                act
                 (build
                   action (build lex think)
                   object
                    (build agent *philip
                           act
                            (build
                              action (build lex think)
                              object
                               (build object *food
                                      property (build lex good))))
                   object
                    (build agent #someone
                           act
                            (build
                              action (build lex think)
                              object
                               (build object *food
                                      property (build lex execrable))))))))))

(m28! (forall v7)
 (ant (p19 (object v7) (property (m19 (lex execrable)))))
 (cq
  (p21 (min 0) (max 0)
   (arg (p20 (object v7) (property (m4 (lex good))))))))
(m27!
 (act (m26 (action (m1 (lex want)))
       (object
        (m25 (min 0) (max 0)
         (arg
          (m24
           (act (m23 (action (m2 (lex think)))
                 (object
                  (m22
                   (act (m21 (action (m2))
                         (object (m20 (object b1) (property (m19))))))
                   (agent b4))
                  (m18!
                   (act (m17 (action (m2))
                         (object (m11 (object b1) (property (m4))))))
                   (agent b3)))))
           (agent b2)))))))
 (agent b3))

(m28! m27!)

 CPU time : 0.06

*


End of /home/unmdue/ask8/sneps1.demo demonstration.


 CPU time : 0.12