fof(ax_branch_int_l_pl,axiom,(![L,P]:((line(L)&plane(P))=>(int_l_pl(L,P)|nint_l_pl(L,P))))).
