[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