A context of utterance has an agent, an addressee, a world, a time and a position.
- agent : E
The agent, the speaker.
- addressee : E
The addressee, the hearer.
- world : W
The world.
- time : T
The time.
- position : P
The position, the location.
Derives DecidableEq.
Used in Semantics/Presupposition/PhiFeatures, Semantics/Reference/Context/Overwrite, Semantics/Reference/Determiner, Semantics/Reference/Kaplan, Semantics/Reference/Pronoun and 14 more