Received: from mail-pz0-f61.google.com ([209.85.210.61]:43876)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhD9h_70BBoEC8zzMA@googlegroups.com>)
	id 1RGiD9-0004a3-Ly; Wed, 19 Oct 2011 19:18:34 -0700
Received: by pzk4 with SMTP id 4sf2448644pzk.16
        for <multiple recipients>; Wed, 19 Oct 2011 19:18:17 -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=ueeulfVuVrm7ZTue5um8E3uw8y1rSF69h2iXHrDhhQU=;
        b=tL6Orv2i2juNrW2c78Qm6GtVR8FFhdf8bks539gxfGsCa46Ks/pj2dV90Plp6L3J8F
         8wSw4E7Jo2nR/zHASF4LeJ9FTzj7vZuH/wbI/1JZFPKbpO1FUU9tVY/OFl5PPfWsjlOn
         tx6bkPAbf/X3yyNc47BjZVNjiLDkUpoi91pZ8=
Received: by 10.68.31.41 with SMTP id x9mr2002383pbh.17.1319076861831;
        Wed, 19 Oct 2011 19:14:21 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.74.5 with SMTP id p5ls8116305pbv.7.gmail; Wed, 19 Oct 2011
 19:14:21 -0700 (PDT)
Received: by 10.68.46.193 with SMTP id x1mr9495502pbm.7.1319076861190;
        Wed, 19 Oct 2011 19:14:21 -0700 (PDT)
Received: by 10.68.46.193 with SMTP id x1mr9495500pbm.7.1319076861155;
        Wed, 19 Oct 2011 19:14:21 -0700 (PDT)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id r5si4744192pbe.1.2011.10.19.19.14.21
        (version=TLSv1/SSLv3 cipher=OTHER);
        Wed, 19 Oct 2011 19:14:21 -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 p9K2EKH0020854
	for <lojban@googlegroups.com>; Thu, 20 Oct 2011 02:14:20 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RGi9E-0006bi-3v
	for lojban@googlegroups.com; Wed, 19 Oct 2011 22:14:20 -0400
Date: Wed, 19 Oct 2011 22:14:20 -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: <20111020021420.GG5010@gonzales>
References: <4E98D899.7080608@gmail.com>
 <20111015200404.GB3090@gonzales>
 <4E9A39C9.3010605@gmail.com>
 <20111016050503.GA21114@gonzales>
 <4E9B77B1.2050608@gmail.com>
 <20111018032657.GO21114@gonzales>
 <4E9E4B3E.2080001@gmail.com>
 <20111019051100.GA24975@gonzales>
 <4E9F32CB.4010102@gmail.com>
 <20111020011903.GF5010@gonzales>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="NPukt5Otb9an/u20"
Content-Disposition: inline
In-Reply-To: <20111020011903.GF5010@gonzales>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: kicne
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.6 (/)
X-Spam_score: -0.6
X-Spam_score_int: -5
X-Spam_bar: /


--NPukt5Otb9an/u20
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

* Wednesday, 2011-10-19 at 21:19 -0400 - Martin Bays <mbays@sdf.org>:

> Completing (B) for lojban is clearly a non-trivial task, and we may well
> find that we're better off settling for a partial solution (e.g. which
> assumes boolean truth values, and so doesn't really handle {jei}) than
> a complete one... but I don't see any obvious reason for considering it
> impossible.

Bad example, sorry - the extension of {jei broda} probably isn't
a matter for the logic.

--NPukt5Otb9an/u20
Content-Type: application/pgp-signature

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

iEYEARECAAYFAk6fg/wACgkQULC7OLX7LNYwlwCdHn03yILY9LGr6tLsJ0fr1r4X
dBUAnRaz3ep8KVaWqVYvD0R1LMQX7t9Z
=LO1P
-----END PGP SIGNATURE-----

--NPukt5Otb9an/u20--