fof(ax_cut_2,axiom,(![L,A,B]:((point(A)&point(B)&line(L)&cut(L,A,B))=>(?[X]:(point(X)&ninc_po_l(A,L)&ninc_po_l(B,L)&inc_po_l(X,L)&bet(A,X,B)))))).
