concept

Semantic formalism building discourse referents and conditions incrementally. Not presupposition-semantic as background requirement alone, and not dynamic-semantics as update label alone.