From a.rosta@dtn.ntl.com Mon Jul 30 19:23:34 2001
Return-Path: <a.rosta@dtn.ntl.com>
X-Sender: a.rosta@dtn.ntl.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-7_2_0); 31 Jul 2001 02:23:34 -0000
Received: (qmail 38751 invoked from network); 31 Jul 2001 02:23:33 -0000
Received: from unknown (10.1.10.142) by m8.onelist.org with QMQP; 31 Jul 2001 02:23:33 -0000
Received: from unknown (HELO relay3-gui.server.ntli.net) (194.168.4.200) by mta3 with SMTP; 31 Jul 2001 02:23:33 -0000
Received: from m27-mp1-cvx2c.bre.ntl.com ([62.253.88.27] helo=andrew) by relay3-gui.server.ntli.net with smtp (Exim 3.03 #2) id 15ROwm-0000QY-00 for lojban@yahoogroups.com; Tue, 31 Jul 2001 03:07:49 +0100
To: <lojban@yahoogroups.com>
Subject: RE: [lojban] Tidying notes on {goi}
Date: Tue, 31 Jul 2001 03:22:46 +0100
Message-ID: <LPBBJKMNINKHACNDIIGMKEOFEHAA.a.rosta@dtn.ntl.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0)
In-Reply-To: <F62IsNZfccWjKZvVczB0000708b@hotmail.com>
X-MIMEOLE: Produced By Microsoft MimeOLE V5.00.2615.200
Importance: Normal
From: "And Rosta" <a.rosta@dtn.ntl.com>

Jorge:
> 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.

Only partly relieved, I hope. I'm sure that standardly (by prevailing
lojbanic wisdom) "ro da poi prenu zo'u da prami su'o da" is equivalent
to "ro da poi prenu zo'u da prami su'o de".

{ro da poi prenu ku'o ro de poi prenu zo'u da prami de} could be
abbreviated to {ro da poi prenu ku'o ro de poi co'e/go'i zo'u da prami de}.

--And.


