event e1.
event e2.
event e3.
event e4.


query event(e1) ==> (event(e2) && event(e3) ==> event(e4)).

process 0

(* EXPECTPV
Error: && unexpected in events.
xtime: error in child process (status : 2)
END *)
