;;; The classic cup example formulated for EGGS.  Try (eggs '(cup obj1))

(index-brules '((<- (cup ?x) (stable ?x)(liftable ?x)(open-vessel ?x))
	       (<- (stable ?x) (bottom ?y)(part-of ?y ?x)(flat ?y))
	       (<- (liftable ?x)(graspable ?x)(light ?x))
	       (<- (graspable ?x)(handle ?y)(part-of ?y ?x))
	       (<- (open-vessel ?x)(concavity ?y)(part-of ?y ?x)(upward-pointing ?y))))

(index-facts '((light obj1)(color obj1 red)(part-of handle1 obj1)(handle handle1)
	       (bottom b1)(part-of b1 obj1)(flat b1)(concavity c1)(part-of c1 obj1)
	       (upward-pointing c1)))