From: "Apache" <apache@digitalkingdom.org>
To: Roflknife34@hotmail.com
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word predi -- By mulzuhes
Date: Fri, 13 May 2016 04:18:04 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1b1B6a-0003Jr-EU@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 mulzuhes has edited a definition of
    "predi" in the language "English". Differences: 5,5c5,5 < Predi - Predicate;
    Bridi = Predicate(args*) = Proposition; $x_1$ is [str]. $x_2$ is [int] >=
    1. $x_3$ is [set]. $x_4$ is a [map - proposition : bool] --- > Predi - Predicate;
    Bridi = Proposition = Predicate(args*); $x_1$ is [str]. $x_2$ is [int] >=
    1. $x_3$ is [set]. $x_4$ is a [map - proposition : bool] 7,7d6 < \n15,15d13
    < Word: Truth table, In Sense: Logic, For Place: 3 \n [...] 
 
 Content analysis details:   (0.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]
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0099]
  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.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


In jbovlaste, the user mulzuhes has edited a
definition of "predi" in the language "English".

Differences:

5,5c5,5
< 		Predi - Predicate; Bridi = Predicate(args*) = Proposition;  $x_1$ is [str]. $x_2$ is [int] >= 1. $x_3$ is [set]. $x_4$ is a [map - proposition : bool]
---
> 		Predi - Predicate; Bridi = Proposition = Predicate(args*); $x_1$ is [str]. $x_2$ is [int] >= 1. $x_3$ is [set]. $x_4$ is a [map - proposition : bool]
7,7d6
< 
\n15,15d13
< 		Word: Truth table, In Sense: Logic, For Place: 3
\n

Old Data:

	Definition:
		$x_1$ is a predicate parsing $x_2$ arguments which are elements of domain $x_3$; $x_1$ logically defined by truth-table $x_4$

	Notes:
		Predi - Predicate; Bridi = Predicate(args*) = Proposition;  $x_1$ is [str]. $x_2$ is [int] >= 1. $x_3$ is [set]. $x_4$ is a [map - proposition : bool]


	Jargon:
		Predicate

	Gloss Keywords:
		Word: Predicate, In Sense: Logic

	Place Keywords:
		Word: Truth table, In Sense: Logic, For Place: 3


New Data:

	Definition:
		$x_1$ is a predicate parsing $x_2$ arguments which are elements of domain $x_3$; $x_1$ logically defined by truth-table $x_4$

	Notes:
		Predi - Predicate; Bridi = Proposition = Predicate(args*); $x_1$ is [str]. $x_2$ is [int] >= 1. $x_3$ is [set]. $x_4$ is a [map - proposition : bool]

	Jargon:
		Predicate

	Gloss Keywords:
		Word: Predicate, In Sense: Logic

	Place Keywords:


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