/* First simple test example:
1. power set
2. prefer to combine all at 123
3. prefer the combined one.
4. alter to make it the 3rd is replaced by the shorter one
*/

/*
1. endNode ID -- include EI-TI: {endNode,EI,TI} -- check; change the identifier at base case
*/

%claNode(ClaID,ClaLength,EI_List).
claNode(c11a,1,[1-1]).
claNode(c11b,1,[1-1]).

claNode(c123,1,[1-2,2-2,3-2]).
claNode(c12a,1,[1-1]).
claNode(c22a,1,[2-2]).
claNode(c32a,1,[3-2]).

claNode(c21a,1,[2-1]).
claNode(c21b,1,[2-1]).
claNode(c31a,1,[3-1]).
claNode(c31b,1,[3-1]).

% the end node is not unique, so make it
claNode(end-1-1,[1-1]).
claNode(end-1-2,[1-2]).
claNode(end-2-1,[2-1]).
claNode(end-2-2,[2-2]).
claNode(end-3-1,[3-1]).
claNode(end-3-2,[3-2]).

connect(start,c11a).
connect(c11a,c11b).
connect(c11b,end-1-1).

connect(start,c123).
connect(c123,c12a).
connect(c123,c22a).
connect(c123,c32a).
connect(c12a,end-1-2).
connect(c22a,end-2-2).
connect(c32a,end-3-2).	

connect(start,c21a).
connect(c21a,c21b).
connect(c21b,end-2-1).


connect(start,c31a).
connect(c31a,c31b).
connect(c31b,end-3-1).
	


% how to efficiently record that which part of the theory is alone