WikiDiscuss

WikiDiscuss


BPFK Section: gadri

On Wed, May 19, 2004 at 07:46:07PM -0400, Mark E. Shoulson wrote:
> Jorge "Llamb??????????????????????????????????????????????????????????????????????????????????????????????????????" wrote:

I think your mailer is confused, Mark. ---^

> As I recall, gadri were rightly regarded as a big mess, and
> intension/extension problems were one contributing factor to that. It
> doesn't seem reasonable that what we all considered such a disaster
> could be fixed by just a tiny change in default quantifiers and {lo}
> and such.

Just for the recond, this is *not* a tiny change. Removing all default
quantifiers is, in fact, a huge change.

It's just a change that seems to have a tiny *impact*. Different thing.

-Robin