1,ref (c大於0,3)和(REF(C小於o,2)。
2.REF(C,2)小於REF(C,3))ANDREF(V,2)小於REF(V,3)AND(REF(C小於o,1)ORREF(C,1)小於REF(C,2)。
3.REF(V,1)小於REF(V,3)ANDC大於OANDV大於REF(V,1),V大於REF(V,2)。