From lojban+bncCJ2UzZHuDRChqNLeBBoEklwBjA@googlegroups.com Sun Apr 25 12:13:01 2010 Received: from mail-ww0-f61.google.com ([74.125.82.61]) by chain.digitalkingdom.org with esmtp (Exim 4.71) (envelope-from ) id 1O67GC-0002kH-4l; Sun, 25 Apr 2010 12:13:00 -0700 Received: by wwb34 with SMTP id 34sf1362077wwb.16 for ; Sun, 25 Apr 2010 12:12:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:mime-version:received:received :in-reply-to:references:date:message-id:subject:from:to :x-original-authentication-results:x-original-sender:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=sWn8cVwAU/5ZiqYSf1IeocatwwdoAodiIJyOzHRR/n0=; b=UQpSKA/wcyqWcS+gcEcs9fze69IQsaSEv8dkqpkr7AMJobN9Epjz3kwQ+5ZULeCZo4 84l5pLoxO2/6Tp6eQAoCUO8VlWgxq3pqnMp70X2kn1cqzInA/yCnO7FERGKbY/RHAGAD Mk56fO0IGqXPNsW4PDxwlm6C7zuc5D6Wl1HTk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-authentication-results :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-transfer-encoding; b=gXW8MwNZ6eXxjNwfZ+3DvhlRbkdWkyRPymtls1OFFT9KD8P+QCmNOvnevFMfjwLFIb 5k3TdLZCWYjvbfGQ79+lq2p7vcmPf6yiyOOijZfo+bD325QAKlRWrlQIMJl7A7fP1ld6 J8pGJQZ9PfZLzFCVY0Hrs19aOP3n1QjytW5E8= Received: by 10.223.25.203 with SMTP id a11mr852723fac.1.1272222753814; Sun, 25 Apr 2010 12:12:33 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.216.145.167 with SMTP id p39ls7850073wej.0.p; Sun, 25 Apr 2010 12:12:32 -0700 (PDT) Received: by 10.216.153.146 with SMTP id f18mr255062wek.1.1272222751880; Sun, 25 Apr 2010 12:12:31 -0700 (PDT) Received: by 10.216.153.146 with SMTP id f18mr255061wek.1.1272222751857; Sun, 25 Apr 2010 12:12:31 -0700 (PDT) Received: from mail-qy0-f177.google.com (mail-qy0-f177.google.com [209.85.221.177]) by gmr-mx.google.com with ESMTP id g1si4117385wbg.6.2010.04.25.12.12.29; Sun, 25 Apr 2010 12:12:30 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.221.177 as permitted sender) client-ip=209.85.221.177; Received: by mail-qy0-f177.google.com with SMTP id 7so641729qyk.14 for ; Sun, 25 Apr 2010 12:12:29 -0700 (PDT) MIME-Version: 1.0 Received: by 10.229.88.76 with SMTP id z12mr3575720qcl.58.1272222748558; Sun, 25 Apr 2010 12:12:28 -0700 (PDT) Received: by 10.229.79.75 with HTTP; Sun, 25 Apr 2010 12:12:28 -0700 (PDT) In-Reply-To: <770120.37196.qm@web81308.mail.mud.yahoo.com> References: <4BBE188B.8070807@lojban.org> <6d4d93ea-e660-4ad1-8910-02ddbb96f48c@b6g2000yqi.googlegroups.com> <561527.86938.qm@web81306.mail.mud.yahoo.com> <5f7591f2-cb68-4a39-940c-965a0770343f@b33g2000yqc.googlegroups.com> <775037.72228.qm@web81303.mail.mud.yahoo.com> <910640.40103.qm@web81304.mail.mud.yahoo.com> <971944.73808.qm@web81301.mail.mud.yahoo.com> <983500.94659.qm@web81304.mail.mud.yahoo.com> <770120.37196.qm@web81308.mail.mud.yahoo.com> Date: Sun, 25 Apr 2010 16:12:28 -0300 Message-ID: Subject: Re: [lojban] What gets into 'lo broda' From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 209.85.221.177 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com X-Original-Sender: jjllambias@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Sun, Apr 25, 2010 at 3:51 PM, John E Clifford wro= te: > > But about the cimeis. =A0Consider 'lo cimei be lo broda. =A0The "'individ= uals" in this case seem to have to be triads (of things among lo broda), an= d relatively impermeable ones. No, I think they are ordinary individuals: lo cimei be lo broda =3D zo'e noi ke'a cimei lo broda "things, which are three and among the broda >> ko'a (n+1)mei .ijo su'oi da poi pamei zo'u su'oi de poi (n)mei zo'u ge >> da na me de gi ro'oi di poi ke'a me ko'a zo'u ga di me da gi di me de >> "A are n+1 iff there's some X which is one and some Y which are n such >> that X is not among Y and for every Z among A, Z is X or Z are among >> Y" > > [Not quite enough, since =A0for every W among Y, WX is among A but not am= ong Z nor is it X.] Right, I complicated myself unnecessarily. I should have defined the "su'o(n)mei" first, and only then the "(n)mei". "su'o(pa)mei" is true of anything. "su'o(n+1)mei": A are at least n+1 iff there's X among A and Y among A such that X are at least n and Y are not among X Then "su'e(n)mei": A are at most n iff A are not at least n+1 And finally: A are n iff A are at least n and at most n mu'o mi'e xorxes --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.