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