me'au MEMEhU experimental cmavo

Convert abstract predicate sumti back to predicate

Has an inverse: me'ei


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.
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
me'oi
non-Lojban brivla
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"