WikiDiscuss

WikiDiscuss


BPFK Section: gadri

Robin Lee Powell wrote:

>On Wed, May 19, 2004 at 07:46:07PM -0400, Mark E. Shoulson wrote:
>
>
>>Jorge "Llamb??????????????????????????????????????????????????????????????????????????????????????????????????????" wrote:
>>
>>
>
>I think your mailer is confused, Mark. ---^
>
Yeah, I wondered about that too. But it looked cool...

>>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.
>
Mmm. Good point. Pondering the hugeness of the change is something I
need to do. But the question remains: if the impact is tiny, then in
what sense does it fix the big problem? That is, the prior text,
written under a "buggy" system, presumably needs some more serious
repair than a "tiny" impact.

I think the first difficulty I have is the same one you pointed out,
Robin: "some particular cat" and "Mr. Cat" are sufficiently different
critters that they deserve different gadri

~mark