Re: [lojban] Tidying notes on {goi}

["Jorge Llambias" <jjllambias@hotmail.com>]

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