AA1:=REF(C,1)<REF(O,3);
AA2:=REF(C,2)<REF(O,3);
AA3:=REF(C,3)<REF(O,3);
AA4:=REF(C,3)<REF(C,4);
AA5:=REF(C,4)<REF(O,4);
AA6:=C<O;
AA7:=C>REF(O,3);
AA8:=VOL<REF(V,1);
AA9:=REF(V,1)<REF(V,2);
XG:AA1 AND AA2 AND AA3 AND AA4 AND AA5 AND AA6 AND AA7 AND AA8 AND AA9;