% name: ax_int_l_l_21
% type: Nonproductive

premises

line LI1
line LI2
int_l_l LI1 LI2

conclusions

int_l_l LI2 LI1

% name: ax_nint_l_l_21
% type: Nonproductive

premises

line LI1
line LI2
~int_l_l LI1 LI2

conclusions

~int_l_l LI2 LI1

% name: ax_int_pl_pl_21
% type: Nonproductive

premises

plane PL1
plane PL2
int_pl_pl PL1 PL2

conclusions

int_pl_pl PL2 PL1

% name: ax_nint_pl_pl_21
% type: Nonproductive

premises

plane PL1
plane PL2
~int_pl_pl PL1 PL2

conclusions

~int_pl_pl PL2 PL1

% name: ax_col_312
% type: Nonproductive

premises

point PO1
point PO2
point PO3
col PO1 PO2 PO3

conclusions

col PO2 PO3 PO1

% name: ax_ncol_312
% type: Nonproductive

premises

point PO1
point PO2
point PO3
~col PO1 PO2 PO3

conclusions

~col PO2 PO3 PO1

% name: ax_col_213
% type: Nonproductive

premises

point PO1
point PO2
point PO3
col PO1 PO2 PO3

conclusions

col PO2 PO1 PO3

% name: ax_ncol_213
% type: Nonproductive

premises

point PO1
point PO2
point PO3
~col PO1 PO2 PO3

conclusions

~col PO2 PO1 PO3

% name: ax_comp_4123
% type: Nonproductive

premises

point PO1
point PO2
point PO3
point PO4
comp PO1 PO2 PO3 PO4

conclusions

comp PO2 PO3 PO4 PO1

% name: ax_comp_2134
% type: Nonproductive

premises

point PO1
point PO2
point PO3
point PO4
comp PO1 PO2 PO3 PO4

conclusions

comp PO2 PO1 PO3 PO4

% name: ax_g1
% type: Branching nonproductive

premises

point PO1
point PO2

conclusions

eq_point PO1 PO2
|
~eq_point PO1 PO2

% name: ax_g2
% type: Branching nonproductive

premises

line LI1
line LI2

conclusions

eq_line LI1 LI2
|
~eq_line LI1 LI2

% name: ax_g3
% type: Branching nonproductive

premises

plane PL1
plane PL2

conclusions

eq_plane PL1 PL2
|
~eq_plane PL1 PL2

% name: ax_g4
% type: Branching nonproductive

premises

point PO1
line LI2

conclusions

inc_po_l PO1 LI2
|
~inc_po_l PO1 LI2

% name: ax_g5
% type: Branching nonproductive

premises

point PO1
plane PL2

conclusions

inc_po_pl PO1 PL2
|
~inc_po_pl PO1 PL2

