Received: from mail-iy0-f189.google.com ([209.85.210.189]:33058)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhD2xdX1BBoEzr2abg@googlegroups.com>)
	id 1RMj1j-0000UU-Kl; Sat, 05 Nov 2011 09:23:35 -0700
Received: by iage36 with SMTP id e36sf5915336iag.16
        for <multiple recipients>; Sat, 05 Nov 2011 09:23:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:date:from:to:subject:message-id:references
         :mime-version:content-type:content-disposition:in-reply-to:x-pgp-key
         :x-pgp-keyid:x-cunselcu'a-valsi:user-agent: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;
        bh=GRh9LCI5cXm+qvsVBhGW08HylZnQ71LIAhBt0VI1zp4=;
        b=RJVwi0dLAh9ILd/ZZn9fjMS7BUIQzWnZWDXmcUbxv8KC8515FsXqG+3cP3waVwUfFh
         WMvXt4bRJPqMp2am+qEPNSOPy3fTRKGr8aVGJye9UmxHzqLisgTQu2JwrSRAaRrwwVjt
         A3XNffVuNwSUvqt7QYnqJ0m0vRvhqybgPIIZ0=
Received: by 10.50.11.202 with SMTP id s10mr2223443igb.10.1320510198640;
        Sat, 05 Nov 2011 09:23:18 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.231.12.6 with SMTP id v6ls1880016ibv.6.gmail; Sat, 05 Nov 2011
 09:23:17 -0700 (PDT)
Received: by 10.42.131.137 with SMTP id z9mr29378580ics.1.1320510197756;
        Sat, 05 Nov 2011 09:23:17 -0700 (PDT)
Received: by 10.42.131.137 with SMTP id z9mr29378578ics.1.1320510197740;
        Sat, 05 Nov 2011 09:23:17 -0700 (PDT)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id l3si9420265pbd.0.2011.11.05.09.23.17
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 05 Nov 2011 09:23:17 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of mbays@sdf.org designates 192.94.73.19 as permitted sender) client-ip=192.94.73.19;
Received: from gonzales.homelinux.org (root@sverige.freeshell.org [192.94.73.4])
	by sdf.lonestar.org (8.14.5/8.14.3) with ESMTP id pA5GNHS4022020
	for <lojban@googlegroups.com>; Sat, 5 Nov 2011 16:23:17 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RMj1Y-0001O6-Qg
	for lojban@googlegroups.com; Sat, 05 Nov 2011 12:23:16 -0400
Date: Sat, 5 Nov 2011 12:23:16 -0400
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable
Message-ID: <20111105162316.GA835@gonzales>
References: <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>
 <CAO7tK2cfkbM4DVKSTHwVXWzm7TCRK4fW4aHEwq-r6OxeRnUM5g@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="EeQfGwPcQSOJBaQU"
Content-Disposition: inline
In-Reply-To: <CAO7tK2cfkbM4DVKSTHwVXWzm7TCRK4fW4aHEwq-r6OxeRnUM5g@mail.gmail.com>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: bradi
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of mbays@sdf.org designates 192.94.73.19 as
 permitted sender) smtp.mail=mbays@sdf.org
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>
X-Spam-Score: -0.0 (/)
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /


--EeQfGwPcQSOJBaQU
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Saturday, 2011-11-05 at 13:00 -0300 - Jorge Llamb=EDas <jjllambias@gmail.=
com>:

> 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}?
>=20
> 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.
>=20
> 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).
>=20
> It seems to me the only way you could do that is shift domains in
> mid-deduction, which is not a valid move.

Make that "metadeduce", if you insist.

If we know that every resident is ruled by a non-resident, which is what
we would understand by {ro xabju cu se turni su'o na'e xabju}, then we
could conclude that there are some kinds of non-resident which rule
every resident, which I believe is a meaning you would ascribe to
{su'o na'e xabju cu turni ro xabju}.

So {ro xabju cu se turni su'o na'e xabju .i .ua su'o na'e xabju cu turni
ro xabju} would be a reasonable thought process (with a domain switch
having occurred between the sentences).

No?

Martin

--EeQfGwPcQSOJBaQU
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)

iEYEARECAAYFAk61YvQACgkQULC7OLX7LNYzUwCgveGtLMtj+XVaU7sToflU+WNW
dzIAoMrEdGjPsdkHWt12DWjrJ5rQIyCQ
=p0V6
-----END PGP SIGNATURE-----

--EeQfGwPcQSOJBaQU--