Definition, synonyms and related words
An approach to natural language semantics based on formal logic.