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;