sumpoi lujvo

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

See also ce'e, nu'i