From: "Apache" <apache@digitalkingdom.org>
To: lynn@foldr.moe
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word utka -- By krtisfranks
Date: Tue, 29 May 2018 14:09:18 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1fNlrq-0007sF-7T@stodi.digitalkingdom.org>
X-Spam_score: 3.1
X-Spam_score_int: 31
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:   (3.1 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]
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0008]
  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).
---
> 		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.


Old Data:

	Definition:
		$x_1$ and $x_2$ are path-linked by binary predicate $x_3$ (ka) via steps $x_4$ (ce'o 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).

	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 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.

	Jargon:
		

	Gloss Keywords:

	Place Keywords:


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