From jjllambias@hotmail.com Sat Jul 28 20:15:03 2001 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_2_0); 29 Jul 2001 03:15:03 -0000 Received: (qmail 71641 invoked from network); 29 Jul 2001 03:15:03 -0000 Received: from unknown (10.1.10.142) by l10.egroups.com with QMQP; 29 Jul 2001 03:15:03 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.70) by mta3 with SMTP; 29 Jul 2001 03:15:03 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Sat, 28 Jul 2001 20:15:03 -0700 Received: from 200.69.11.41 by lw8fd.law8.hotmail.msn.com with HTTP; Sun, 29 Jul 2001 03:15:02 GMT X-Originating-IP: [200.69.11.41] To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] Tidying notes on {goi} Date: Sun, 29 Jul 2001 03:15:02 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 29 Jul 2001 03:15:03.0170 (UTC) FILETIME=[A8958620:01C117DC] From: "Jorge Llambias" la pycyn cusku di'e >native to Africa, some to Asia and none to America", where obviously >the second "some" and the "none" are restricted to "species of >elephant", not to the first "some species of elephant".> > >But would you really (and why) use the same variable for all three of >these, >just changing the quantifiers? So you don't have to repeat the restriction. You don't need to say "species of elephant" three times. >< >la djan penmi la meris le barja ibabo le remei cu klama le zarci >> > >This seems to me a much more serious problem (handily provided with at >least >the start of a solution) than the treatment of an anomolous quantifier case >(which is pretty weird the other way of treating it as well, especially >without explicit scope rules). The way I propose is very transparent: The second quantifier introduces a new variable just as if you had used a different da (say daxize) with the convenience that it remains restricted to the same set as the one you had been using so far, so you are spared from repeating the poi clause. No special new scope rule is required. mu'o mi'e xorxes _________________________________________________________________ Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp