Is there a property definable in finite-variable infinitary logic L^{\omega}_{\omega\infty} but not definable in partial fixed point logic FO(PFP) ?