黄金柱 
V1:=REF(V,1); 
V2:=REF(V,2); 
V3:=REF(V,3); 
V4:=REF(V,4); 
 
C1:=REF(C,1); 
C2:=REF(C,2); 
C3:=REF(C,3); 
 
V3>=MAX(V,V1,V2) AND C3<=MIN(C,C2,C1) AND REF(C,3)>REF(O,3) AND V3>=1.9*V4; 
 
 
{REF(V,3)>=MAX(V,REF(V,1),REF(V,2)) AND REF(C,3)<=MIN(C,REF(C,1),REF(C,2)) AND REF(C,3)>REF(O,3) AND REF(V,3)>=1.9*REF(V,4); |