Received: from mail-pz0-f61.google.com ([209.85.210.61]:33599) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RWsCo-00007b-5u; Sat, 03 Dec 2011 08:12:50 -0800 Received: by dajx4 with SMTP id x4sf2583763daj.16 for ; Sat, 03 Dec 2011 08:12:44 -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=AWuYi+7Nz0nYFdzCtWl7FTzaZfbZuWoGO2U36+B3jr0=; b=nzi5PxuzUl5UT0f8bnfhNcYF+O9xQ/z22kTHXLei7PZsyynNPPd6OEoAxbuRgj2Az6 061b8v1VRuVeuQfdd42bK122HrPhGjaWUUagDEpW9p9GW9lj8y5+Cs4oMBjgHoxo7sHV PKAN4Gx73+EawVZbifcPrxdNvEtPku0C8ZrJU= Received: by 10.68.38.200 with SMTP id i8mr1753032pbk.13.1322928760578; Sat, 03 Dec 2011 08:12:40 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.68.74.199 with SMTP id w7ls18684835pbv.7.gmail; Sat, 03 Dec 2011 08:12:40 -0800 (PST) Received: by 10.68.35.68 with SMTP id f4mr14781976pbj.5.1322928760043; Sat, 03 Dec 2011 08:12:40 -0800 (PST) Received: by 10.68.35.68 with SMTP id f4mr14781974pbj.5.1322928760034; Sat, 03 Dec 2011 08:12:40 -0800 (PST) Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19]) by gmr-mx.google.com with ESMTPS id u7si16481912pbn.2.2011.12.03.08.12.39 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 03 Dec 2011 08:12:40 -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 pB3GCdVf007814 for ; Sat, 3 Dec 2011 16:12:39 GMT Received: from martin by gonzales.homelinux.org with local (Exim 4.75) (envelope-from ) id 1RWsCd-0006ES-4y for lojban@googlegroups.com; Sat, 03 Dec 2011 11:12:39 -0500 Date: Sat, 3 Dec 2011 11:12:39 -0500 From: Martin Bays To: lojban@googlegroups.com Subject: Re: [lojban] some critics admire only one another Message-ID: <20111203161239.GB21004@gonzales> References: <20111203000124.GE11472@gonzales> <20111203002052.GA16395@gonzales> <201112022252.01244.phma@phma.optus.nu> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="+g7M9IMkV8truYOl" Content-Disposition: inline In-Reply-To: <201112022252.01244.phma@phma.optus.nu> X-PGP-Key: http://mbays.freeshell.org/pubkey.asc X-PGP-KeyId: B5FB2CD6 X-cunselcu'a-valsi: rigni 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: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , X-Spam-Score: -0.7 (/) X-Spam_score: -0.7 X-Spam_score_int: -6 X-Spam_bar: / --+g7M9IMkV8truYOl Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable * Friday, 2011-12-02 at 22:51 -0500 - Pierre Abbat : > On Friday 02 December 2011 19:20:52 Martin Bays wrote: > > Oops, I was working with the wrong meaning. It's meant to be: > > there's a set of critics such that no critic in the set admires > > themself or anything outside of the set. >=20 > The English is hard enough for me to figure out. How about "lo'i su'o xau= rpai=20 > cu simxu lo nu sinma ce'u po'o"? I don't think {lo'i} actually produces an existential quantifier, at least under xorlo. No? --+g7M9IMkV8truYOl Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) iEYEARECAAYFAk7aSncACgkQULC7OLX7LNatKgCgsLgOfNisceYvde/D0fH3tY5d yuAAn2yqeslHRl8TSLyvR6kTRT+5lJdS =O/Lt -----END PGP SIGNATURE----- --+g7M9IMkV8truYOl--