Convert abstract predicate sumti back to predicate

Has an inverse: me'ei. Essentially synonymous with ckaji. Differences: ckaji2 is unary whereas the me'au-predicate can have any arity; me'au is in ME.

- namcixu
- For mo'e x
_{4}x in x_{1}there exist mo'e x_{5}y in x_{2}such that x me'au x_{3}y; for mo'e x_{6}y in x_{2}there exist mo'e x_{7}x in x_{1}such that x me'au x_{3}y. - rolsixu
- For every x in x
_{1}, there exists a y in x_{2}such that x me'au x_{3}y; For every y in x_{2}there exists an x in x_{1}such that x me'au x_{3}y.

- jaxnunco'e
- x
_{1}is involved in / is related to / pertains to / is a sumti participant in abstraction x_{2}. - ce'oi
*(exp!)* - argument list separator: acts as a comma between arguments in an argument list supplied to a function.
- ka'ei
- abstractor: predicate abstractor. x
_{1}is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables. - kai'u
- abstractor: x
_{1}(x_{2}, ...) are such that they satisfy [bridi], binding to the open {ce'u} slots. - me'ei
- Article for abstract predicate sumti. Turns a selbri into an abstraction with all open places filled by {ce'u}.
- me'oi
- non-Lojban brivla
- mu'oi
- delimited non-Lojban selbri-unit
- no'oi
- Selbri incidental relative clause; attaches to a selbri with the ke'a being 'me'ei the attached selbri'
- po'oi
- selbri restrictive relative clause; attaches to a selbri with the ke'a being "me'ei the attached-selbri"
- ctu'au
- x
_{1}is involved in predicate x_{2}; the latter being true of some argument structure syntactically entails something about the former. - dunliki
- Something is such that both x
_{1}and x_{2}are related to it by predicate x_{3}. x_{4}[quantifier] thing to which x_{1}is related by predicate x_{3}is such that x_{2}is related to it by predicate x_{3}. - emna
- x
_{1}(n-ary property) is applied to sumti x_{2}, x_{3}, ...