fof(ax_branch_bet,axiom,(![A,B,C]:((point(A)&point(B)&point(C))=>(bet(A,B,C)|nbet(A,B,C))))).
