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