Z:=MA(C,5);Z1:=MA(C,10);Z2:=MA(C,20);X1:=REF(H,4)<=REF(Z,4);X2:=REF(H,3)<=REF(Z,3);X3:=REF(H,2)<=REF(Z,2);X4:=REF(H,1)<=REF(Z,1);X6:=X1 AND X2 AND X3 AND X4;Z<Z1 AND Z1<Z2 AND CROSS(C,Z) AND X6;