(define *people* (make-set 'tom 'fred 'billy  'sue 'jane 'betty
			   'tim 'frank 'barry  'ellen 'joan 'betsy))

(define *gender* 
  (make-set (make-op 'tom 'male)    (make-op 'fred 'male)
	    (make-op 'billy 'male)   (make-op 'tim 'male)
	    (make-op 'frank 'male)   (make-op 'barry 'male)
	    (make-op 'betty 'female) (make-op 'ellen 'female)
	    (make-op 'joan 'female)  (make-op 'betsy 'female)
	    (make-op 'sue 'female)  (make-op 'jane 'female)))

(define *status* 
  (make-set (make-op 'tom 'single)  (make-op 'fred 'married)
	    (make-op 'sue 'single)   (make-op 'jane 'married)
	    (make-op 'billy 'single) (make-op 'betty 'married)
	    (make-op 'tim 'single)   (make-op 'frank 'married)
	    (make-op 'ellen 'single) (make-op 'joan 'married)
	    (make-op 'barry 'single) (make-op 'betsy 'married)))

(define *orientation* 
  (make-set  (make-op 'tom 'female)  (make-op 'fred 'female)
	     (make-op 'sue 'female)    (make-op 'jane 'female)
	     (make-op 'fred 'male)      (make-op 'billy 'male)
	     (make-op 'sue 'male)       (make-op 'betty 'male)
	     (make-op 'tim 'female)    (make-op 'frank 'female)
	     (make-op 'ellen 'female)  (make-op 'joan 'female)
	     (make-op 'tim 'male)       (make-op 'barry 'male)
	     (make-op 'ellen 'male)     (make-op 'betsy 'male)))

(define *interest* 
 (make-set 
  (make-op 'tom 'music)   (make-op 'tom 'film)   (make-op 'tom 'dance) 
  (make-op 'fred 'sports) (make-op 'fred 'film)  (make-op 'fred 'art)
  (make-op 'sue 'music)   (make-op 'sue 'film)   (make-op 'sue 'dance)
  (make-op 'jane 'sports) (make-op 'jane 'film)  (make-op 'jane 'art)
  (make-op 'billy 'music) (make-op 'billy 'dance)(make-op 'billy 'art)
  (make-op 'betty 'sports)(make-op 'betty 'dance)(make-op 'betty 'art)
  (make-op 'tim 'music)   (make-op 'tim 'dance)  (make-op 'tim 'art)
  (make-op 'frank 'sports)(make-op 'frank 'dance)(make-op 'frank 'art)
  (make-op 'ellen 'music) (make-op 'ellen 'film) (make-op 'ellen 'dance)
  (make-op 'joan 'sports) (make-op 'joan 'film)  (make-op 'joan 'art)
  (make-op 'barry 'music) (make-op 'barry 'film) (make-op 'barry 'dance)
  (make-op 'betsy 'sports)(make-op 'betsy 'film) (make-op 'betsy 'art)))