Received: from mail-ww0-f61.google.com ([74.125.82.61])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <bpfk-list+bncCJ2UzZHuDRDErojtBBoE6M9Etg@googlegroups.com>)
	id 1Q91XM-0004XY-Mj; Sun, 10 Apr 2011 13:47:16 -0700
Received: by wwb13 with SMTP id 13sf5420419wwb.16
        for <multiple recipients>; Sun, 10 Apr 2011 13:47:06 -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:content-transfer-encoding;
        bh=98a4083jdNmVgqMQNK4bOKZcdeo4pLhaz9pEU7y5HkI=;
        b=xNS5ldCl9c2Lt/0GeYTWxG4DuqS7iArqFbstBv/DJ6p4VR0Tl3UwA1XyqJnHR8ZD8m
         P/GjVXSvuubaDstZU8rhwnRIv+FekEfuzUU+DKR02mQ5ZlRmpLocpNK58C3gvF4ce4iV
         hDCdp5pvy6L4WDckjLCfOjPFE67iwwSjMfX/s=
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
         :content-transfer-encoding;
        b=snwO1BTCUAg//8b3ebgUsVjBhDv+DeFsjanFoM4Idf1I6zhfskav9RVx3q5+fdAndV
         oCVjahI28Zly9+a4kq9HFCkV0wG6Po/L++nibeywoo1Q9bLXsJ8C0ppUDYC3d7SOQ9tH
         cW59YA0X9NN3JC4oeMuQEuOxU+rHKW2gPWPSY=
Received: by 10.216.141.79 with SMTP id f57mr406351wej.21.1302468420309;
        Sun, 10 Apr 2011 13:47:00 -0700 (PDT)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.227.139.31 with SMTP id c31ls2045197wbu.0.p; Sun, 10 Apr 2011
 13:46:59 -0700 (PDT)
Received: by 10.227.178.75 with SMTP id bl11mr37594wbb.27.1302468419429;
        Sun, 10 Apr 2011 13:46:59 -0700 (PDT)
Received: by 10.227.178.75 with SMTP id bl11mr37593wbb.27.1302468419415;
        Sun, 10 Apr 2011 13:46:59 -0700 (PDT)
Received: from mail-ww0-f45.google.com (mail-ww0-f45.google.com [74.125.82.45])
        by gmr-mx.google.com with ESMTPS id e5si1455281wbi.6.2011.04.10.13.46.59
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 10 Apr 2011 13:46:59 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.45 as permitted sender) client-ip=74.125.82.45;
Received: by wwi36 with SMTP id 36so5302447wwi.2
        for <bpfk-list@googlegroups.com>; Sun, 10 Apr 2011 13:46:59 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.227.172.193 with SMTP id m1mr4331059wbz.201.1302468419122;
 Sun, 10 Apr 2011 13:46:59 -0700 (PDT)
Received: by 10.227.205.70 with HTTP; Sun, 10 Apr 2011 13:46:59 -0700 (PDT)
In-Reply-To: <201104091937.36205.phma@phma.optus.nu>
References: <20110327235147.GM14415@digitalkingdom.org>
	<AANLkTinOs-MVhSif-2zufXT6S_w0=0qyqNrzmu8zcieQ@mail.gmail.com>
	<201104091937.36205.phma@phma.optus.nu>
Date: Sun, 10 Apr 2011 17:46:59 -0300
Message-ID: <BANLkTinD2ad67=FQKaEzxyG-=h6WnNmq-w@mail.gmail.com>
Subject: Re: [bpfk] Uniqueness across quantification.
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: bpfk-list@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 74.125.82.45 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com
Reply-To: bpfk-list@googlegroups.com
Precedence: list
Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com
List-ID: <bpfk-list.googlegroups.com>
X-Google-Group-Id: 972099695765
List-Post: <http://groups.google.com/group/bpfk-list/post?hl=en_US>, <mailto:bpfk-list@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:bpfk-list+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/bpfk-list?hl=en_US>
Sender: bpfk-list@googlegroups.com
List-Subscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>, <mailto:bpfk-list+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>,
 <mailto:bpfk-list+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Length: 1653

On Sat, Apr 9, 2011 at 8:37 PM, Pierre Abbat <phma@phma.optus.nu> wrote:
> On Monday 28 March 2011 08:03:05 Jorge Llamb=EDas wrote:
>
>> If you want to say that they each live in a different house, I would
>> suggest:
>>
>> =A0 ro lo ci remna cu xabju lo frica zdani
>>
>> which is not logically rigorous, but it's clear enough. If you do need
>> logical rigour, I don't see any way other than multiple sentences.
>
> That should be "lo ficysi'u zdani", else it means that each of the three
> humans lives in a house that is different from something else.

They do each live in a house that is different from something else,
namely the houses the other two live in.

You can't use "lo ficysi'u zdani" with "ro lo ci remna" because it's
not the case that each of them lives in mutually different houses.
Each of them is supposed to live in a single house. "ro" says that you
can put each of the three humans in "... xabju lo ficysi'u zdani" and
get a true predication, but that's not the case. If one of the humans
is la djan, you don't really want to say that "la djan cu xabju lo
ficysi'u zdani".

If you eliminate "ro", then yes "the three of them live in mutually
different houses", which works but it's still non-rigorous, you still
have to work out for yourself that it's one house each.

mu'o mi'e xorxes

--=20
You received this message because you are subscribed to the Google Groups "=
BPFK" group.
To post to this group, send email to bpfk-list@googlegroups.com.
To unsubscribe from this group, send email to bpfk-list+unsubscribe@googleg=
roups.com.
For more options, visit this group at http://groups.google.com/group/bpfk-l=
ist?hl=3Den.