Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:49138 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1Y8E90-0007lh-Ns; Mon, 05 Jan 2015 12:20:56 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Mon, 05 Jan 2015 12:20:54 -0800 From: "Apache" Date: Mon, 05 Jan 2015 12:20:54 -0800 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Edited At Word lu'erfu -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <54aaf226.OUc0G/mpuxthEjZC%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: 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 @@CONTACT_ADDRESS@@ for details. Content preview: In jbovlaste, the user krtisfranks has edited a definition of "lu'erfu" in the language "English". Differences: 2,2c2,2 < $x_1$ (quote) is a text/word/sequence wherein the characters/phonemes are taken over alphabet $x_2$ --- > $x_1$ (quote) is a text/word/sequence wherein the characters/phonemes are taken over alphabet $x_2$ (set) 5,5c5,5 < For formal language analysis. In mathematical writing, this relationship is sometimes written as "/"; the set of all x1 (where x2 is specified) is x2* (where "*" is the Kleene star); then x1 is an element/member of x2*. --- > For formal language analysis. In mathematical writing, this relationship is sometimes written as "/"; the set of all x1 (where x2 is specified) is x2* (where "*" is the Kleene star); then x1 is an element/member of x2*, and the letters of x1 are elements/members of x2. While each letter in x1 must be an element of x2, there can be elements of x2 that do not appear in x1. [...] 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 edited a definition of "lu'erfu" in the language "English". Differences: 2,2c2,2 < $x_1$ (quote) is a text/word/sequence wherein the characters/phonemes are taken over alphabet $x_2$ --- > $x_1$ (quote) is a text/word/sequence wherein the characters/phonemes are taken over alphabet $x_2$ (set) 5,5c5,5 < For formal language analysis. In mathematical writing, this relationship is sometimes written as "/"; the set of all x1 (where x2 is specified) is x2* (where "*" is the Kleene star); then x1 is an element/member of x2*. --- > For formal language analysis. In mathematical writing, this relationship is sometimes written as "/"; the set of all x1 (where x2 is specified) is x2* (where "*" is the Kleene star); then x1 is an element/member of x2*, and the letters of x1 are elements/members of x2. While each letter in x1 must be an element of x2, there can be elements of x2 that do not appear in x1. Old Data: Definition: $x_1$ (quote) is a text/word/sequence wherein the characters/phonemes are taken over alphabet $x_2$ Notes: For formal language analysis. In mathematical writing, this relationship is sometimes written as "/"; the set of all x1 (where x2 is specified) is x2* (where "*" is the Kleene star); then x1 is an element/member of x2*. Jargon: Gloss Keywords: Word: alphabet, In Sense: formal language Word: word, In Sense: formal language Place Keywords: New Data: Definition: $x_1$ (quote) is a text/word/sequence wherein the characters/phonemes are taken over alphabet $x_2$ (set) Notes: For formal language analysis. In mathematical writing, this relationship is sometimes written as "/"; the set of all x1 (where x2 is specified) is x2* (where "*" is the Kleene star); then x1 is an element/member of x2*, and the letters of x1 are elements/members of x2. While each letter in x1 must be an element of x2, there can be elements of x2 that do not appear in x1. Jargon: Gloss Keywords: Word: alphabet, In Sense: formal language Word: word, In Sense: formal language Place Keywords: You can go to to see it.