Received: from mail-bw0-f61.google.com ([209.85.214.61]:51127)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRChu9X1BBoE93BkBw@googlegroups.com>)
	id 1RMifl-0000LZ-C6; Sat, 05 Nov 2011 09:00:53 -0700
Received: by bkat2 with SMTP id t2sf3334848bka.16
        for <multiple recipients>; Sat, 05 Nov 2011 09:00:37 -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=oKib/MMORcTGDz58UlBkNjc9v/0QISxC56kmuFpJLGA=;
        b=CgyuqV1GkS+hfvBWcpqw0JQf2/LOLMIPe+HzFO4JLpPenVdU3wnRr1X3F2DS1aG3KS
         V4DvHU+f9dkibcCPR40P03LyeMvoGUQp31snfaZ4zOXh2ASrnLYEdVYpeoSRVkRLaYJU
         oSUlDqAjIC3e8k+TevaBNPj38D0oW0zGAOFek=
Received: by 10.204.130.27 with SMTP id q27mr2176290bks.30.1320508833901;
        Sat, 05 Nov 2011 09:00:33 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.204.152.154 with SMTP id g26ls9110621bkw.3.gmail; Sat, 05 Nov
 2011 09:00:32 -0700 (PDT)
Received: by 10.204.184.2 with SMTP id ci2mr2280451bkb.7.1320508832459;
        Sat, 05 Nov 2011 09:00:32 -0700 (PDT)
Received: by 10.204.184.2 with SMTP id ci2mr2280450bkb.7.1320508832449;
        Sat, 05 Nov 2011 09:00:32 -0700 (PDT)
Received: from mail-fx0-f41.google.com (mail-fx0-f41.google.com [209.85.161.41])
        by gmr-mx.google.com with ESMTPS id i17si6672616fai.0.2011.11.05.09.00.32
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 05 Nov 2011 09:00:32 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.161.41 as permitted sender) client-ip=209.85.161.41;
Received: by faaf16 with SMTP id f16so4187427faa.28
        for <lojban@googlegroups.com>; Sat, 05 Nov 2011 09:00:32 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.152.148.165 with SMTP id tt5mr2991250lab.23.1320508832271;
 Sat, 05 Nov 2011 09:00:32 -0700 (PDT)
Received: by 10.152.19.198 with HTTP; Sat, 5 Nov 2011 09:00:32 -0700 (PDT)
In-Reply-To: <20111105153425.GH24058@gonzales>
References: <4EAC2461.4040307@gmail.com>
	<20111029172822.GC9385@gonzales>
	<4EAC5B24.4000604@gmail.com>
	<20111103234955.GA3758@gonzales>
	<4EB43035.6040407@gmail.com>
	<20111104233756.GB24058@gonzales>
	<CAO7tK2dzo0vjzQLwQObDo3GnOrjvEEE6_6K1wb0+a=On-H_gzw@mail.gmail.com>
	<20111105051200.GD24058@gonzales>
	<CAO7tK2cWRu-KW8Nbd7+a1fpB9va=YinWw=L73WDppcc2=_YSMg@mail.gmail.com>
	<20111105151953.GG24058@gonzales>
	<20111105153425.GH24058@gonzales>
Date: Sat, 5 Nov 2011 13:00:32 -0300
Message-ID: <CAO7tK2cfkbM4DVKSTHwVXWzm7TCRK4fW4aHEwq-r6OxeRnUM5g@mail.gmail.com>
Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
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.161.41 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: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam-Score: 0.0 (/)
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

On Sat, Nov 5, 2011 at 12:34 PM, Martin Bays <mbays@sdf.org> wrote:
>
> So make that {su'o na'e xabju cu turni ro xabju} - by analogy with the
> berets, you'd hae that meaning that one-or-more *kinds* of non-resident
> rule all residents - being something we could have deduced from {ro
> xabju cu se turni su'o na'e xabju}?

I don't see how you could deduce that one ore more kinds of
non-resident rule every resident from knowing that each resident is
ruled by one or more kinds of non-residents.

I don't see how you want to deduce EA from AE unless you have a
singleton domain for E or a singleton domain for A (or both).

It seems to me the only way you could do that is shift domains in
mid-deduction, which is not a valid move.

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.