On Fri, Feb 28, 2003 at 02:31:06PM +0100, G. Dyke wrote:
> I'm not sure what this "Any" means. How does Edoctor(x)(need(me,x))
> differ from "I need any doctor"?
That's "There exists a doctor such that I need it". There may be other
constraints unspecified, defining what you need exactly, as I understand
it. All that says is that, whatever your needs, a doctor exists that
fills them.
"I need any doctor" is "I need one thing selected at random from the set
of all doctors".
Hey, that's what we need: a gadri that selects from a set at random.