* Tuesday, 2011-09-06 at 08:14 -0400 - Ian Johnson <blindbravado@gmail.com>:
> Are you sure (iii) is even what you wanted? {di} seems to have come in from
> nowhere, among other problems.
Yes, that was deliberate. If the "zo'e noi" phrase is to truly be
a constant, it must not mention any externally bound variables. I was
missing a {zo'u}, though.
> Anyway, I don't actually know, but I also don't actually see how (i) and
> (ii) are semantically different, because I don't know how multiple {zo'u}
> work semantically.
You're right, they probably are equivalent ('probably' because it
depends on the semantics of zo'e, which are murky). I should have given
a more complicated example. Make it:
{ro da zo'u da brode lo broda be da bei de be'o de}
The options are now:
(i) {ro da su'o de zo'u da brode zo'e noi ke'a broda da de ku'o de}
(ii) {ro da su'o di zo'u da brode zo'e noi su'o de zo'u ke'a broda da de
ku'o di}
(iii) {ro da su'o daxivo zo'u da brode zo'e noi su'o de su'o di zo'u
ke'a broda de di ku'o daxivo}.
(Again, giving variables different names where possible, for clarity,
and explicitly putting in the {ke'a}s this time.)
> mu'o mi'e latros
>
> On Tue, Sep 6, 2011 at 6:24 AM, Martin Bays <mbays@sdf.org> wrote:
>
> > {ro da zo'u da brode lo broda be da bei de}
> >
> > should be equivalent (under xorlo) to one of
> >
> > (i) {ro da su'o de zo'u da brode zo'e noi broda da de}
> > (ii) {ro da zo'u da brode zo'e noi su'o de zo'u broda da de}
> > (iii) {ro da zo'u da brode zo'e noi su'o de su'o di broda de di}.
> >
> > Which?
> >
> > I think (ii) is the best choice, on the bases of naturality and
> > usefulness.
> >
> > (i) is what you'd get if you took exportation to the prenex as a golden
> > rule, and (iii) is what you'd get if you considered it all-important
> > that {lo} give a constant.
> >
> > (ii) makes its own sense - it's what you get if you consider tanru
> > units, linkargs included, to correspond directly to relative clauses.
> >
> > Martin
> >
>
> --
> You received this message because you are subscribed to the Google Groups "lojban" group.
> To post to this group, send email to lojban@googlegroups.com.
> To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/lojban?hl=en.
>
Attachment:
pgpmaNkEpzyU2.pgp
Description: PGP signature