Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:33534 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.89) (envelope-from ) id 1fNmB6-0000AR-Bn for jbovlaste-admin@lojban.org; Tue, 29 May 2018 14:29:14 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Tue, 29 May 2018 14:29:11 -0700 From: "Apache" To: lynn@foldr.moe Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word utka -- By krtisfranks Date: Tue, 29 May 2018 14:29:11 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: 4.5 (++++) X-Spam_score: 4.5 X-Spam_score_int: 45 X-Spam_bar: ++++ X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: In jbovlaste, the user krtisfranks 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 [...] Content analysis details: (4.5 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.4 RCVD_IN_BRBL_LASTEXT RBL: No description available. [173.13.139.235 listed in bb.barracudacentral.org] -0.5 BAYES_05 BODY: Bayes spam probability is 1 to 5% [score: 0.0131] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 2.6 TO_NO_BRKTS_DYNIP To: lacks brackets and dynamic rDNS In jbovlaste, the user krtisfranks 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}", "{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 (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}". 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}", "{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 (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: You can go to to see it.