From nobody@digitalkingdom.org Sat Apr 18 08:07:46 2009 Received: with ECARTIS (v1.0.0; list lojban-beginners); Sat, 18 Apr 2009 08:07:46 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1LvC8w-0002Xr-0V for lojban-beginners-real@lojban.org; Sat, 18 Apr 2009 08:07:46 -0700 Received: from mail-ew0-f165.google.com ([209.85.219.165]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1LvC8s-0002XE-9i for lojban-beginners@lojban.org; Sat, 18 Apr 2009 08:07:45 -0700 Received: by ewy9 with SMTP id 9so441757ewy.34 for ; Sat, 18 Apr 2009 08:07:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=+nnQyPCpVE83LE9rxwkeDrwq3+On+zL+9vyyb6WKh2s=; b=xGKqpGNI+eWue/lSchy8ImfJV8Y/Hj9eVbNQ2+2SaCb9SIgUOzg96+vacaW9SLkco5 BMWz1wN5AVKKk86hw5IJXEPeYpgu31ZDJM1MTDCc/CDLXSsp90i6N5GLj6iaIAZFSxVG VnAicXIaFr245mHqVlBIBo8fJTFuG68bukmJs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=Bgms8mUTlNi17r9oyLMdwn2wyBTWUWub/pz0OhPp/Cxq9ycR6w/sEBRvVEkXrPHTgK X+aPZEEeG1bsxSqOjIckDfKwaed9jB4BsWUIix3nxca2fmpWLsGamV79IMdJ1PVm+jUZ 9KULdqW4AjEut8RQKl2euv/AGRIqyW7YKUyfo= MIME-Version: 1.0 Received: by 10.210.10.8 with SMTP id 8mr1815866ebj.49.1240067255719; Sat, 18 Apr 2009 08:07:35 -0700 (PDT) In-Reply-To: <5715b9300904171425y5308e06dla2fd0c33542b09bb@mail.gmail.com> References: <4de8c3930904170755t415ec77byc42e8417e7764b3f@mail.gmail.com> <4de8c3930904171149r2605f6d1y8030807c705b4570@mail.gmail.com> <5715b9300904171210i49d03792ta0cf8df85507c4a9@mail.gmail.com> <200904171520.30798.phma@phma.optus.nu> <925d17560904171231n6f93a608vf7869d1aa5483aae@mail.gmail.com> <5715b9300904171357q73cd885bl5a3e40d04c523277@mail.gmail.com> <49E8F2FB.2080602@perpetuum-immobile.de> <5715b9300904171425y5308e06dla2fd0c33542b09bb@mail.gmail.com> Date: Sat, 18 Apr 2009 12:07:35 -0300 Message-ID: <925d17560904180807g77de9c78qd3dcf0d03889f70e@mail.gmail.com> Subject: [lojban-beginners] Re: du & mintu From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban-beginners@lojban.org Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis X-Spam_score: -1.3 X-Spam_score_int: -12 X-Spam_bar: - X-Spam_report: Spam detection software, running on the system "chain.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: On Fri, Apr 17, 2009 at 6:25 PM, Luke Bergen wrote: [la'a la .tcan. la .en. cu ja'a mintu su'o da gi'e ku'i na mintu ro de] > "probably chan and en (interesting names) are indeed the same in at least some way but not in every other way". [...] Content analysis details: (-1.3 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -2.6 BAYES_00 BODY: Bayesian spam probability is 0 to 1% [score: 0.0000] 1.3 AWL AWL: From: address is in the auto white-list X-archive-position: 1555 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: jjllambias@gmail.com Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners On Fri, Apr 17, 2009 at 6:25 PM, Luke Bergen wrote: [la'a la .tcan. la .en. cu ja'a mintu su'o da gi'e ku'i na mintu ro de] > "probably chan and en (interesting names) are indeed the same in at least some way but not in every other way". Not really "other": they are the same in some way but not in every way. > If you've used "da" earlier does "ro de" have "da" as part of that?  Is "da" > included in "ro de"? In predicate logic notation it would be: Ex:M(t,e,x) & ~Ay:M(t,e,y) The two variables are independently bound. There is some x such that t and e are the same by that x, but it is not the case that for each y, t and e are the same by y. Ay:~M(t,e,y) would be contradictory with the first part, but ~Ay:M(t,e,y) is not. mu'o mi'e xorxes