fof(ax_I4b,axiom,(![P]:((plane(P))=>(?[A]:(point(A)&inc_po_pl(A,P)))))).
