* Sunday, 2014-09-28 at 21:17 -0300 - Jorge Llambías <jjllambias@gmail.com>:
> On Sun, Sep 28, 2014 at 1:02 PM, Martin Bays <mbays@sdf.org> wrote:
>
> > So a {noi} on a variable yields a side claim entirely
> > outside the scope of the corresponding quantifier, so involving an
> > unbound variable, which I'm currently (fairly arbitrarily) handling by
> > universally quantifying it out over whatever domain it was originally
> > quantified over, so e.g. {du su'o da poi broda zi'e noi brode} -> {ro da
> > poi broda zo'u da brode .i su'o da poi broda zo'u du da}.
>
> Should we allow for the possibility that "brode" is not distributive over
> the brodas?
> Something like:
>
> su'o da poi plini zi'e noi so'i so'i mei cu terdi
I think it's a reasonable rule that since {su'o} is a singular
quantifier, the implicit relative variable in the noi clause refers
to a singular variable. That would rule out this kind of thing.
Martin
Attachment:
signature.asc
Description: Digital signature