Received: from mail-pz0-f56.google.com ([209.85.210.56]:51674)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhC7nsr2BBoEbF9bKg@googlegroups.com>)
	id 1RUkOR-0001Oj-M4; Sun, 27 Nov 2011 11:28:12 -0800
Received: by pzk6 with SMTP id 6sf3013359pzk.1
        for <multiple recipients>; Sun, 27 Nov 2011 11:27:57 -0800 (PST)
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=xn7ABhFBPldmfoGh/6lYBY3Ucjw/fz+irau069P19u4=;
        b=uXc+PRfj3eIWDBqYrkulvCKNqruV8FrhexXq+BAPYnvgWd8WTTnHk3T2jXPuEHrvQt
         S/Cre9SGLj1BFceW/aC1X0VIwoiHAStzETvZdYxfgAGaRHkTZpjBo7s7ZLPFnLEKfTWZ
         kL6kH23nam5RoDMqZ/aClEAJbfJKrIDRNV6jw=
Received: by 10.68.32.138 with SMTP id j10mr2487247pbi.17.1322422075227;
        Sun, 27 Nov 2011 11:27:55 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.121.5 with SMTP id lg5ls10499710pbb.5.gmail; Sun, 27 Nov
 2011 11:27:54 -0800 (PST)
Received: by 10.68.0.170 with SMTP id 10mr21686305pbf.2.1322422074698;
        Sun, 27 Nov 2011 11:27:54 -0800 (PST)
Received: by 10.68.0.170 with SMTP id 10mr21686304pbf.2.1322422074690;
        Sun, 27 Nov 2011 11:27:54 -0800 (PST)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id lj6si8615688pbb.1.2011.11.27.11.27.54
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 27 Nov 2011 11:27:54 -0800 (PST)
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 pARJRr7h022234
	for <lojban@googlegroups.com>; Sun, 27 Nov 2011 19:27:54 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RUkOH-0007HF-M6
	for lojban@googlegroups.com; Sun, 27 Nov 2011 14:27:53 -0500
Date: Sun, 27 Nov 2011 14:27:53 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] No title, since the subject will have changed by the
 time it gets there
Message-ID: <20111127192753.GF3125@gonzales>
References: <1322084099.71575.YahooMailRC@web81302.mail.mud.yahoo.com>
 <20111125034454.GI6112@gonzales>
 <1BC62F1A-FC02-415D-8863-BA795809DB95@yahoo.com>
 <20111127163616.GC3125@gonzales>
 <CAO7tK2edkOEx+_WdqHoesamwoJCVy2Dagdn7p1q49D4WkKKuwQ@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="eDB11BtaWSyaBkpc"
Content-Disposition: inline
In-Reply-To: <CAO7tK2edkOEx+_WdqHoesamwoJCVy2Dagdn7p1q49D4WkKKuwQ@mail.gmail.com>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: cuntu
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: /


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

* Sunday, 2011-11-27 at 15:49 -0300 - Jorge Llamb=EDas <jjllambias@gmail.co=
m>:

> On Sun, Nov 27, 2011 at 1:36 PM, Martin Bays <mbays@sdf.org> wrote:
> >
> > (Except that it only works if the unfilled second place of {du} is
> > interpreted correctly... it would be nice to have a clearer way of
> > getting at the always-true unary predicate. Do we have one?)
>=20
> I suggest "suzdu'o", defined as:
>=20
> ko'a suzdu'o =3D=3D su'o da zo'u ko'a du da

Not bad - but if {su'o} is a singular quantifier, and {du} works as I'd
expect, then that holds only when {ko'a} has only one referent.

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

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

iEYEARECAAYFAk7SjzkACgkQULC7OLX7LNZbsACdHkXooaxQ2dlueKnY71SjAGuf
flsAnR2U06NrXjJIfGVekGRck80Tf5VX
=bBfG
-----END PGP SIGNATURE-----

--eDB11BtaWSyaBkpc--