fof(ax_II2,axiom,(![A,B]:((point(A)&point(B)&A!=B)=>(?[C]:(point(C)&bet(A,B,C)))))).
