fof(ax_I1,axiom,(![A,B]:((point(A)&point(B)&A!=B)=>(?[L]:(line(L)&inc_po_l(A,L)&inc_po_l(B,L)))))).
