fof(ax_pash_2,axiom,(![A,B,C,L,P]:((point(A)&point(B)&point(C)&line(L)&plane(P)&pash(A,B,C,L,P))=>(ncol(A,B,C)&inc_po_pl(A,P)&inc_po_pl(B,P)&inc_po_pl(C,P)&inc_l_pl(L,P)&ninc_po_l(A,L)&ninc_po_l(B,L)&ninc_po_l(C,L)&cut(L,B,C))))).
