Noun
situation theory (uncountable) A mathematical formalism developed in the 1980s for the representation of meaning or semantics.