WikiDiscuss

On Wed, Aug 18, 2004 at 03:27:27PM -0700, Jorge Llamb?as wrote:
>
> --- Robin Lee Powell <rlpowell@digitalkingdom.org> wrote:
> > > So {ko'a noi brode cu brodi} = {ko'a brode ije ko'a brodi}, but it
> > > won't work like that for quantified terms. When you have a
> > > quantified term, first you have to take the quantifiers to the
> > > prenex and only then apply this transformation, and you can't take
> > > the noi outside the scope of the quantifier in such cases.
> >
> > I only barely followed that. Can you give an example, and do you
> > have a solution? Does zo'u work with tu'e?
>
> Well, an example would be something like:
>
> ci prenu noi melbi cu klama
> = ci da poi prenu zo'u da noi melbi cu klama
> = ci da poi prenu zo'u ge da melbi gi da klama

What is this an example *of*, exactly?

Is this intended to be an example of your solution for noi?

> > > > vu'o | PA1 broda [JOI / A] PA2 brode vu'o [relative] | PA1
> > > > broda [relative] [JOI / A] PA2 brode [relative]
> > >
> > > This does not always work like that. The relative clause need not
> > > be distributive.
> >
> > Example? Solution?
>
> lo'i broda ku'a lo'i brode vu'o noi se cmima ci da ...
>
> The intersection of the set of broda and the set of brode,
> which has 3 members,...

Ah. What about:

[sumti list] vu'o [relative] = da po'u [sumti list] [relative]

> > > > goi, unassigned | [sumti 1] goi [sumti 2] | [sumti 1] poi du
> > > > [sumti 2] ku'o
> > > > goi, both assigned | [sumti 1] goi [sumti 2] | [sumti 2] poi
> > > > binxo da poi mintu [sumti 1] ku'o ku'o
> > >
> > > These are not true equivalents.
> >
> > You mean that "du" is wrong, or that he formula are wrong?
>
> There's certainly no binxo going on. If ko'a was my cat and I reassign
> the pronoun "ko'a" to something else my cat does not become that
> something else.

Oh! Point.

Does "poi binxo da poi sinxa [sumti 1]" work for you?

-Robin

--
http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/
Reason #237 To Learn Lojban: "Homonyms: Their Grate!"