;;;  TWO-FIGURE-DATA.LISP is a data file for VERSION-SPACE which uses a two-object
;;;  description language where each object is represented as a feature vector

(setf *domains* '((large medium small)(blue red green)(square triangle circle)))
(setf *feature-names* '(size color shape))


;;; The first three examples in the following example are the same as the
;;; example given in the Mitchell AIJ paper.
(setf example1  '((+ ((large red triangle)(small blue circle)))   
		  (+ ((large blue circle) (small red triangle)))
		  (- ((large blue triangle) (small blue triangle)))
		  (- ((large red circle)(large red triangle)))
		  (+ ((small blue triangle)(large red circle)))))

(setf example2 '((+ ((medium red circle)(large blue triangle)))
		 (- ((medium blue circle)(small red square)))
		 (+ ((small green square) (large red circle)))
		 (- ((large green triangle) (small red square)))))
