From: "Apache" <apache@digitalkingdom.org>
Date: Sun, 28 Jun 2015 12:30:33 -0700
To: webmaster@lojban.org, curtis289@att.net
Subject: [jvsw] Definition Added At Word praperi -- By krtisfranks
Bcc: jbovlaste-admin@lojban.org
Message-ID: <55904b59.yXZ4MpqgSmquD2wN%webmaster@lojban.org>
User-Agent: Heirloom mailx 12.5 7/5/10
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
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 "praperi" in the language "English". New Data: Definition: $x_1$ is a strict/proper
    sub-$x_2$ [structure] in/of $x_3$; $x_2$ is a structure and $x_1$ and $x_3$
    are both examples of that structure $x_2$ such that $x_1$ is entirely contained
    within $x_3$ (where containment is defined according to the standard/characteristics/definition
    of $x_2$; but in any case, no member/part/element that belongs to $x_1$ does
    not also belong to $x_3$) but there is some member/part/element of $x_3$
   that does not belong to $x_1$ in the same way. [...] 
 
 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.0000]
  1.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


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

New Data:

	Definition:
		$x_1$ is a strict/proper sub-$x_2$ [structure] in/of $x_3$; $x_2$ is a structure and $x_1$ and $x_3$ are both examples of that structure $x_2$ such that $x_1$ is entirely contained within $x_3$ (where containment is defined according to the standard/characteristics/definition of $x_2$; but in any case, no member/part/element that belongs to $x_1$ does not also belong to $x_3$) but there is some member/part/element of $x_3$ that does not belong to $x_1$ in the same way.

	Notes:
		If x2 is a (sub)set, then x1 is a proper subset of x3; if x2 is a mathematical/algebraic (sub)group, then x1 is a proper subgroup of x3; etc.

	Jargon:
		Mathematics

	Gloss Keywords:
		Word: proper substructure, In Sense: 
		Word: strictly-sub-structure, In Sense: 
		Word: strict substructure, In Sense: 

	Place Keywords:


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