Find!
x1 is the predicate abstraction described by text x2, and is of type x3
Brivla form of su'u. "se su'umdu" be used to talk about NU-clauses in general. See nundumu, du'umdu, zilkai, zilki'i, bridi, astrato