fof(ax_D9b,axiom,(![L,P,A]:((line(L)&plane(P)&point(A)&ninc_l_pl(L,P)&nint_l_pl(L,P)&inc_po_pl(A,P))=>(ninc_po_l(A,L))))).
