编写条件：
编写方法：
网友求助：
解答如下：
A1:=C>O AND (C>REF(C,1) AND REF(C,1)>REF(C,2));
A2:=V>REF(V,1) AND (REF(V,1)>REF(V,2));
A3:=C>O AND REF(C,1)>REF(O,1) AND REF(C,2)>REF(O,2);
A4:=O>REF(O,1) AND O<REF(C,1);
A5:=REF(O,1)>REF(O,2) AND REF(O,1)<REF(C,2);
A1 AND A2 AND A3 AND A4 AND A5;
A2:=V>REF(V,1) AND (REF(V,1)>REF(V,2));
A3:=C>O AND REF(C,1)>REF(O,1) AND REF(C,2)>REF(O,2);
A4:=O>REF(O,1) AND O<REF(C,1);
A5:=REF(O,1)>REF(O,2) AND REF(O,1)<REF(C,2);
A1 AND A2 AND A3 AND A4 AND A5;
