fof(ax_I3b,axiom,(?[A,B,C]:(point(A)&point(B)&point(C)&ncol(A,B,C)))).
