From lojban+bncCJ2UzZHuDRC62vztBBoEZQbnrA@googlegroups.com Mon May 02 15:16:41 2011 Received: from mail-fx0-f61.google.com ([209.85.161.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1QH1Pw-0006z0-J0; Mon, 02 May 2011 15:16:40 -0700 Received: by fxm14 with SMTP id 14sf7017259fxm.16 for ; Mon, 02 May 2011 15:16:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:x-beenthere:received-spf:mime-version :in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-google-group-id:list-post :list-help:list-archive:sender:list-subscribe:list-unsubscribe :content-type; bh=lvx1V3odQwNkTcO7KxEL35MTfOkCIkKzz7nNzDd+cJU=; b=7Fv5JwjMhWBM0ZXmOh3szBXvQ82Y4DppzemXTb7Qys/kE0ia8FYFftxWHF8ZtChBMF BRetmi4YTAfDdwn/V0BBEkp+YueInGe9jtDcFAwWy2/DZwNGCYTwBgRKg4lE0T8+QZE2 SJ1VQtWi1HaJeL/cMtmS4lkUlOI3r4GRLwNEM= 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-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; b=bh0ESrrh0Heamz0//AppS8JWu//EP/ki5BydalyUVQwcqGn8A4HuOMGNj1rlJ5Nx/F B1FCZdhnhVT4sLH2d2yPNa84dqUMFCY4M3tAduHESb6LPWYynFIg1l0nOx1x8vkVZMGP 9jxRVV2vWvDPC0v8yDzBQrjaQXq/zPt/0PWzU= Received: by 10.223.55.149 with SMTP id u21mr1308837fag.46.1304374586162; Mon, 02 May 2011 15:16:26 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.14.25.139 with SMTP id z11ls447998eez.0.gmail; Mon, 02 May 2011 15:16:24 -0700 (PDT) Received: by 10.14.48.7 with SMTP id u7mr170036eeb.19.1304374584697; Mon, 02 May 2011 15:16:24 -0700 (PDT) Received: by 10.14.48.7 with SMTP id u7mr170035eeb.19.1304374584680; Mon, 02 May 2011 15:16:24 -0700 (PDT) Received: from mail-vw0-f52.google.com (mail-vw0-f52.google.com [209.85.212.52]) by gmr-mx.google.com with ESMTPS id l15si2084052eei.7.2011.05.02.15.16.24 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 02 May 2011 15:16:24 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.212.52 as permitted sender) client-ip=209.85.212.52; Received: by mail-vw0-f52.google.com with SMTP id 16so7596477vws.39 for ; Mon, 02 May 2011 15:16:24 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.176.101 with SMTP id ch5mr5550597vdc.129.1304374584102; Mon, 02 May 2011 15:16:24 -0700 (PDT) Received: by 10.52.185.167 with HTTP; Mon, 2 May 2011 15:16:24 -0700 (PDT) In-Reply-To: References: Date: Mon, 2 May 2011 19:16:24 -0300 Message-ID: Subject: Re: [lojban] xorlo and default quantifiers From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 209.85.212.52 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 On Mon, May 2, 2011 at 2:05 AM, Ian Johnson wrote: > Shouldn't you not do that anyway, since {lo} is distributive? "lo" (at least in xorlo, which is what we were talking about) is in itself neither distributive nor non-distributive. The definition is: lo broda = zo'e noi ke'a broda and there is obviously no requirement for "zo'e" to be distribitive (or non-distributive). mu'o mi'e xorxes -- 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@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.