From: "Apache" <apache@digitalkingdom.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Added At Word jvencuio -- By krtisfranks
Date: Wed, 6 Apr 2016 18:49:49 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1anz4v-0005s6-8W@stodi.digitalkingdom.org>
X-Spam_score: 0.5
X-Spam_score_int: 5
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 added a definition
   of "jvencuio" in the language "English". New Data: Definition: $x_1$ is an
    eventual/tail(-end) $x_2$ of $x_3$; $x_3$ eventually is/has/is characterized
    by $x_2$(/-ic/ness) [...] 
 
 Content analysis details:   (0.5 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was blocked.
                             See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: lojban.org]
  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.0003]
  1.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


In jbovlaste, the user krtisfranks has added a
definition of "jvencuio" in the language "English".

New Data:

	Definition:
		$x_1$ is an eventual/tail(-end) $x_2$ of $x_3$; $x_3$ eventually is/has/is characterized by $x_2$(/-ic/ness)

	Notes:
		When $x_{3} (n)$ is understood as a sequence in one variable n (which is well-understood in the definition thereof), then there exists some real number N such that for any n > N, $x_2$ holds true for $x_1$ when considering such $x_{3} (n)$; in other words, $x_1$ is an $x_2$ for the tail of $x_3$. Examples: "eventually periodic", "eventually bounded", etc.

	Jargon:
		mathematics

	Gloss Keywords:
		Word: eventual, In Sense: math; tail(-end)

	Place Keywords:


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