fof(ax_D5a,axiom,(![L1,L2,A]:((line(L1)&line(L2)&point(A)&L1!=L2&nint_l_l(L1,L2)&inc_po_l(A,L1))=>(ninc_po_l(A,L2))))).
