mavypesxu lujvo

p1 is a quantity of oatmeal/porridge made from oat species p2=m2

(m1 is subsumed in definitional part) see mavji,pesxu see also mavystasu