fof(ax_D6,axiom,(![L1,L2]:((line(L1)&line(L2)&int_l_l(L1,L2))=>(?[A]:(point(A)&L1!=L2&inc_po_l(A,L1)&inc_po_l(A,L2)))))).
