fof(ax_branch_int_pl_pl,axiom,(![P1,P2]:((plane(P1)&plane(P2)&P1!=P2)=>(int_pl_pl(P1,P2)|nint_pl_pl(P1,P2))))).
