 compositionality |  discourse representation theory |  Frege, Gottlob |  generalized quantifiers |  identity: transworld |  impossible worlds |  intensional transitive verbs |  intentionality |  logic: intensional |  logical form |  mass expressions: logic of |  possible worlds |  presupposition |  propositional attitude reports |  propositions: structured |  questions |  reference |  rigid designators |  semantics: dynamic |  type theory |  type theory: Church’s type theory 