T1:=REF(V,4)>REF(V,5)*1.84 AND REF(C,4)>REF(O,4);
T2:=C>REF(C,4) AND REF(C,1)>REF(C,4) AND REF(C,2)>REF(C,4) AND REF(C,3)>REF(C,4);
XG:T1 AND T2;
T1:=REF(V,4)>REF(V,5)*1.84 AND REF(C,4)>REF(O,4);
T2:=C>REF(C,4) AND REF(C,1)>REF(C,4) AND REF(C,2)>REF(C,4) AND REF(C,3)>REF(C,4);
XG:T1 AND T2;