Find!
x1=t1 is a hat worn by/on the head of x2=t2=s2 for purpose x3=t3.
s1 is fairly clearly redundant (it's rather obvious whose head it is).