sum poi lujvo

x₁ is a termset/set of arguments of predicate/function x₂ filling places x₃.

See also ce'e, nu'i

jbovlaste

In notes:

fa'u'i (exp!): sumti place tag: apply arbitrary sumti application or termset