/*pair.prb              It is difficult for the untrained fisher
Winston arch domain     to follow examples of this complexity so
Alan Bundy 5.12.80      here is a simple concept: two wedges.
use with winston */

/* space of description trees */
space(pair,     %  each concept must have a space; is this **right**?
        [shapetree,touchtree,orienttree]).


/* description tree */

tree(shapetree,1,shape(wedge,block)).

tree(touchtree,2,touchrel(separate,touch)).

tree(orienttree,1,orientation(lying,standing)).


%   Examples

specimen(p1, [wedge(a1), wedge(b1),
        standing(a1), lying(b1), separate(b1, a1)
        ]).

specimen(p2, [wedge(a2), wedge(b2),
        standing(a2), standing(b2), touch(a2,b2)
        ]).

specimen(p3, [wedge(a3), wedge(b3),
        lying(a3), lying(b3)
        ]).

%   Near misses

specimen(n1, [block(a4), block(b4),
        standing(a4), lying(b4), separate(b4, a4)
        ]).     %  two similar things, but not wedges

specimen(n2, [wedge(a5), wedge(b5), wedge(c5),
        standing(a5), standing(b5), touch(a5,c5)
        ]).     %  one wedge too many

specimen(n3, [wedge(a6),
        standing(a6)
        ]).     %  one wedge too few