RE: abstract model and reification

At 09:01 AM 9/20/00 +0100, McBride, Brian wrote:

> > Hmmm... would it be universal quantification as you suggest,
> > or merely
> > existential?
>
>I had suggested existential for all anon resources, i.e. for
>this and all other cases of anon resources.

Then (returning to topic of previous message) there's no problem with 
statements referring to a partial reification:  your concern that they 
might be taken to mean something about all matching statements doesn't apply.

#g

------------
Graham Klyne
(GK@ACM.ORG)

Received on Wednesday, 20 September 2000 04:18:45 UTC