[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [lojban] goi
Jorge:
> la and cusku di'e
>
> >2. Jorge tells me that (or so I understood), {da goi la ab
> >da goi la ac} is equivalent to {da xi pa goi la ab da xi
> >re goi la ac}, i.e. because it assigns its value to the
> >goi sumti, it is bound by a different quantifier (that is,
> >it is a different variable).
>
> No, that's not what I used. It has to be {su'o da goi la ab
> su'o da goi la ac}. A bare da won't do it the second time,
> because it is already bound by the first quantifier, so in
> your example {la ab} and {la ac} refer to the same thing.
> But a second {su'o da} introduces a new variable, because
> you can't quantify a variable that has already been bound.
Ah: sorry. Yes of course. That was thick of me.
--And.