;;;"juggernaut" passage
;;;Written by Matthew Watkins, Fall 2002

;;; turn off singular path inference
^(in-package snip)

;;; redefine function to return nil
;;; so that forward inference will not be limited
^(defun broadcast-one-report (rep)
	(let (anysent)
	  (do.chset (ch *OUTGOING-CHANNELS* anysent)
		(when (isopen.ch ch)
		   (setq anysent (or (try-to-send-report rep ch) anysent)))))
	nil)

;;; return to sneps package
^(in-package sneps)

;;; Reset the network
(resetnet t)

(intext "/projects/stn2/CVA/demos/rels")
(intext "/projects/stn2/CVA/demos/paths")

;;; Load juggernaut background knowledge
(demo "/home/cendue/watkins8/CVA/juggernaut3.base")

;There is something with the proper-name extreme sports
(describe
(add object #extremesports
     proper-name (build lex "Extreme Sports")))

;Extreme sports has the property of being pesky
(describe
(add object *extremesports
     property (build lex "pesky")))

;Extreme sports is a member of the class subculture
(describe
(add member *extremesports
     class (build lex "subculture")))

;The Olympics is a subclass of juggernaut.
(describe
(add property (build lex "Olympics")
     object (build lex "juggernaut")))

;Extreme sports is absorbed into the juggernaut
(describe
(add object1 *extremesports
     rel (build lex "absorbed into")
     object2 (build lex "juggernaut")) = ESabsorbedintoOJ)

;If extreme sports is absorbed in the Olympics juggernaut, then some people will
;kick and scream
(describe
(add ant *ESabsorbedintoOJ
     cq (build agent (build lex "some people")
	       act (build lex "kick and scream"))))

;;;What is the definition of "juggernaut"
^(defineNoun "juggernaut")