% name: ax_sym_ncol
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
point PO3
~col PO1 PO2 PO3

conclusions

~col PO1 PO3 PO2
~col PO2 PO1 PO3
~col PO2 PO3 PO1
~col PO3 PO1 PO2
~col PO3 PO2 PO1

% name: ax_D1a
% exist: 0
% type: Nonproductive

premises

point PO1
point PO2
line LI4
point PO3
~eq_point PO1 PO2
inc_po_l PO1 LI4
inc_po_l PO2 LI4
~inc_po_l PO3 LI4

conclusions

~col PO1 PO2 PO3

% name: ax_g1
% exist: 0
% type: Branching nonproductive

premises

point PO1
point PO2

conclusions

eq_point PO1 PO2
|
~eq_point PO1 PO2

% name: ax_g2
% exist: 0
% type: Branching nonproductive

premises

line LI1
line LI2

conclusions

eq_line LI1 LI2
|
~eq_line LI1 LI2

% name: ax_g3
% exist: 0
% type: Branching nonproductive

premises

plane PL1
plane PL2

conclusions

eq_plane PL1 PL2
|
~eq_plane PL1 PL2

