Compositional semantics