Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:34620 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1VrCXL-0006Wv-T4; Thu, 12 Dec 2013 12:07:15 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 12 Dec 2013 12:07:07 -0800 From: "Apache" Date: Thu, 12 Dec 2013 12:07:07 -0800 To: webmaster@lojban.org, gusni.kantu@gmail.com Subject: [jvsw] Definition Added At Word xe'u -- By gusnikantu Bcc: jbovlaste-admin@lojban.org Message-ID: <52aa176b.mebNnMCpte9+XZIr%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: 2.0 (++) X-Spam_score: 2.0 X-Spam_score_int: 20 X-Spam_bar: ++ X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: In jbovlaste, the user gusnikantu has added a definition of "xe'u" in the language "English". New Data: Definition: Abstraction variable indicator brivla. [...] Content analysis details: (2.0 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.6 RCVD_IN_BRBL_LASTEXT RBL: RCVD_IN_BRBL_LASTEXT [173.13.139.235 listed in bb.barracudacentral.org] 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] 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user gusnikantu has added a definition of "xe'u" in the language "English". New Data: Definition: Abstraction variable indicator brivla. Notes: {xe'u} is a pro-bridi (meaning it takes the place of a fully-specified bridi). {xe'u} indicates that the brivla is considered to be a bridi-variable that can be filled by other bridi. {xe'u} makes sense only inside abstraction clauses. In particular, {xe'u} is almost solely used in prenex in order to put a word of selma'o NU in prenex in a statement of predicate logic of third or higher order. See {bu'ai} for usage. See also {ce'u}, {bu'ai}. Jargon: Gloss Keywords: Place Keywords: You can go to to see it.