[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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.

--And.