Received: from mail-lpp01m010-f61.google.com ([209.85.215.61]:56535)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban-beginners+bncCJ2UzZHuDRDRy7n9BBoEpGLBVw@googlegroups.com>)
	id 1STCOY-0006po-6l; Sat, 12 May 2012 06:30:07 -0700
Received: by laai10 with SMTP id i10sf1313765laa.16
        for <multiple recipients>; Sat, 12 May 2012 06:29:54 -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=EVla+Scwu5y+y4g8nidyYCQ7rlFcqRaQcb6+2gv3qZs=;
        b=By4sP/cubiQALFNRVISgzlEtXMXi0OPVWT1wK7Np5BSOGf4pRKEjHzAli5evymqCWR
         UprKhccd/8J4ZOWEpzxRE/l8j47pwFVnSkNkl7zTS6zFuLfccUDx/HSyLhxphcnPsqRy
         agq9K0fyKQvlAAKbpoTi3i6EOSzBAnRaajbOA=
Received: by 10.204.152.3 with SMTP id e3mr39269bkw.31.1336829393823;
        Sat, 12 May 2012 06:29:53 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.204.8.149 with SMTP id h21ls6043466bkh.3.gmail; Sat, 12 May
 2012 06:29:52 -0700 (PDT)
Received: by 10.204.132.81 with SMTP id a17mr186819bkt.4.1336829392661;
        Sat, 12 May 2012 06:29:52 -0700 (PDT)
Received: by 10.204.132.81 with SMTP id a17mr186818bkt.4.1336829392646;
        Sat, 12 May 2012 06:29:52 -0700 (PDT)
Received: from mail-lpp01m010-f46.google.com (mail-lpp01m010-f46.google.com [209.85.215.46])
        by gmr-mx.google.com with ESMTPS id ig3si14925571bkc.3.2012.05.12.06.29.52
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 12 May 2012 06:29:52 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.46 as permitted sender) client-ip=209.85.215.46;
Received: by lahd3 with SMTP id d3so3035165lah.5
        for <lojban-beginners@googlegroups.com>; Sat, 12 May 2012 06:29:52 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.152.144.101 with SMTP id sl5mr1709470lab.51.1336829392168;
 Sat, 12 May 2012 06:29:52 -0700 (PDT)
