A compositional approach to discourse representation theory · Study