From: "Apache" <apache@digitalkingdom.org>
To: curtis289@att.net
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word ci'ai'u -- By krtisfranks
Date: Mon, 2 Jan 2017 10:05:40 -0800
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1cO6zN-0003gO-7D@stodi.digitalkingdom.org>
X-Spam_score: 1.9
X-Spam_score_int: 19
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 "ci'ai'u" in the language "English". Differences: 5,5c5,5 < 0 maps to
   the empty set. --- > 0 maps to the empty set. Inputting infinity produces
   the set of all natural numbers, N. 11,11d10 < Word: n-set, In Sense: \n12a12,12
    \n> Word: n-set, In Sense: [...] 
 
 Content analysis details:   (1.9 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]
 -0.5 BAYES_05               BODY: Bayes spam probability is 1 to 5%
                             [score: 0.0257]
  1.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


In jbovlaste, the user krtisfranks has edited a
definition of "ci'ai'u" in the language "English".

Differences:

5,5c5,5
< 		0 maps to the empty set.
---
> 		0 maps to the empty set. Inputting infinity produces the set of all natural numbers, N.
11,11d10
< 		Word: n-set, In Sense: 
\n12a12,12
\n> 		Word: n-set, In Sense: 


Old Data:

	Definition:
		unary mex operator: n-set; maps a nonnegative integer 'a' to the set $\{1, \dots ,a\}$ (the intersection of the set of all natural numbers with the closed ordered interval [1,a] such that $a \geq1$)

	Notes:
		0 maps to the empty set.

	Jargon:
		

	Gloss Keywords:
		Word: n-set, In Sense: 
		Word: natural number interval, In Sense: 

	Place Keywords:


New Data:

	Definition:
		unary mex operator: n-set; maps a nonnegative integer 'a' to the set $\{1, \dots ,a\}$ (the intersection of the set of all natural numbers with the closed ordered interval [1,a] such that $a \geq1$)

	Notes:
		0 maps to the empty set. Inputting infinity produces the set of all natural numbers, N.

	Jargon:
		

	Gloss Keywords:
		Word: natural number interval, In Sense: 
		Word: n-set, In Sense: 

	Place Keywords:


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