Formal_semantics_of_natural_languages