24
Examples in TrCl
•Is the graph connected:
•
•Is there a path from u to v where all edges are labeled with the same color:
 

here c is a free variable in trcl
•
•Do we need free variables ?
8 u.8 v.[trclx,y(R(x,y))](u,v)
9 c. .[trclx,y(R(x,c,y))](u,v)