fof(ax_branch_cut,axiom,(![L,A,B]:((point(A)&point(B)&A!=B&line(L))=>(cut(L,A,B)|ncut(L,A,B))))).
