Find!
j1 (text) is a declarative sentence in which proposition j2=x2 (du'u) asserts/claims/declares to be true by x1 in language j3.