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:

jaxnunco'e
x1 is involved in / is related to / pertains to / is a sumti participant in abstraction x2.
ce'oi (exp!)
argument list separator: acts as a comma between arguments in an argument list supplied to a function.
ka'ei (exp!)
abstractor: predicate abstractor. x1 is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.
kai'u (exp!)
abstractor: x1 (x2, ...) are such that they satisfy [bridi], binding to the open {ce'u} slots.
me'ei (exp!)
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 (exp!)
Selbri incidental relative clause; attaches to a selbri with the ke'a being 'me'ei the attached selbri'
po'oi (exp!)
selbri restrictive relative clause; attaches to a selbri with the ke'a being "me'ei the attached-selbri"
ctu'au
x1 is involved in predicate x2; the latter being true of some argument structure syntactically entails something about the former.
dunliki
Something is such that both x1 and x2 are related to it by predicate x3. x4 [quantifier] thing to which x1 is related by predicate x3 is such that x2 is related to it by predicate x3.
emna
x1 (n-ary property) is applied to sumti x2, x3, ...