fof(ax_D2a,axiom,(![A,B,C,L]:((point(A)&point(B)&A!=B&point(C)&line(L)&inc_po_l(A,L)&inc_po_l(B,L)&ncol(A,B,C))=>(ninc_po_l(C,L))))).
