Thus `Water covers most of the Earth' determines a function F from worlds to propositions, F (w) being the proposition that `Water covers most of the Earth' expresses, considering w as actual.
(Water; covers; most of the Earth' expresses)
Water
covers
most of the Earth' expresses