Compositionality in Formal Semantics