From lojban+bncCOTEtqyUDhCXvZvzBBoENskbew@googlegroups.com Tue Sep 06 20:09:50 2011 Received: from mail-pz0-f56.google.com ([209.85.210.56]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1R18WJ-0000EF-NP; Tue, 06 Sep 2011 20:09:50 -0700 Received: by pzk33 with SMTP id 33sf15820524pzk.1 for ; Tue, 06 Sep 2011 20:09:41 -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 :mime-version:content-type:content-disposition: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=5k5b1WYgzGwdWhPe/Re987rg7HfKRv2olOufIy8/RN0=; b=M+DQ5ySjw6pz9WOXOvYiQy5S4A8DatYt2E+ETUIDLdwDKYfU2p3IAPe3otREAk/TFs 7w+YU62ZHCRwPmkomE6M9TaNYjWayHFYvKMvzsVfhba/m0JsmTFJUl00tNBZgK7GEk+e 4XDRgfyBucVmrp/M3E7/fcXtVMCgDd+lrcRLQ= Received: by 10.68.1.134 with SMTP id 6mr99943pbm.34.1315364503310; Tue, 06 Sep 2011 20:01:43 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.68.33.194 with SMTP id t2ls5900046pbi.0.gmail; Tue, 06 Sep 2011 20:01:42 -0700 (PDT) Received: by 10.68.43.229 with SMTP id z5mr4238933pbl.10.1315364502610; Tue, 06 Sep 2011 20:01:42 -0700 (PDT) Received: by 10.68.43.229 with SMTP id z5mr4238932pbl.10.1315364502598; Tue, 06 Sep 2011 20:01:42 -0700 (PDT) Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19]) by gmr-mx.google.com with ESMTPS id ll18si933865pbb.0.2011.09.06.20.01.42 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 06 Sep 2011 20:01:42 -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 p8731f1M021301 for ; Wed, 7 Sep 2011 03:01:42 GMT Received: from martin by gonzales.homelinux.org with local (Exim 4.75) (envelope-from ) id 1R18OT-0004q3-OL for lojban@googlegroups.com; Tue, 06 Sep 2011 23:01:41 -0400 Date: Tue, 6 Sep 2011 23:01:41 -0400 From: Martin Bays To: jboste Subject: [lojban] {zo'e} as close-scope existentially quantified plural variable Message-ID: <20110907030141.GA30833@gonzales> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="vkogqOf2sHV7VnPd" Content-Disposition: inline X-PGP-Key: http://mbays.freeshell.org/pubkey.asc X-PGP-KeyId: B5FB2CD6 X-cunselcu'a-valsi: kecti 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: , --vkogqOf2sHV7VnPd Content-Type: text/plain; charset=us-ascii Content-Disposition: inline e.g. {zo'e broda ro da zo'e noi brode da} -> \forall x. \exists X. \exists Y. (brode(Y, x) /\ broda(X, x, Y)) Generally, the quantifiers for the {zo'e}s would be inside any singular quantifiers, and similarly inside any negation or tense quantification etc. Any problem with this? As far as I can see, it explains all common usage of {zo'e} - and also of {lo} and {le} with their {zo'e (n|v)oi} interpretations. Martin --vkogqOf2sHV7VnPd Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) iEYEARECAAYFAk5m3pUACgkQULC7OLX7LNZ0dQCfUsfM35gBuE6G5tbgWzwHctHV NB0AniyIveikflFsB6Abn65fArjIOTLY =uAl8 -----END PGP SIGNATURE----- --vkogqOf2sHV7VnPd--