fof(ax_branch_inc_po_l,axiom,(![A,L]:((point(A)&line(L))=>(inc_po_l(A,L)|ninc_po_l(A,L))))).
