•Let TrClr denote the logic where trcl is applied to tuples
x, y with |x| = |y| · r
•
•Consider structures that represent
strings over, say S = {a,b}. I.e. s = {<,
A, B}. E.g. abbab is represented by
({1,2,3,4,5}, <, A(1),A(4),B(2),B(3),B(5))
•Prove that on strings TrCl1 ¹ TrCl2
•