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