Received: from mail-pz0-f61.google.com ([209.85.210.61]:42982) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1STAcO-00056o-Cy; Sat, 12 May 2012 04:36:18 -0700 Received: by dadp14 with SMTP id p14sf4225507dad.16 for ; Sat, 12 May 2012 04:36:06 -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 :content-transfer-encoding; bh=M8k92mJ6tj32GNQcnMpOgav2mJTJzOQhzsmN8oUOwrE=; b=fJxjvdaa7Yes+ZhR1BLrXJ6Wefz8KPbsat8rV8FjOHTcr708wFJfIyWsJFHYAKnFKg txWTY9JEfzmnNvtXTdCDKJ2m10misuQWxoDW7xEZ9ip3nVkQBH+BxP1gzyVZrwMEWNlv H3MAqhBgYzPErIuZazwUaKkR8GtbQjySqDj60= Received: by 10.68.236.163 with SMTP id uv3mr71005pbc.2.1336822566093; Sat, 12 May 2012 04:36:06 -0700 (PDT) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.68.195.100 with SMTP id id4ls9789198pbc.8.gmail; Sat, 12 May 2012 04:36:05 -0700 (PDT) Received: by 10.68.234.38 with SMTP id ub6mr1448768pbc.2.1336822565542; Sat, 12 May 2012 04:36:05 -0700 (PDT) Received: by 10.68.234.38 with SMTP id ub6mr1448767pbc.2.1336822565533; Sat, 12 May 2012 04:36:05 -0700 (PDT) Received: from mail-pz0-f45.google.com (mail-pz0-f45.google.com [209.85.210.45]) by gmr-mx.google.com with ESMTPS id rq3si5437747pbb.1.2012.05.12.04.36.05 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 12 May 2012 04:36:05 -0700 (PDT) Received-SPF: pass (google.com: domain of felipeg.assis@gmail.com designates 209.85.210.45 as permitted sender) client-ip=209.85.210.45; Received: by dadv2 with SMTP id v2so4532925dad.18 for ; Sat, 12 May 2012 04:36:05 -0700 (PDT) MIME-Version: 1.0 Received: by 10.68.190.131 with SMTP id gq3mr4516205pbc.17.1336822565409; Sat, 12 May 2012 04:36:05 -0700 (PDT) Received: by 10.68.55.132 with HTTP; Sat, 12 May 2012 04:36:05 -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: Sat, 12 May 2012 08:36:05 -0300 Message-ID: Subject: Re: [lojban-beginners] Re: Reuse request From: =?ISO-8859-1?Q?Felipe_Gon=E7alves_Assis?= To: lojban-beginners@googlegroups.com X-Original-Sender: felipeg.assis@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of felipeg.assis@gmail.com designates 209.85.210.45 as permitted sender) smtp.mail=felipeg.assis@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: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / Content-Length: 953 On 11 May 2012 08:46, Jorge Llamb=EDas wrote: > 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. > Whatever the interpretation, xorxes, how would you go expanding {lu'i ko'a .e ko'e broda} to a bridi connective? I expected it to be {ge lu'i ko'a broda gi lu'i ko'e broda}, which actually involves two possibly different sets. Is it that LAhE is an exception, or it should be expanded to something else first? mu'o mi'e .asiz. --=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.