Received: from mail-we0-f189.google.com ([74.125.82.189]:54208) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1SSpTr-0002EX-Gv; Fri, 11 May 2012 06:02:03 -0700 Received: by werm13 with SMTP id m13sf390760wer.16 for ; Fri, 11 May 2012 06:01:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; 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; bh=qc/dd7lwR30hXYZNslVcRGX1cqrQoyBCqImD5po2BQw=; b=mLwLa5FWL9UGB347/6HonqtsaAXjg0bHpUGyF5T2EZ6FViiqih0xzOy01YInNc/fHh Kd60iZpftg2y9111CZgT3lBS7U/waQF6+ZJL26yFRHdlUJ92vcaHkoHlocmsW6IZmgbI AvXcWV1H/D9cKHcL82nTs5fjBo/94SLU73Foo= Received: by 10.205.132.19 with SMTP id hs19mr333915bkc.12.1336741311494; Fri, 11 May 2012 06:01:51 -0700 (PDT) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.204.130.145 with SMTP id t17ls5750193bks.8.gmail; Fri, 11 May 2012 06:01:50 -0700 (PDT) Received: by 10.205.122.65 with SMTP id gf1mr1114847bkc.2.1336741309994; Fri, 11 May 2012 06:01:49 -0700 (PDT) Received: by 10.205.122.65 with SMTP id gf1mr1114845bkc.2.1336741309971; Fri, 11 May 2012 06:01:49 -0700 (PDT) Received: from mail-lpp01m010-f51.google.com (mail-lpp01m010-f51.google.com [209.85.215.51]) by gmr-mx.google.com with ESMTPS id ig3si10939745bkc.3.2012.05.11.06.01.49 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 11 May 2012 06:01:49 -0700 (PDT) Received-SPF: pass (google.com: domain of eyeonus@gmail.com designates 209.85.215.51 as permitted sender) client-ip=209.85.215.51; Received: by mail-lpp01m010-f51.google.com with SMTP id w12so1873975lag.38 for ; Fri, 11 May 2012 06:01:49 -0700 (PDT) MIME-Version: 1.0 Received: by 10.112.45.226 with SMTP id q2mr2358649lbm.50.1336741309698; Fri, 11 May 2012 06:01:49 -0700 (PDT) Received: by 10.152.22.68 with HTTP; Fri, 11 May 2012 06:01:49 -0700 (PDT) In-Reply-To: References: <201205080025.44688.phma@phma.optus.nu> <12872840.1048.1336566301897.JavaMail.geo-discussion-forums@ynjb15> <3f2be27f-7c0e-459f-9b8a-f0a3b401cfb1@l15g2000vbv.googlegroups.com> Date: Fri, 11 May 2012 07:01:49 -0600 Message-ID: Subject: Re: [lojban-beginners] Re: Reuse request From: Jonathan Jones To: lojban-beginners@googlegroups.com X-Original-Sender: eyeonus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of eyeonus@gmail.com designates 209.85.215.51 as permitted sender) smtp.mail=eyeonus@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban-beginners@googlegroups.com Precedence: list Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com List-ID: X-Google-Group-Id: 300742228892 List-Post: , List-Help: , List-Archive: Sender: lojban-beginners@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=bcaec554de74ebd4b004bfc25615 X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / Content-Length: 4349 --bcaec554de74ebd4b004bfc25615 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Fri, May 11, 2012 at 5:46 AM, Jorge Llamb=EDas wro= te: > On Fri, May 11, 2012 at 12:16 AM, Jonathan Jones > wrote: > > Changes in bold: > > > > #41. lo'i mi .e la.djan. .e la snime .e la.flyfis. ku kans'iu xabju lo = vu > > cmalu zdani > > > > #54. cy: xu do'o se panzi > > by: go'i .i mi'a se panzi lo cimei noi me lo'i pa nanla .e re nixli > > Grammatically you need "lu'i ... [lu'u]" in those, not "lo'i ... ku", > but I don't think sets live in houses or have (this kind of) parents. > I don't see why it needs to be "lu'i" and not "lo'i". Isn't "lo'i X" "the set of X"? > BTW, I'm not sure it has ever been defined whether "lu'i ko'a .e ko'e" > is the set whose elements are ko'a and ko'e and nothing else, or any > set containing ko'a and ko'e. > > mu'o mi'e xorxes > I have no idea, but I fail to see how the latter is useful, especially when held in comparison to the former. It also seems to me it would be easier to extend a set restricted by default than to restrict a set extended by default. --=20 mu'o mi'e .aionys. .i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o (Come to the Dot Side! Luke, I am your father. :D ) --=20 You received this message because you are subscribed to the Google Groups "= Lojban Beginners" group. To post to this group, send email to lojban-beginners@googlegroups.com. To unsubscribe from this group, send email to lojban-beginners+unsubscribe@= googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban= -beginners?hl=3Den. --bcaec554de74ebd4b004bfc25615 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Fri, May 11, 2012 at 5:46 AM, Jorge Llamb=EDa= s <jjllambias@gmail.com> wrote:
On Fri, May 11, 2012 at 12:16 AM, Jonathan Jones <eyeonus@gmail.com> wrote:
> Changes in bold:
>
> #41. lo'i mi .e la.djan. .e la snime .e la.flyfis. ku kans'iu = xabju lo vu
> cmalu zdani
>
> #54. cy: xu do'o se panzi
> =A0=A0=A0 by: go'i .i mi'a se panzi lo cimei noi me lo'i p= a nanla .e re nixli

Grammatically you need "lu'i ... [lu'u]" in those, = not "lo'i ... ku",
but I don't think sets live in houses or have (this kind of) parents.

I don't see why it needs to be "lu'i&q= uot; and not "lo'i". Isn't "lo'i X" "t= he set of X"?
=A0
BTW, I'm not sure it has ever been defined whether "lu'i ko= 9;a .e ko'e"
is the set whose elements are ko'a and ko'e and nothing else, or an= y
set containing ko'a and ko'e.

mu'o mi'e xorxes

I have no idea, but I fail to see how th= e latter is useful, especially when held in comparison to the former. It al= so seems to me it would be easier to extend a set restricted by default tha= n to restrict a set extended by default.

--
mu'o mi'e .aionys.

.i.e'ucai ko cmima lo piln= o be denpa bu .i doi.luk. mi patfu do zo'o
(Come to the Dot Side! Lu= ke, I am your father. :D )

--
You received this message because you are subscribed to the Google Groups "= Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@= googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban= -beginners?hl=3Den.
--bcaec554de74ebd4b004bfc25615--