me'au MEMEhU experimental cmavo

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.


In definition:

namcixu
For mo'e x4 x in x1 there exist mo'e x5 y in x2 such that x me'au x3 y; for mo'e x6 y in x2 there exist mo'e x7 x in x1 such that x me'au x3 y.
rolsixu
For every x in x1, there exists a y in x2 such that x me'au x3 y; For every y in x2 there exists an x in x1 such that x me'au x3 y.

In notes:

ce'oi
argument list separator: acts as a comma between arguments in an argument list supplied to a function.
ka'ei
abstractor: predicate abstractor. x1 is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.
kai'u
abstractor: x1 (x2, ...) 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"
emna
x1 (n-ary property) is applied to sumti x2, x3, ...