fof(ax_II4,axiom,(![A,B,C,L,P]:((point(A)&point(B)&point(C)&line(L)&plane(P)&pash(A,B,C,L,P))=>(cut(L,C,A)|cut(L,A,B))))).
