{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
Attachment:
pgpTKFaY7Pcib.pgp
Description: PGP signature