A:=EVERY(O=L AND C>O,2);A1:=VOL>REF(VOL,1);A2:=O<REF(C,1);A3:=C>REF(C,1);A4:=L=LLV(L,3);A5:=VOL/REF(VOL,1);XG:A AND A1 AND A2 AND A3 AND EXIST(A4,3) AND A5<5;