fof(ax_D11,axiom,(![A,L,P]:((point(A)&line(L)&plane(P)&inc_l_pl(L,P)&inc_po_l(A,L))=>(inc_po_pl(A,P))))).
