An approach to the semantic analysis of languages developed during the 1980s as an alternative to possible-words-based model-theoretic semantics. It assumes a richer ontology than model-theoretic semantics, in that it treats properties, relations, etc. as primitive objects, rather than modelling them formally in terms of possible words. Sentences are analysed as denoting not truth values but situations (sets of facts which consist of a location, a relation and a truth value). The approach has also placed heavy emphasis on the ways in which the interpretation of sentences depends on the context.