From: "Apache" <apache@digitalkingdom.org>
To: lynn@foldr.moe
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word utka -- By lalxu
Date: Tue, 21 Aug 2018 03:34:57 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1fs401-0003P8-Dj@stodi.digitalkingdom.org>
X-Spam_score: -0.9
X-Spam_score_int: -8
X-Spam_bar: /


In jbovlaste, the user lalxu has edited a
definition of "utka" in the language "English".

Differences:

5,5c5,5
< 		For example, "lo stedu ku utka lo birka lo ka (ce'u ce'u) lamji" is true, with $x_4$ equal to something like "lo cnebo ce'o lo cutne ce'o lo janco". (Also: "lo stedu ku {lamji'utka} lo birka".) Formally, "utka$(A, B, P,$ [$L_1...L_n$]$)$" is equivalent to "$P(A, L_1)$ and $P(L_1, L_2)$ and ... and $P(L_{(n-1)}, L_n)$ and $P(L_n, B)$". The $x_4$ may be empty ("lo {nomei}") if there are no intermediate steps (id est: the relevant path-linking between $x_1$ and $x_2$ is direct). $x_4$ is a list of only (some of) the intermediate steps between $x_1$ and $x_2$ and does not include $x_1$ or $x_2$ themselves. Transposition/commutation of $x_1$ and $x_2$ requires a SE conversion of $x_3$ (although this may be identical to the original) and an internal reversal of $x_4$; since $x_3$ and $x_4$ are both directed/ordered, leaving them fixed while commutating $x_1$ and $x_2$ is a nontrivial assertion which is additional to the original expression (where $x_1$ and $x_2$ are not commutated) -  in other words, for fixed $x_3$ and $x_4$, "$x_1\, x_2\, x_3\, x_4$ utka" does not logically imply or get implied by "$x_2\, x_1\, x_3\, x_4$ utka" (they are logically independent claims). See also: ".{efku}", "{ki'irsi}", "{takni}", "{taknyklojyzilpra}".
---
> 		For example, "lo stedu ku utka lo birka lo ka (ce'u ce'u) lamji" is true, with $x_4$ equal to something like "lo cnebo ce'o lo cutne ce'o lo janco". (Also: "lo stedu ku {lamji'utka} lo birka".) Formally, "utka$(A, B, P,$ [$L_1...L_n$]$)$" is equivalent to "$P(A, L_1)$ and $P(L_1, L_2)$ and ... and $P(L_{(n-1)}, L_n)$ and $P(L_n, B)$". The $x_4$ may be empty ("lo {nomei}") if there are no intermediate steps (id est: the relevant path-linking between $x_1$ and $x_2$ is direct). $x_4$ is a list of only the intermediate steps between $x_1$ and $x_2$ and does not include $x_1$ or $x_2$ themselves. The predicate may be asymmetrical. See also: {efku}, {ki'irsi}, {takni}, {taknyklojyzilpra}.


Old Data:

	Definition:
		$x_1$ and $x_2$ are path-linked by binary predicate $x_3$ (ka) via steps $x_4$ (ce'o (ordered) list)

	Notes:
		For example, "lo stedu ku utka lo birka lo ka (ce'u ce'u) lamji" is true, with $x_4$ equal to something like "lo cnebo ce'o lo cutne ce'o lo janco". (Also: "lo stedu ku {lamji'utka} lo birka".) Formally, "utka$(A, B, P,$ [$L_1...L_n$]$)$" is equivalent to "$P(A, L_1)$ and $P(L_1, L_2)$ and ... and $P(L_{(n-1)}, L_n)$ and $P(L_n, B)$". The $x_4$ may be empty ("lo {nomei}") if there are no intermediate steps (id est: the relevant path-linking between $x_1$ and $x_2$ is direct). $x_4$ is a list of only (some of) the intermediate steps between $x_1$ and $x_2$ and does not include $x_1$ or $x_2$ themselves. Transposition/commutation of $x_1$ and $x_2$ requires a SE conversion of $x_3$ (although this may be identical to the original) and an internal reversal of $x_4$; since $x_3$ and $x_4$ are both directed/ordered, leaving them fixed while commutating $x_1$ and $x_2$ is a nontrivial assertion which is additional to the original expression (where $x_1$ and $x_2$ are not commutated) -  in other words, for fixed $x_3$ and $x_4$, "$x_1\, x_2\, x_3\, x_4$ utka" does not logically imply or get implied by "$x_2\, x_1\, x_3\, x_4$ utka" (they are logically independent claims). See also: ".{efku}", "{ki'irsi}", "{takni}", "{taknyklojyzilpra}".

	Jargon:
		

	Gloss Keywords:

	Place Keywords:


New Data:

	Definition:
		$x_1$ and $x_2$ are path-linked by binary predicate $x_3$ (ka) via steps $x_4$ (ce'o (ordered) list)

	Notes:
		For example, "lo stedu ku utka lo birka lo ka (ce'u ce'u) lamji" is true, with $x_4$ equal to something like "lo cnebo ce'o lo cutne ce'o lo janco". (Also: "lo stedu ku {lamji'utka} lo birka".) Formally, "utka$(A, B, P,$ [$L_1...L_n$]$)$" is equivalent to "$P(A, L_1)$ and $P(L_1, L_2)$ and ... and $P(L_{(n-1)}, L_n)$ and $P(L_n, B)$". The $x_4$ may be empty ("lo {nomei}") if there are no intermediate steps (id est: the relevant path-linking between $x_1$ and $x_2$ is direct). $x_4$ is a list of only the intermediate steps between $x_1$ and $x_2$ and does not include $x_1$ or $x_2$ themselves. The predicate may be asymmetrical. See also: {efku}, {ki'irsi}, {takni}, {taknyklojyzilpra}.

	Jargon:
		

	Gloss Keywords:

	Place Keywords:


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