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