Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:58550 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.85) (envelope-from ) id 1a76Tg-00056v-Vv; Thu, 10 Dec 2015 11:02:10 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 10 Dec 2015 11:02:08 -0800 From: "Apache" Date: Thu, 10 Dec 2015 11:02:08 -0800 To: webmaster@lojban.org, curtis289@att.net Subject: [jvsw] Definition Added At Word jorlge -- By krtisfranks Bcc: jbovlaste-admin@lojban.org Message-ID: <5669cc30.0Xyyg9vnoTHCJOKZ%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: quoted-printable 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 "jorlge" in the language "English". New Data: Definition: $x_1$ is the result of applying logical connective/conjunction $x_2$ to the terms of the ordered list $x_3$ in the order given, in system $x_4$ [...] 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.0074] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS In jbovlaste, the user krtisfranks has added a definition of "jorlge" in the language "English". New Data: =09Definition: =09=09$x_1$ is the result of applying logical connective/conjunction $x= _2$ to the terms of the ordered list $x_3$ in the order given, in syste= m $x_4$ =09Notes: =09=09$x_1$ is not the truth value of the result, but the result itself= . $x_2$ is filled by a function or a {la'e}-prefixed quote of a connect= ive (CON; JA*, JOI*). In Lojban, the terms of the ordered list in $x_3$= need not syntactically match the connective used; for example, bridi t= ails can be used even when {ja} (as opposed to {gi'e}/{gije}) fills $x_= 2$. The connective filling $x_2$, if n-ary, will operate on the first n= terms of the ordered list filling $x_3$, then it will successively ope= rate on the result and the next n-1 terms (after the previously used on= es) of the ordered list in $x_3$ where the the result and terms fill it= s argument slots in the order presented. Thus, the ordered list which f= ills $x_3$ must be of an appropriate length; the recommendation is tha= t exactly n terms are included; only explicitly mentioned terms are inc= luded. The terms of the ordered list in $x_3$ and their results must be= comparable; they can be sumti, bridi ({la'e}-prefixed quoted predicate= s; not its truth value), Booleans, sets, etc. This word can be used to = express the notion of "logical conjunction", "logical disjunction", "se= t-theoretic union", "set-theoretic complement", etc. (the result, not = the process, in each case); the terms of the list in $x_3$ would be the= conjunct(and)s (or their logical parents), etc. See: {fancufacki}, {te= rjoma}. =09Jargon: =09=09 =09Gloss Keywords: =09=09Word: logical conjunction, In Sense: result =09=09Word: logical disjunction, In Sense: result =09=09Word: set complement, In Sense: result =09=09Word: logical connective result, In Sense:=20 =09Place Keywords: =09=09Word: conjunction, In Sense: , For Place: 1 You can go to to see it.