Jeff Kaufman
We had defined the extensions of s such as John and Mary to be entities, but that would be a stretch to use here. In 1f, for example, we could evaluate by seeing if the set of things that have voted contains an entity JohnAndMary which represents John and Mary considered as a group. This would be incredibly wasteful, as then the set would need to contain every possible combination of voters, taking us from a set of cardinality to one of cardinality .
A much nicer evaluation is to say that 1f is true when it is true that John voted and that Mary voted. This sort of evaluation would also work with ate and attend. When we try to apply it to met or bumped, however, we run into problems. Applying it to 1b we might think that 1b would be true when it is true that John met and that Mary met but the real interpretation is closer to that 1b is true when John met Mary and Mary met John are true.