Concept: Formal semantics (linguistics)