Received: from [192.168.123.254] (port=34492 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.92) (envelope-from ) id 1jvm6O-0006Ut-RZ for jbovlaste-admin@lojban.org; Wed, 15 Jul 2020 11:25:59 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 15 Jul 2020 11:25:56 -0700 From: "Apache" To: ilmen.pokebip@gmail.com Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word fo'ai -- By Ilmen Date: Wed, 15 Jul 2020 11:25:56 -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 "fo'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 {fo'ai}, unless only one variable (namely {fo'a}) is bound, in which case the {xi} marking is optional. Notes: "lo ka ce'u ce'u ce'u broda (ku)" = "fo'ai xi ci fo'a fo'e fo'i broda (ku'au)". In the rare cases where more than five lambda variables are needed, fo'a xi PA might be used. See also ko'ai, ce'ai. Jargon: Gloss Keywords: Place Keywords: You can go to to see it.