fof(ax_branch_inc_po_pl,axiom,(![A,P]:((point(A)&plane(P))=>(inc_po_pl(A,P)|ninc_po_pl(A,P))))).
