;;; Domain file of toy examples for EGGS including the famous safe-to-stack and
;;; suicide examples.
;;; Try (eggs '(safe-to-stack obj1 obj2)) and (eggs '(kill john john))

(index-brules '((<- (safe-to-stack ?x ?y) (not (fragile ?y)))
		(<- (safe-to-stack ?x ?y) (lighter ?x ?y))
		(<- (weight ?x ?w) (volume ?x ?v)(density ?x ?d)(times ?v ?d ?w))
		(<- (lighter ?x ?y)(weight ?x ?w)(weight ?y ?z)(less ?w ?z))
		(<- (weight ?x 5) (isa ?x endtable))))

(index-facts '((on obj1 obj2)(isa obj1 box)(isa obj2 endtable)(color obj1 red)
	       (color obj2 blue)(volume obj1 1)(density obj1 .1)(times 1 ?x ?x)
	       (less .1 5)))

(index-brules '((<- (kill ?x ?y)(hate ?x ?y)(possess ?x ?w)(isa ?w weapon))
		(<- (hate ?x ?x) (depressed ?x))
		(<- (possess ?x ?y)(buy ?x ?y))
		(<- (isa ?x weapon)(isa ?x gun))))

(index-facts '((depressed john)(buy john g1)(isa g1 gun)))
