[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: diversity



John:
> > > > (I am in favour of a kind of opacity marker that means "the following
> > > > sumti can't be exported to the prenex out of the abstraction containing
> > > > the bridi the sumti is sumti of".)
> > >
> > > That's {tu'a}. It already exists.
> >
> > I mean a marker like $$$$ in "mi djica lo nu mi citka $$$$ lo plise"
> > where $$$$ rules out "da poi plise zohu mi djica lo nu mi citka da".
> > At present, I think, the zohu-form is not ruled out.
>
> No, it is ruled out.  Every da variable is attached to the innermost possible
> prenex, that is to say, to the innermost bridi.  Your example must mean:
>
>         mi djica lo no da poi plise zo'u mi citka da

I realize this. But saying the above does not rule out the hearer
inferring a proposition compatible with "da poi plise zohu mi djica
lo nu mi citka da". "xahanai" would rule this out.

---
And