fof(ax_I4a,axiom,(![A,B,C]:((point(A)&point(B)&point(C)&ncol(A,B,C))=>(?[P]:(plane(P)&inc_po_pl(A,P)&inc_po_pl(B,P)&inc_po_pl(C,P)))))).
