Subject: Re: [lojban] Tidying notes on {goi}

From: "Jorge Llambias" <[email-masked]>
Date: Thu, 26 Jul 2001 17:18:26

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