Received: from mail-pz0-f61.google.com ([209.85.210.61]:42869) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1R6uGv-0001YV-EU; Thu, 22 Sep 2011 18:09:54 -0700 Received: by pzk32 with SMTP id 32sf2438079pzk.16 for ; Thu, 22 Sep 2011 18:09:39 -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=u5s5RMwsdEECPAX8UsqH5d0JEM9/gSL/xkdCmBEmG+A=; b=YiXyJp6K/+CVJutvowfcUwWdMZDyR9UhBc8dgIDFhPkQlDDfy4jLN7PPEcx5tTj37e zK0cY1oyjzFvo5sum60LTs4Bx7/ykuxFP6t8p+z7bx3z/7vfWqIxgaSfTiSnNSZE6tVa DZKY/mEPrsiEdYoHbR4QOVkjrBbOJFoRBofEc= Received: by 10.68.38.227 with SMTP id j3mr780270pbk.1.1316740177933; Thu, 22 Sep 2011 18:09:37 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.68.60.102 with SMTP id g6ls9772228pbr.6.gmail; Thu, 22 Sep 2011 18:09:37 -0700 (PDT) Received: by 10.68.50.133 with SMTP id c5mr4517141pbo.2.1316740177331; Thu, 22 Sep 2011 18:09:37 -0700 (PDT) Received: by 10.68.50.133 with SMTP id c5mr4517139pbo.2.1316740177321; Thu, 22 Sep 2011 18:09:37 -0700 (PDT) Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19]) by gmr-mx.google.com with ESMTPS id p6si12327578pbc.0.2011.09.22.18.09.37 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 22 Sep 2011 18:09:37 -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.4/8.14.3) with ESMTP id p8N19axK007302 for ; Fri, 23 Sep 2011 01:09:36 GMT Received: from martin by gonzales.homelinux.org with local (Exim 4.75) (envelope-from ) id 1R6uGm-00071g-F8 for lojban@googlegroups.com; Thu, 22 Sep 2011 21:09:36 -0400 Date: Thu, 22 Sep 2011 21:09:36 -0400 From: Martin Bays To: lojban@googlegroups.com Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable Message-ID: <20110923010936.GD24443@gonzales> References: <20110919231314.GI4310@gonzales> <20110920034640.GK4310@gonzales> <20110921011503.GS4310@gonzales> <20110922035512.GA23348@gonzales> <20110923004537.GC24443@gonzales> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="Ycz6tD7Th1CMF4v7" Content-Disposition: inline In-Reply-To: <20110923004537.GC24443@gonzales> X-PGP-Key: http://mbays.freeshell.org/pubkey.asc X-PGP-KeyId: B5FB2CD6 X-cunselcu'a-valsi: renvi 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.0 (/) X-Spam_score: -0.0 X-Spam_score_int: 0 X-Spam_bar: / --Ycz6tD7Th1CMF4v7 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline * Thursday, 2011-09-22 at 20:45 -0400 - Martin Bays : > Alternatively, how about having {pi ro} quantify over subkinds, such > that {lo smoka cu cmamau pi ro lo taxfu poi na'e smoka klesi} works? Err no, obviously {pi ro} shouldn't work like that. Please ignore that. But {pi su'o} could reasonably *existentially* quantify over subkinds. For universal... why not {ro pi}, actually? --Ycz6tD7Th1CMF4v7 Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) iEYEARECAAYFAk573FAACgkQULC7OLX7LNbqaQCgmR4FDuRqAiF0DI0+XcejMdw1 S9kAoIQWmSXJ7ovzGGevXRxhyWjp8Wje =KC9S -----END PGP SIGNATURE----- --Ycz6tD7Th1CMF4v7--