Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:41476 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.86) (envelope-from ) id 1ao07E-0000G8-Bq for jbovlaste-admin@lojban.org; Wed, 06 Apr 2016 19:56:21 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 06 Apr 2016 19:56:16 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word du'a'e -- By krtisfranks Date: Wed, 6 Apr 2016 19:56:16 -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 krtisfranks has edited a definition of "du'a'e" in the language "English". Differences: 5,5c5,5 < Operators or symbolic orderings (rather than a description thereof) must be submitted via {zai'ai}-{mau'au} quotes. Usually, $X_1$ must be included; $X_1$ must be a set. Definitions and axioms must be defined elsewhere. An operator or ordering which is undefined on the set $X_1$ produces a trivial structure (one which is identical to that which is formed if this operator/ordering were not included at all). --- > Operators or symbolic orderings (rather than a description thereof) must be submitted via {mau'au}-{zai'ai} quotes. Usually, $X_1$ must be included; $X_1$ must be a set. Definitions and axioms must be defined elsewhere. An operator or ordering which is undefined on the set $X_1$ produces a trivial structure (one which is identical to that which is formed if this operator/ordering were not included at all). [...] 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 "du'a'e" in the language "English". Differences: 5,5c5,5 < Operators or symbolic orderings (rather than a description thereof) must be submitted via {zai'ai}-{mau'au} quotes. Usually, $X_1$ must be included; $X_1$ must be a set. Definitions and axioms must be defined elsewhere. An operator or ordering which is undefined on the set $X_1$ produces a trivial structure (one which is identical to that which is formed if this operator/ordering were not included at all). --- > Operators or symbolic orderings (rather than a description thereof) must be submitted via {mau'au}-{zai'ai} quotes. Usually, $X_1$ must be included; $X_1$ must be a set. Definitions and axioms must be defined elsewhere. An operator or ordering which is undefined on the set $X_1$ produces a trivial structure (one which is identical to that which is formed if this operator/ordering were not included at all). Old Data: Definition: mekso n-ary ordered operator: structure creator/ordered tuple, 'endow'; the structure formed by underlying set $X_1$ (as) endowed with element, order, quoted operator, etc. $X_2$, $X_3$, ... Notes: Operators or symbolic orderings (rather than a description thereof) must be submitted via {zai'ai}-{mau'au} quotes. Usually, $X_1$ must be included; $X_1$ must be a set. Definitions and axioms must be defined elsewhere. An operator or ordering which is undefined on the set $X_1$ produces a trivial structure (one which is identical to that which is formed if this operator/ordering were not included at all). Jargon: Gloss Keywords: Word: endowment operator, In Sense: mathematical structure construction Place Keywords: New Data: Definition: mekso n-ary ordered operator: structure creator/ordered tuple, 'endow'; the structure formed by underlying set $X_1$ (as) endowed with element, order, quoted operator, etc. $X_2$, $X_3$, ... Notes: Operators or symbolic orderings (rather than a description thereof) must be submitted via {mau'au}-{zai'ai} quotes. Usually, $X_1$ must be included; $X_1$ must be a set. Definitions and axioms must be defined elsewhere. An operator or ordering which is undefined on the set $X_1$ produces a trivial structure (one which is identical to that which is formed if this operator/ordering were not included at all). Jargon: Gloss Keywords: Word: endowment operator, In Sense: mathematical structure construction Place Keywords: You can go to to see it.