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