fof(ax_branch_cop,axiom,(![A,B,C,D]:((point(A)&point(B)&point(C)&point(D)&A!=B&A!=C&A!=D&B!=C&B!=D&C!=D)=>(cop(A,B,C,D)|ncop(A,B,C,D))))).
