------------------------
1 : p01_a_b:-[p12_a_b]
1 : p01_a_b:-[p11_a_b]
1 : p01_c_d:-[p12_c_d]
1 : p01_c_d:-[p11_c_d]
1 : p02_a_b:-[p12_a_b]
1 : p02_a_b:-[p11_a_b]
1 : p02_c_d:-[p12_c_d]
1 : p02_c_d:-[p11_c_d]
1 : p11_a_b:-[p21_a_b]
1 : p11_c_d:-[p21_c_d]
1 : p12_a_b:-[p22_a_b]
1 : p12_c_d:-[p22_c_d]
1 : p21_a_b:-[p31_a_b]
1 : p21_c_d:-[p31_c_d]
1 : p22_a_b:-[p32_a_b]
1 : p22_c_d:-[p32_c_d]
1 : p31_a_b:-[u2_a_b]
1 : p31_a_b:-[u1_a_b]
1 : p31_c_d:-[u2_c_d]
1 : p31_c_d:-[u1_c_d]
1 : p32_a_b:-[u2_a_b]
1 : p32_a_b:-[u1_a_b]
1 : p32_c_d:-[u2_c_d]
1 : p32_c_d:-[u1_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]
1 : undef_a_b:-[tnot undef_a_b]
1 : undef_c_d:-[tnot undef_c_d]
------------------------
2 : p01_c_d:-[p12_c_d]
2 : p01_c_d:-[p11_c_d]
2 : p02_c_d:-[p12_c_d]
2 : p02_c_d:-[p11_c_d]
2 : p11_c_d:-[p21_c_d]
2 : p12_a_b:-[p22_a_b]
2 : p12_c_d:-[p22_c_d]
2 : p21_c_d:-[p31_c_d]
2 : p22_a_b:-[p32_a_b]
2 : p22_c_d:-[p32_c_d]
2 : p31_a_b:-[u2_a_b]
2 : p31_a_b:-[u1_a_b]
2 : p31_c_d:-[u2_c_d]
2 : p31_c_d:-[u1_c_d]
2 : p32_a_b:-[u2_a_b]
2 : p32_a_b:-[u1_a_b]
2 : p32_c_d:-[u2_c_d]
2 : p32_c_d:-[u1_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]
2 : undef_a_b:-[tnot undef_a_b]
2 : undef_c_d:-[tnot undef_c_d]
