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

[John Cowan <cowan@ccil.org>]

And Rosta scripsit:
> 
> From: "And Rosta" <a.rosta@pmail.net>
> 
> Can anyone render this into either logical form using
> only standard quantifiers (but quantification over possible
> worlds is permissible) or lojban without using {kau}?
> 
>   What I have for dinner depends on what there is in the fridge.

I think that 2nd-order logic does the trick:

	Ef: Ex: Ey: fxy & I have x for dinner & y is in the fridge

Or in words:

	There is a relation between something and something else, such
	that the former is what I have for dinner and the latter is
	what is in the fridge.


-- 
John Cowan                                   cowan@ccil.org
       I am a member of a civilization. --David Brin