F1:=(REF(V,3)/REF(V,4)>=B+0.1*B2) AND ((REF(C,3)>REF(O,3)) OR (REF(C,3)>REF(O,3))) AND (V/REF(V,1)<1.1) AND (REF(V,1)/REF(V,2)<1.1);
F2:=(L>=REF(L,3)) AND (REF(L,1)>=REF(L,3)) AND (REF(L,2) >=REF(L,3));
F3:=C>O AND C>REF(C,1) AND C>REF(L,3) AND H>=REF(H,3);
F4:=C>LLV(C,10);
EXIST(F1 AND F2 AND F3, M) AND F4; |