Find!
x1=z1=d1 is equal to or greater than x2=z2=d2 in property / dimension / quantity x3=z3=d3 by amount / excess x4=z4; x1 is at least x2.