fof(ax_D10,axiom,(![L,P]:((line(L)&plane(P)&int_l_pl(L,P))=>(?[A]:(point(A)&inc_po_l(A,L)&inc_po_pl(A,P)&ninc_l_pl(L,P)))))).
