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