[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [lojban] Tidying notes on {goi}
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.