 If this is correct, then the inference from (37) to (40) is an instance of the following valid form: \(\exists e [\ldots e \ldots \land Q(e) \land A(e)]\); hence, \(\exists e [\dots e \dots]\). The other impeccable inferences involving (37–40) can likewise be viewed as instances of conjunction reduction in the scope of an existential quantifier; see Pietroski (2018) for discussion that connects this point to medieval insights noted in  section three.  If the grammatical form of (40) is simply ‘{Juliet [kissed Romeo]}’, then the mapping from grammatical to logical form is not transparent; and natural language is misleading, in that no word corresponds to the event quantifier. But this does not posit a significant structural mismatch between grammatical and logical form. On the contrary, each word in (40) corresponds to a conjunct in (40a). This suggests a strategy for thinking about how the meaning of a sentence like (40) might be composed from the meanings of the constituent words. A growing body of literature, in philosophy and linguistics, suggests that Davidson’s proposal captures an important feature of natural language semantics, and that “event analyses” provide a useful framework for discussions of logical form; see, e.g., Schein (2017) for extended discussion and many references.