Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:49574 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.86) (envelope-from ) id 1bC3zD-0006ig-8Z for jbovlaste-admin@lojban.org; Sun, 12 Jun 2016 04:55:32 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Sun, 12 Jun 2016 04:55:26 -0700 From: "Apache" To: Roflknife34@hotmail.com Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word predi -- By mulzuhes Date: Sun, 12 Jun 2016 04:55:26 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: 0.5 (/) 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 = Proposition = Predicate(args*); $x_1$ is [str]. $x_2$ is [int] >= 1. $x_3$ is [list - entity]. $x_4$ is a [map - proposition : bool]. --- > Predi - Predicate; Bridi = Proposition = Predicate(args*); $x_1$ is [str]. $x_2$ is [list - entity] with length >= 1. $x_3$ is a [map - proposition : bool]. [...] 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.0011] 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 = Proposition = Predicate(args*); $x_1$ is [str]. $x_2$ is [int] >= 1. $x_3$ is [list - entity]. $x_4$ is a [map - proposition : bool]. --- > Predi - Predicate; Bridi = Proposition = Predicate(args*); $x_1$ is [str]. $x_2$ is [list - entity] with length >= 1. $x_3$ is a [map - proposition : bool]. Old Data: Definition: $x_1$ is a predicate; $x_2$ are the domains of the arguments; $x_3$ is the truth-table Notes: Predi - Predicate; Bridi = Proposition = Predicate(args*); $x_1$ is [str]. $x_2$ is [int] >= 1. $x_3$ is [list - entity]. $x_4$ is a [map - proposition : bool]. Jargon: Predicate Gloss Keywords: Word: Predicate, In Sense: Logic Place Keywords: Word: Predicate, In Sense: Logic, For Place: 1 Word: Universe of discourse, In Sense: Logic, For Place: 2 Word: Truth table, In Sense: Logic, For Place: 3 New Data: Definition: $x_1$ is a predicate; $x_2$ are the domains of the arguments; $x_3$ is the truth-table Notes: Predi - Predicate; Bridi = Proposition = Predicate(args*); $x_1$ is [str]. $x_2$ is [list - entity] with length >= 1. $x_3$ is a [map - proposition : bool]. Jargon: Predicate Gloss Keywords: Word: Predicate, In Sense: Logic Place Keywords: Word: Predicate, In Sense: Logic, For Place: 1 Word: Universe of discourse, In Sense: Logic, For Place: 2 Word: Truth table, In Sense: Logic, For Place: 3 You can go to to see it.