From jjllambias@hotmail.com Thu Jul 26 10:19:59 2001 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_2_0); 26 Jul 2001 17:19:59 -0000 Received: (qmail 16726 invoked from network); 26 Jul 2001 17:18:31 -0000 Received: from unknown (10.1.10.142) by l8.egroups.com with QMQP; 26 Jul 2001 17:18:31 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.62) by mta3 with SMTP; 26 Jul 2001 17:18:28 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Thu, 26 Jul 2001 10:18:26 -0700 Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP; Thu, 26 Jul 2001 17:18:26 GMT X-Originating-IP: [200.49.74.2] To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] Tidying notes on {goi} Date: Thu, 26 Jul 2001 17:18:26 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 26 Jul 2001 17:18:26.0931 (UTC) FILETIME=[FB896C30:01C115F6] From: "Jorge Llambias" X-Yahoo-Message-Num: 8933 la pycyn cusku di'e >< >     ro da poi prenu zo'u da prami su'o da > >Is that {ro da poi prenu zo'u da prami da}, or is it >{ro da poi prenu ku'o ro de poi prenu zo'u da prami de}?> > >The latter I'm relieved to hear that. The second quantifier then _does_ bind a new variable, only one with the same poi-restriction as the previous one. Then {su'o da poi prenu zo'u da prami su'o da} means {su'o da poi prenu ku'o su'o de poi prenu zo'u da prami de} and therefore {su'o da goi la alfas su'o da goi la betas}, given that there are no poi-restrictions, does mean the same as {su'o da goi la alfas su'o de goi la betas}. On a related issue, what happens here: {su'o da goi xy ... da'o ... xy}. Does da'o clear the xy assignment? Presumably it does, as it clears all pro-sumti, doesn't it? But da'o is not necessary to use da again, all that is necessary is a new quantifier. mu'o mi'e xorxes _________________________________________________________________ Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp