mecyjavdu'i lujvo

x1 is less than or equal to x2 in property/quantity x3 by amount x4.

See also su'e