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

["And Rosta" <a.rosta@lycos.co.uk>]

> From: John Cowan <cowan@locke.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.

That doesn't seem to render the meaning of the sentence in question.
For example, if something I have for dinner tastes like something
in the fridge, then your sentence is true, but it is not sufficient
to make my sentence true.

Try again. In the meantime I will too, but I keep on getting 
interrupted or distracted before I can think my way all the way
to a solution.

--And.