Received: by 10.112.112.68 with HTTP; Sat, 12 May 2012 06:29:52 -0700 (PDT)
In-Reply-To: <CALMa68oEu=kUfHBsty179Dnu-cwui=wP9xZ8u2GS=bXKU-SzPA@mail.gmail.com>
References: <CAMKwHj2prU_2fn6qeh-tioG3W=y+7hpMjPXAOSTEvkSse5gp6w@mail.gmail.com>
	<CAMKwHj1=oL7AE9Kq-cY0zk1zDdwzYtDCbDVKo8zaVbqvt7nzRA@mail.gmail.com>
	<CAHiXx=PsR8HCUKvp+LVwgAJJ_QJ=ca8yt+MQrswkBRwJoGFtAQ@mail.gmail.com>
	<201205080025.44688.phma@phma.optus.nu>
	<CAMKwHj3Q14xUULjZvbe3Pqa7Vvv6d6jOft16S_N_rNP00dpg7g@mail.gmail.com>
	<CAMKwHj2w7XQnr0RjmXBWtX0S4NBP5VTmQ39Wd90WEFEiMiHN=w@mail.gmail.com>
	<CAO7tK2fSdtxOkEkajA2TK5qEdA=pz3-THjCLcrn8t2KrWNt9AQ@mail.gmail.com>
	<CAMKwHj0BjF1nZ1Hp+43ef3V+n4KT9ErpE-Q6=cRF66Ft=vPj1A@mail.gmail.com>
	<CAO7tK2eeiLsOmg0ow9XTw65Ja=y4D7YMHk2DZSH7igN2scqHkQ@mail.gmail.com>
	<CAMKwHj3Sm_209N95SOxUyJ_5SvES7JX+znZmA4bmbBfKj2QdGQ@mail.gmail.com>
	<CAO7tK2fQ=w6C8S_5jwUZPvnmMo7DpTAcgb76QwC4k4-3gFTMdw@mail.gmail.com>
	<12872840.1048.1336566301897.JavaMail.geo-discussion-forums@ynjb15>
	<3f2be27f-7c0e-459f-9b8a-f0a3b401cfb1@l15g2000vbv.googlegroups.com>
	<CAMKwHj1+585aqNs0b2bcLd6gO6hArkS5efKdoi5Vppba1aAJGw@mail.gmail.com>
	<CAKOEKkRkxV3-wLnWndNRFH2y3zGn8yLKUgxNsp3=Nu54G5HkQg@mail.gmail.com>
	<CAMKwHj3bbcptyHVQAmDtS9qi94aK7rRnjtM9X_8uHSTOEN0DBw@mail.gmail.com>
	<CAKOEKkTS9PinuhG2CqFggqiBR4fT6z3MYGobaYafQ=sdyhukvg@mail.gmail.com>
	<CAMKwHj3Zhgu=sd6ZVh09L2Jx2Ja4U88mVmP=vf2WH7rLY8uuMg@mail.gmail.com>
	<CAMKwHj2T169odQiS6cGxMksraczhXLnOiHsCE0Mp9NB5dFmxOQ@mail.gmail.com>
	<CAMKwHj1eV2wYJOpnx3zZceuc2BSpbdzNNSJvw4a+zB5L71JQ6Q@mail.gmail.com>
	<CAMKwHj3nut8+w44N4FiaL8=TuOQxi+kTL+BeKGsnppAWtd_XHg@mail.gmail.com>
	<CAO7tK2cNtSyrHEZySGxHY8DvX+FzmsY5UOqjU9=T4p=SZKLkEg@mail.gmail.com>
	<CAMKwHj3JPhfpqNsCWxjH2-SiiWmZNq94MkwXFs5rAneLKHg6UA@mail.gmail.com>
	<CAO7tK2e_9=aRFANQc_55v6qbKFawfwTZFJ0awoodezaRE5T7+Q@mail.gmail.com>
	<CAMKwHj2ohmg1tuo=azStK38twVw0_FAarF_DS=j0Bo=pw8SF8w@mail.gmail.com>
	<CAO7tK2dxZzVQ6QWs71+XgK+quE16SaQ9i4DaiJqXX+2WAO5JNw@mail.gmail.com>
	<CAMKwHj3ZSnfm7tRCHdt7tsndarJ-89+QpdOFXBZqwdZPC66VkQ@mail.gmail.com>
	<CAMKwHj2F7jz15+K_bQcUBLMrGJB5ec9OeT_NzXE=Ypq9q-yg2g@mail.gmail.com>
	<CAO7tK2e-81nn1-UZ3N_F9oUjhC6UY-1Hw-+cB-TtMnC671SYFg@mail.gmail.com>
	<CAMKwHj111GSCQdsWF8fm6KBRNUZLW5RrnsbhfFvJ-ynqcp6sow@mail.gmail.com>
	<CAO7tK2cZnuwrzju33Hy_yunOvVQtT2eeExT7cDjXsHzM9A6moA@mail.gmail.com>
	<CAMKwHj29r2i9PHMPaMY=Ru0mEmbQBDvczT27OjMbatnnBPzJVw@mail.gmail.com>
	<CAO7tK2ebqUfM37Q3ESn4huJaZZXQ_kPPrWR2p08fYe_Ht6QkKw@mail.gmail.com>
	<CAMKwHj1LtS20OrUNNwjZ6YAEnZBO9ugdgk3BPYw8XhsaqhC=1g@mail.gmail.com>
	<CAO7tK2c+LFg879NTe+XLEvupST88Fw76eJBbgzK9w8xZh9ZcFw@mail.gmail.com>
	<CAMKwHj2NumU2FWAWq2J9wjn1yPzmajTyU98hMhCd5a0KwqPL2w@mail.gmail.com>
	<CAO7tK2ez9L=5XpqWp07YCB+63YYOHYMDppgfcSoVJ7tcUmx=QQ@mail.gmail.com>
	<CAMKwHj3CxSZddwbG=n=WRERy+79Y8YRTk6jT8hqnMhAzrJy7rw@mail.gmail.com>
	<CAO7tK2eX6XkDahTJAJDDF8PskdOMKmga-64EK4Mu0+z9PxLRpA@mail.gmail.com>
	<CAMKwHj2iZGz=xO2XVDHp-NK=ijBZ=5Z4HBGzHR2BDLd57BmbEA@mail.gmail.com>
	<CAO7tK2cPF1UwAE-mdsLRVWFqk7dFsJ+0Bjy44=tDyXMqVFwiAQ@mail.gmail.com>
	<CALMa68oEu=kUfHBsty179Dnu-cwui=wP9xZ8u2GS=bXKU-SzPA@mail.gmail.com>
Date: Sat, 12 May 2012 10:29:52 -0300
Message-ID: <CAO7tK2dnD5zSRRib9WdxvOoo=T2K+caqd+YYwosHYOSx5r6Veg@mail.gmail.com>
Subject: Re: [lojban-beginners] Re: Reuse request
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban-beginners@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.215.46 as permitted sender)
 smtp.mail=jjllambias@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: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:googlegroups-manage+300742228892+unsubscribe@googlegroups.com>
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: /

On Sat, May 12, 2012 at 8:36 AM, Felipe Gon=E7alves Assis
<felipeg.assis@gmail.com> wrote:
> On 11 May 2012 08:46, Jorge Llamb=EDas <jjllambias@gmail.com> 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?

"lu'i" is basically "lo selcmi be" (plus some considerations), so:

lu'i ko'a .e ko'e
=3D lo selcmi be ko'a .e ko'e
=3D zo'e noi ke'a selcmi ko'a .e ko'e
=3D zo'e noi ge ke'a selcmi ko'a gi ke'a selcmi ko'e

That results in the "any set containing" interpretation.

The other interpretation requires a more complicated definition of
"lu'i", something like "lo selcmi be ... .e no drata be ri".

mu'o mi'e xorxes

--=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.