;;;Background information for "juggernaut" passage
;;;Written by Matthew Watkins, Fall 2002.

(define member class superclass subclass mod head object object1 object2
	rel agent act lex etime proper-name property antonym synonym skf skarg)

;;Extreme sports background
;There is a sport that is a subclass of a competitive activity
(describe
(assert superclass (build mod (build lex "competitive") head (build lex "activity"))
	subclass (build lex "sport")))
	
;There is some thing with the proper-name extreme sports
(describe
(add object #extremesports
	proper-name (build lex "Extreme Sports")))
	
;This thing is a subclass of sports
(describe 
(add superclass (build lex "sport")
	subclass *extremesports))

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

;Extreme and normal are antonyms
(describe
(add antonym (build lex "extreme")
	antonym (build lex "normal")))

;For all x, if x has the property of being extreme then x also has the property 
;of being high intensity
(describe
(add forall $x
	ant (build object *x
		   property (build lex "extreme"))
	cq (build object *x
		   property (build lex "high intensity"))))

;;Synonym-Synonym rule
;If x and y are synonyms and z has the property x, then z also has the property y.
(describe
(add forall ($prop1 $prop2 $obj)
	&ant ((build synonym *prop1
		     synonym *prop2)
	      (build object *obj
		     property *prop1))
	cq (build object *obj
		  property *prop2)))

;;Antonym-Antonym rules
;If x and y are antonyms and z has the property x, then z does not have the property y.
(describe
(add forall ($p1 $p2 $o)
	&ant ((build antonym *p1
		     antonym *p2)
	      (build object *o
		     property *p1))
	cq (build arg (build object *o property *p2)
		  min 0 max 0)))

;If x and y are antonyms and z does not have the property x, then z does have the
;property y.
(describe
(add forall ($pr1 $pr2 $ob)
	&ant ((build antonym *pr1
		     antonym *pr2)
	      (build arg (build object *ob property *pr1)
		     min 0 max 0))
	cq (build object *ob
		  property *pr2)))

;;Subculture info
;Subculture is a subclass of culture
(describe
(add subclass (build lex "subculture")
	superclass (build lex "culture")))

;Established culture is a subclass of culture
(describe
(add subclass (build lex "established culture")
	superclass (build lex "culture")))

;Established culture has the property of being normal
(describe
(add object (build lex "established culture")
	property (build lex "normal")))

;The Olympics is a member of established culture
(describe
(add superclass (build lex "established culture")
	subclass (build lex "Olympics")))

;The Olympics is a member of the class institution
(describe
(add subclass (build lex "Olympics")
	superclass (build lex "institution")))

;The Olympics is a member of the class sports events
(describe
(add member (build lex "Olympics")
	class (build lex "sports event")))

;Subculture is outside of established culture
(describe
(add object1 (build lex "subculture")
	rel (build lex "outside of")
	object2 (build lex "established culture")))

;Pesky and troublesome are synonyms
(describe
(add synonym (build lex "pesky")
	synonym (build lex "troublesome")))

;;For all x and y, if x is absorbed into y and x is a subclass of subculture,
;;then presumably y is a subclass of established culture.
(describe
(add forall ($v1 $v2)
        &ant ((build object1 *v1
                     rel (build lex "absorbed into")
                     object2 *v2)
              (build subclass *v1
                     superclass (build lex "subculture"))
              (build agent (build lex "some people")
                     act (build lex "kick and scream")))
        cq (build mode (build lex "presumably")
                  subclass *v2
                  superclass (build lex "established culture"))))

;;For all x, if x has property Olympics and Olympics is a member of class z,
;;then x is a member of class z.
(describe
(add forall ($v3 $v4)
	&ant ((build object *v3
		     property (build lex "Olympics"))
	      (build subclass (build lex "Olympics")
	      	     superclass *v4))
	cq (build subclass *v3
		  superclass *v4
		  mode (build lex "presumably"))))

;;Absorbed into rule
;If x is absorbed into y at time t,
;	then there is some time t' preceding t such that
;		x is not part of y at t;
;		and
;		x is part of y at t
(describe
(add forall ($obj1 $obj2 $time $f)
	ant (build object1 *obj1
		   rel (build lex "absorbed into")
		   object2 *obj2
		   etime *time)
	cq ((build object1 (build skf *f
				  skarg *time)
		   rel (build lex "before")
		   object2 *time)
	    (build arg (build object1 *obj1
			      rel (build lex "part of")
			      object2 *obj2
			      etime (build skf *f skarg *time))
		   min 0 max 0)
	    (build object1 *obj1
		   rel (build lex "part of")
		   object2 *obj2
		   etime *time))))

;;If some people kick and scream them some people are resisting
(describe
(add ant (build agent (build lex "some people")
		   act (build lex "kick and scream"))
	cq (build agent (build lex "some people")
		  act (build lex "resist"))))