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