------------------------
------------------------
1 : p01(a,b):-[p11(a,b)]
1 : p01(a,b):-[p12(a,b)]
1 : p01(c,d):-[p11(c,d)]
1 : p01(c,d):-[p12(c,d)]
1 : p02(a,b):-[p11(a,b)]
1 : p02(a,b):-[p12(a,b)]
1 : p02(c,d):-[p11(c,d)]
1 : p02(c,d):-[p12(c,d)]
1 : p11(a,b):-[p21(a,b)]
1 : p11(a,b):-[p22(a,b)]
1 : p11(c,d):-[p21(c,d)]
1 : p11(c,d):-[p22(c,d)]
1 : p12(a,b):-[p21(a,b)]
1 : p12(a,b):-[p22(a,b)]
1 : p12(c,d):-[p21(c,d)]
1 : p12(c,d):-[p22(c,d)]
1 : p21(a,b):-[p31(a,b)]
1 : p21(a,b):-[p32(a,b)]
1 : p21(c,d):-[p31(c,d)]
1 : p21(c,d):-[p32(c,d)]
1 : p22(a,b):-[p31(a,b)]
1 : p22(a,b):-[p32(a,b)]
1 : p22(c,d):-[p31(c,d)]
1 : p22(c,d):-[p32(c,d)]
1 : p31(a,b):-[u1(a,b)]
1 : p31(a,b):-[u2(a,b)]
1 : p31(c,d):-[u1(c,d)]
1 : p31(c,d):-[u2(c,d)]
1 : p32(a,b):-[u1(a,b)]
1 : p32(a,b):-[u2(a,b)]
1 : p32(c,d):-[u1(c,d)]
1 : p32(c,d):-[u2(c,d)]
1 : u1(a,b):-[undef(a,b)]
1 : u1(c,d):-[undef(c,d)]
1 : u2(a,b):-[undef(a,b)]
1 : u2(c,d):-[undef(c,d)]
2 : p01(c,d):-[p11(c,d)]
2 : p01(c,d):-[p12(c,d)]
2 : p02(c,d):-[p11(c,d)]
2 : p02(c,d):-[p12(c,d)]
2 : p11(c,d):-[p21(c,d)]
2 : p11(c,d):-[p22(c,d)]
2 : p12(c,d):-[p21(c,d)]
2 : p12(c,d):-[p22(c,d)]
2 : p21(c,d):-[p31(c,d)]
2 : p21(c,d):-[p32(c,d)]
2 : p22(a,b):-[p31(a,b)]
2 : p22(a,b):-[p32(a,b)]
2 : p22(c,d):-[p31(c,d)]
2 : p22(c,d):-[p32(c,d)]
2 : p31(a,b):-[u1(a,b)]
2 : p31(a,b):-[u2(a,b)]
2 : p31(c,d):-[u1(c,d)]
2 : p31(c,d):-[u2(c,d)]
2 : p32(a,b):-[u1(a,b)]
2 : p32(a,b):-[u2(a,b)]
2 : p32(c,d):-[u1(c,d)]
2 : p32(c,d):-[u2(c,d)]
2 : u1(a,b):-[undef(a,b)]
2 : u1(c,d):-[undef(c,d)]
2 : u2(a,b):-[undef(a,b)]
2 : u2(c,d):-[undef(c,d)]
