Αποστολή με SMS: Compositionality in formal semantics