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