domain(dom=[t0,t1,t2]).

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

str(order=[c0,c1]).
