fof(ax_branch_inc_l_pl,axiom,(![L,P]:((line(L)&plane(P))=>(inc_l_pl(L,P)|ninc_l_pl(L,P))))).
