;;;;  Sample data file for version-space algorithm including sample sets of examples.
;;;;  For example, just call: (version-space example1) to run this example. Setting
;;;;  the flag *trace-vs* to T will produce a trace showing how S and G change after 
;;;;  incrementally processing each example.

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

(setf example1 '((+ (big red circle)) (- (small red square))(+ (small red circle)) 
		 (- (big blue circle))))

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

(setf example3 '((+ (big red circle)) (- (small red triangle))(+ (small red circle)) 
		 (- (big blue circle)) (+ (small green circle))))

(setf example4 '((+ (big red circle)) (+ (small red square)) (- (big blue circle))))

(setf example5 '((+ (big red circle)) (- (big blue circle)) (+ (small blue square))))