Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:40794 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.86) (envelope-from ) id 1anzu4-00085u-JS for jbovlaste-admin@lojban.org; Wed, 06 Apr 2016 19:42:45 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 06 Apr 2016 19:42:40 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Added At Word du'a'o -- By krtisfranks Date: Wed, 6 Apr 2016 19:42:40 -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 added a definition of "du'a'o" in the language "English". New Data: Definition: mekso binary operator: extract substructure/underlying set/endowing operator; the substructure (general sense; includes just operator, order, set, etc.) of $X_1$ (structure; explicitly given by {du'a'e}) which is formed by collecting the $i$th entries of that {du'a'e}-tuple in order together into their own {du'a'e}-tuple (or by extracting them naked into the ambient environment if $X_2$ is a singleton) for all $i$ in set $X_2$ [...] 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 "du'a'o" in the language "English". New Data: Definition: mekso binary operator: extract substructure/underlying set/endowing operator; the substructure (general sense; includes just operator, order, set, etc.) of $X_1$ (structure; explicitly given by {du'a'e}) which is formed by collecting the $i$th entries of that {du'a'e}-tuple in order together into their own {du'a'e}-tuple (or by extracting them naked into the ambient environment if $X_2$ is a singleton) for all $i$ in set $X_2$ Notes: Usually, a complicated structure will involve the underlying set. $i$ is not a user-submission-accepting terbri; only $X_1$ and $X_2$ are. If $X_1$ is not provided explicitly here by a {du'a'e} construct, then one must be inferred from context (the most recent definition; the order of things entries submitted to that construct is understood to apply here via direct formal substitution); otherwise, this word is undefined. Even though operators and orders must be submitted to {de'a'e} via {zai'ai}-{mau'au} quotes, they are extracted naked by this word (so that they can be used directly as evaluating operators in numerical expressions; thus, they must be requoted if that is desired/appropriate). Counting starts at 1. Thus, $X_2$ being exactly the singleton of 1 will output the underlying set of $X_1$. Jargon: Gloss Keywords: Word: substructure extraction, In Sense: mekso Place Keywords: You can go to to see it.