Received: from [192.168.123.254] (port=34184 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.92) (envelope-from ) id 1jvm3r-0006Nr-Ls for jbovlaste-admin@lojban.org; Wed, 15 Jul 2020 11:23:22 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 15 Jul 2020 11:23:19 -0700 From: "Apache" To: spheniscine@gmail.com, ilmen.pokebip@gmail.com Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word ko'ai -- By Ilmen Date: Wed, 15 Jul 2020 11:23:19 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user Ilmen has added a definition of "ko'ai" in the language "English". New Data: Definition: Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the ko'a-ko'u pronoun series. The number of bound variables must be indicated by appending {xi} followed by that number to the word {ko'ai}, unless only one variable (namely {ko'a}) is bound, in which case the {xi} marking is optional. Notes: "lo ka ce'u ce'u ce'u broda (ku)" = "ko'ai xi ci ko'a ko'e ko'i broda (ku'au)". In the rare cases where more than five lambda variables are needed, ko'a xi PA might be used. See also fo'ai, ce'ai. Jargon: Gloss Keywords: Place Keywords: You can go to to see it.