 The virtues of Barwise’s analysis can be appreciated even without seeing the exact details of how situations might support the truth of sentences. In (5) the verb see semantically selects situations rather than propositions as its first argument, and this has the desirable effect that the truth value of those sentences does not change when the description of the perceived situation is replaced by an extensionally equivalent one. If Meryl fed the animals just once in the actual world, and she fed them hay, then the set of actual situations that support the truth of Meryl feed the animals is expected to be the same as the set of actual situations that support the truth of Meryl feed the animals hay. But then (5) and (6) must have the same actual truth-value, and Barwise’s analysis predicts correctly that (1) and (7) must, too.