fof(ax_false_inc_po_l,axiom,(![A,L]:((point(A)&line(L)&inc_po_l(A,L)&ninc_po_l(A,L))=>$false))).
