Find!
x1=k1 is the property of gratitude/thankfulness/appreciation of x2=c2 for x3=c3 (event/property)
It is implicitly assumed that ce'u is assigned to ckire1.