lojbo jufsisku
Lojban sentence search

Total: 4 result(s)
experimental cmavo lambda variable prenex; marks the end of introduction of lambda-scope variables. Cf. zo'u. In effect this word is used as a shortcut around verbose repeated assignment in a ka prenex: lo ka ce'u goi ko'a ce'u goi ko'e ... zo'u ... is the same as lo ka ko'a ko'e ... ce'ai ... In either form this style can be used to avoid subscripting and to disambiguate nested ka, ni, etc.
experimental cmavo relative clause prenex: assigns a variable to the object of the relative clause Works like ce'ai, but binds to ke'a rather than ce'u. lo broda poi ko'a ke'au brode ko'a = lo broda poi ke'a goi ko'a zo'u brode ko'a
experimental cmavo metasyntactic variable prenex Explicitly marks variables, e.g. ko'a ko'e, lerfu-strings, and/or brodV (must be converted into sumti using me'ei) as being metasyntactic: i.e. having no specific meaning or referent and merely used to demonstrate syntax or hypothetical scenarios. Automatically unassigns these variables from any previous assignment. e.g. (me'ei broda me'ei brode ko'a ko'e fo'a fo'e ge'ai). See ge'ei, ce'ai, ke'au, zo'u, da'o
experimental cmavo abstractor: predicate abstractor. x1 is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables. Identical in meaning to an n-ary ka, but with lambda-variables bound to bo'a/bo'e/bo'i/bo'o/bo'u (bo'ai for additional variables) instead of ce'u (which may still be used for "next place"). This is mainly for convenience, to avoid having to assign pro-sumti to ce'u variables either with goi or ce'ai. See me'ei, me'au, cei'e, ckaji, ckini