Japanese temporal deictic adverbs #
Lexical entry for Japanese 当時 tōji 'at that time', typed by
Tense.Perspective.ThenAdverb — the Japanese member of the ⌈then⌉ class
of temporal pronouns presupposing disjointness from the perspective time π
([Zha25], [TZ26]). tōji is restricted to past-oriented
contexts (see the tense-shift typology in Studies/TsiliaZhao2026.lean).
Japanese 当時 tōji 'at that time'
Equations
- Japanese.TemporalDeictic.tooji = { form := "当時", gloss := "at that time" }