sumpoi lujvo

x1 is a termset/set of arguments of predicate/function x2 filling places x3.

See also ce'e, nu'i

In notes:

fa'u'i
sumti place tag: apply arbitrary sumti application or termset