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