fof(ax_branch_int_l_l,axiom,(![L1,L2]:((line(L1)&line(L2)&L1!=L2)=>(int_l_l(L1,L2)|nint_l_l(L1,L2))))).
