domain(dom=[t0,t1,t2,t3,e1,e2,e3]).

link(from=t0,to=t1).
link(from=t1,to=t2).
link(from=t2,to=t3).

time(pre=t0,post=t1,event=e1).
time(pre=t1,post=t2,event=e2).
time(pre=t2,post=t3,event=e3).

str(order=[c1,c0]).

