Compositionality in Formal Semantics · Study