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.