mlosazri lujvo

x1=s1 is a miller of mill x2=m1=s2 performing function x3=m2=s3