Find!
x1=xu1 assigns / attributes x2=c1 to x3=c2 with relationship x4=xu2=c3; x1 designates x3 as x2.
See also: smuki'ixu'a (to define).