From lojban+bncCOTEtqyUDhDK6ZfzBBoEwHYrmg@googlegroups.com Tue Sep 06 03:27:45 2011 Received: from mail-pz0-f56.google.com ([209.85.210.56]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1R0ssX-0003Co-04; Tue, 06 Sep 2011 03:27:44 -0700 Received: by pzk33 with SMTP id 33sf14187675pzk.1 for ; Tue, 06 Sep 2011 03:27:35 -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=rZzsPUUQxJ4/recyJUAjmEurylktS8/wAchzJsqg1eg=; b=kPHsFNOKDXMZhrx31lluaOfZTS/o/XsYyhza+Vk0y6RmH8PE/iiXMWcP1yM9OCgG5r eVbBoPGWIVFSEF/aYASahEk4MQKP3FumLK4UpZbtuRhE8NmSsotnBobTIzXWjLefobI6 x2EHWxwpmMRqMFlNQKP89DJCFsmvSh9cOjQs4= Received: by 10.68.22.225 with SMTP id h1mr1711411pbf.40.1315304650269; Tue, 06 Sep 2011 03:24:10 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.142.104.12 with SMTP id b12ls2801076wfc.0.gmail; Tue, 06 Sep 2011 03:24:09 -0700 (PDT) Received: by 10.68.47.134 with SMTP id d6mr3805098pbn.0.1315304649517; Tue, 06 Sep 2011 03:24:09 -0700 (PDT) Received: by 10.68.47.134 with SMTP id d6mr3805097pbn.0.1315304649501; Tue, 06 Sep 2011 03:24:09 -0700 (PDT) Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19]) by gmr-mx.google.com with ESMTPS id j4si13998891pbi.2.2011.09.06.03.24.09 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 06 Sep 2011 03:24:09 -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 p86AO8p2026785 for ; Tue, 6 Sep 2011 10:24:09 GMT Received: from martin by gonzales.homelinux.org with local (Exim 4.75) (envelope-from ) id 1R0sp6-00013f-La for lojban@googlegroups.com; Tue, 06 Sep 2011 06:24:08 -0400 Date: Tue, 6 Sep 2011 06:24:08 -0400 From: Martin Bays To: jboste Subject: [lojban] gadri and scope Message-ID: <20110906102408.GA2615@gonzales> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="ew6BAiZeqk4r7MaW" Content-Disposition: inline X-PGP-Key: http://mbays.freeshell.org/pubkey.asc X-PGP-KeyId: B5FB2CD6 X-cunselcu'a-valsi: junri 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: , --ew6BAiZeqk4r7MaW Content-Type: text/plain; charset=us-ascii Content-Disposition: inline {ro da zo'u da brode lo broda be da bei de} should be equivalent (under xorlo) to one of (i) {ro da su'o de zo'u da brode zo'e noi broda da de} (ii) {ro da zo'u da brode zo'e noi su'o de zo'u broda da de} (iii) {ro da zo'u da brode zo'e noi su'o de su'o di broda de di}. Which? I think (ii) is the best choice, on the bases of naturality and usefulness. (i) is what you'd get if you took exportation to the prenex as a golden rule, and (iii) is what you'd get if you considered it all-important that {lo} give a constant. (ii) makes its own sense - it's what you get if you consider tanru units, linkargs included, to correspond directly to relative clauses. Martin --ew6BAiZeqk4r7MaW Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) iEYEARECAAYFAk5l9MgACgkQULC7OLX7LNZ8cQCfUteX0sBTpzyCmuUFOYDN9nh8 nPgAoJxxwuK7HU3x/mRqkoLypoAl90nB =EQTH -----END PGP SIGNATURE----- --ew6BAiZeqk4r7MaW--