fof(ax_sym_ncol,axiom,(![A,B,C]:((point(A)&point(B)&point(C)&ncol(A,B,C))=>(ncol(A,C,B)&ncol(B,A,C)&ncol(B,C,A)&ncol(C,A,B)&ncol(C,B,A))))).
