
> (version-space struc-example1)

Example: (+ (BIG AQUA SQUARE))
S= ((BIG AQUA SQUARE)) 
G= ((? COLOR SHAPE))

Example: (+ (SMALL SAPPHIRE TRAPEZOID))
S= ((? BLUE QUADRILATERAL)) 
G= ((? COLOR SHAPE))

Example: (- (BIG AQUA CIRCLE))
S= ((? BLUE QUADRILATERAL)) 
G= ((? COLOR POLYGON))

Example: (- (SMALL EMERALD TRIANGLE))
S= ((? BLUE QUADRILATERAL)) 
G= ((? COLOR QUADRILATERAL) (? BLUE POLYGON))

Example: (- (MEDIUM TURQUOISE SQUARE))
S= ((? BLUE QUADRILATERAL)) 
G= ((? BLUE POLYGON))

Example: (+ (MEDIUM INDIGO PENTAGON))
S= ((? BLUE POLYGON)) 
G= ((? BLUE POLYGON))

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

Example: (+ (BIG SCARLET TRIANGLE))
S= ((BIG SCARLET TRIANGLE)) 
G= ((? COLOR SHAPE))

Example: (+ (SMALL AQUA SQUARE))
S= ((? COLOR POLYGON)) 
G= ((? COLOR SHAPE))

Example: (- (MEDIUM MAROON PENTAGON))
S= NIL 
G= NIL
Langauage is insufficient to describe the concept
NIL
> (version-space struc-example3)

Example: (+ (SMALL AQUA SQUARE))
S= ((SMALL AQUA SQUARE)) 
G= ((? COLOR SHAPE))

Example: (- (BIG CRIMSON CIRCLE))
S= ((SMALL AQUA SQUARE)) 
G= ((? COLOR POLYGON) (? BLUE SHAPE) (SMALL COLOR SHAPE))

Example: (+ (SMALL SAPPHIRE CIRCLE))
S= ((SMALL BLUE SHAPE)) 
G= ((? BLUE SHAPE) (SMALL COLOR SHAPE))

Example: (- (BIG INDIGO TRIANGLE))
S= ((SMALL BLUE SHAPE)) 
G= ((SMALL COLOR SHAPE))

Did not converge
S= ((SMALL BLUE SHAPE))
G= ((SMALL COLOR SHAPE))
NIL
> (version-space struc-example4)
 ** STRUC-EXAMPLE4 not bound at top level
> (dribble)