RE: "What I have for dinner depends on what there is in the fridge"

["Iain Alexander" <ia@stryx.demon.co.uk>]

On 30 Nov 99, at 7:03, Jorge Llambias wrote:

> But we
> haven't as yet been able to explicitly determine the logic
> behind {kau}, even though the subject came up several times
> before.

I may well have suggested something like this before, but I think the logic 
behind {kau} is that

E(x kau)

means

lambda x: E(x)

i.e. the function which assigns truth values to the expression E(...) given any 
value of the {kau}-tagged variable x.

This implies you know the whole story - who came and who didn't come 
(given the long-ago-snipped example).

It's a rather abstract view of the situation, but it works for me.  :-)

co'o mi'e .i,n.

-- 
Iain Alexander               PGP 1024-bit key id B501A0AD
ia@stryx.demon.co.uk   I.Alexander@bra0105.wins.icl.co.uk