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;