
> (version-space example1)

Example: (+ ((LARGE RED TRIANGLE) (SMALL BLUE CIRCLE)))
S= (((LARGE RED TRIANGLE) (SMALL BLUE CIRCLE))) 
G= (((? ? ?) (? ? ?)))

Example: (+ ((LARGE BLUE CIRCLE) (SMALL RED TRIANGLE)))
S= (((LARGE ? ?) (SMALL ? ?)) ((? RED TRIANGLE) (? BLUE CIRCLE))) 
G= (((? ? ?) (? ? ?)))

Example: (- ((LARGE BLUE TRIANGLE) (SMALL BLUE TRIANGLE)))
S= (((? RED TRIANGLE) (? BLUE CIRCLE))) 
G= (((? ? CIRCLE) (? ? ?)) ((? RED ?) (? ? ?)))

Example: (- ((LARGE RED CIRCLE) (LARGE RED TRIANGLE)))
S= (((? RED TRIANGLE) (? BLUE CIRCLE))) 
G= (((? BLUE CIRCLE) (? ? ?)) ((? BLUE ?) (? RED ?)))

Example: (+ ((SMALL BLUE TRIANGLE) (LARGE RED CIRCLE)))
S= (((? RED ?) (? BLUE ?))) 
G= (((? BLUE ?) (? RED ?)))

Convergence. Concept must be: ((? RED ?) (? BLUE ?))
T
> (version-space example2)

Example: (+ ((MEDIUM RED CIRCLE) (LARGE BLUE TRIANGLE)))
S= (((MEDIUM RED CIRCLE) (LARGE BLUE TRIANGLE))) 
G= (((? ? ?) (? ? ?)))

Example: (- ((MEDIUM BLUE CIRCLE) (SMALL RED SQUARE)))
S= (((MEDIUM RED CIRCLE) (LARGE BLUE TRIANGLE))) 
G= (((? ? TRIANGLE) (? ? ?)) ((LARGE ? ?) (? ? ?)) ((? RED CIRCLE) (? ? ?)) ((MEDIUM RED ?) (? ? ?)) ((? BLUE ?) (? ? CIRCLE))
 ((MEDIUM ? ?) (? BLUE ?)))

Example: (+ ((SMALL GREEN SQUARE) (LARGE RED CIRCLE)))
S= (((? ? ?) (LARGE ? ?)) ((? RED CIRCLE) (? ? ?))) 
G= (((LARGE ? ?) (? ? ?)) ((? RED CIRCLE) (? ? ?)))

Example: (- ((LARGE GREEN TRIANGLE) (SMALL RED SQUARE)))
S= (((? RED CIRCLE) (? ? ?))) 
G= (((? RED CIRCLE) (? ? ?)))

Convergence. Concept must be: ((? RED CIRCLE) (? ? ?))
T
> (clean-g (specializations-against '((? ? ?)(? ? ?)) '((small green square)(small blue triangle))))
(((? ? CIRCLE) (? ? ?)) ((? RED ?) (? ? ?)) ((LARGE ? ?) (? ? ?)) ((MEDIUM ? ?) (? ? ?)) ((? BLUE SQUARE) (? ? ?))
 ((? GREEN TRIANGLE) (? ? ?)) ((? ? TRIANGLE) (? ? TRIANGLE)) ((? BLUE ?) (? ? TRIANGLE)) ((? BLUE ?) (? BLUE ?))
 ((? ? SQUARE) (? ? SQUARE)) ((? GREEN ?) (? ? SQUARE)) ((? GREEN ?) (? GREEN ?)))
> (clean-g (specializations-against '((? ? ?)(? ? triangle)) '((small green square)(small blue triangle))))
(((? ? TRIANGLE) (? ? TRIANGLE)) ((? ? CIRCLE) (? ? TRIANGLE)) ((? BLUE ?) (? ? TRIANGLE)) ((? RED ?) (? ? TRIANGLE))
 ((LARGE ? ?) (? ? TRIANGLE)) ((MEDIUM ? ?) (? ? TRIANGLE)) ((? RED TRIANGLE) (? ? ?)) ((? GREEN TRIANGLE) (? ? ?))
 ((LARGE ? TRIANGLE) (? ? ?)) ((MEDIUM ? TRIANGLE) (? ? ?)))
> (dribble)