;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)

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



; 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)))))



; 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))))




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

;There is someone named Hayward

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


;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))))))

; 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)))

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



;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))))))))))