REF(V,1)>REF(V,2)*2 AND REF(C,1)>REF(O,1) AND REF(H,1)-REF(C,1)>(REF(C,1)-REF(L,1)) AND MIN(C,O)-L>(H-MIN(C,O));
