;;;; Data for the EXPLORER system.  Examples are atoms whose values are lists of feature-value pairs.
;;;; EXPLORER must be modified to make conjectures in order to get "interesting" results from this data

;;; *domains* specifies the domain of each feature
(setf *domains*  '((sides 3 4)(right-angles 0 1 4)(equal-sides 0 2 3 4)
		   (angle-sum 180 360)(parallel-sides 0 1 2)))

(setf isoceles-triangle       '((sides 3)(right-angles 0)(angle-sum 180)(equal-sides 2)(parallel-sides 0)))
(setf equilateral-triangle    '((sides 3)(right-angles 0)(angle-sum 180)(equal-sides 3)(parallel-sides 0)))
(setf right-triangle          '((sides 3)(right-angles 1)(angle-sum 180)(equal-sides 0)(parallel-sides 0)))
(setf right-isoceles-triangle '((sides 3)(right-angles 1)(angle-sum 180)(equal-sides 2)(parallel-sides 0)))
(setf triangle                '((sides 3)(right-angles 0)(angle-sum 180)(equal-sides 0)(parallel-sides 0)))
(setf square                  '((sides 4)(right-angles 4)(angle-sum 360)(equal-sides 4)(parallel-sides 2)))
(setf rhombus                 '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 4)(parallel-sides 2)))
(setf regular-trapezoid       '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 2)(parallel-sides 1)))
(setf parallelogram           '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 0)(parallel-sides 2)))
(setf quadrilateral           '((sides 4)(right-angles 0)(angle-sum 360)(equal-sides 0)(parallel-sides 0)))

(setf polygon-examples '(isoceles-triangle equilateral-triangle right-triangle right-isoceles-triangle
			   triangle square rhombus regular-trapezoid  parallelogram quadrilateral))