我给出例子了，你就说后面那几条，照着上面的例子，哪句不会写的
4
hhv(h,2)>=ref(hhv(h,2),2) and llv(l,2)<=ref(llv(l,2),2) ...........后面o和c一样
8
hhv(h,3)>=ref(hhv(h,3),3) and llv(l,3)<=ref(llv(l,3),3)............后面o和c一样
1.
(h>=ref(h,1) or ref(h,2)>=ref(h,1)) and (l<=ref(l,1) or ref(l,2)<=ref(l,1))......
2.
(ref(h,3)>=ref(h,4) or ref(h,5)>=ref(h,4)) and (ref(l,3)<=ref(l,4) or ref(l,5)<=ref(l,4))