From: "Apache" <apache@digitalkingdom.org>
To: ilmen.pokebip@gmail.com, spheniscine@gmail.com
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word ko'ai -- By Ilmen
Date: Sun, 23 Aug 2020 14:09:14 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1k9xEp-0000Gy-6i@stodi.digitalkingdom.org>
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --


In jbovlaste, the user Ilmen has edited a
definition of "ko'ai" in the language "English".

Differences:

5,5c5,5
< 		"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.
---
> 		"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. If the $x_1$ slot of the following predicate is not explicitly filled, it is assumed to be filled implicitly with {ko'a}, and not {zo'e}. See also fo'ai, ce'ai.


Old 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:


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. If the $x_1$ slot of the following predicate is not explicitly filled, it is assumed to be filled implicitly with {ko'a}, and not {zo'e}. See also fo'ai, ce'ai.

	Jargon:
		

	Gloss Keywords:

	Place Keywords:


You can go to <http://jbovlaste.lojban.org/dict/ko'ai> to see it.