Hungarian Temporal Deictic Adverbs

@cite{egressy-2026} @cite{zhao-2025}

Lexical entries for Hungarian temporal adverbs used as clause-size diagnostics in @cite{egressy-2026}.

Temporal Adverb Diagnostics

Egressy uses temporal adverbs to disambiguate embedded tense readings:

• aznap 'that day' — anchored to a past reference time; compatible with both shifted and simultaneous readings
• előző nap 'the day before' — forces the shifted (back-shifted) reading because it locates the embedded event before the matrix event
• akkor 'then' — perspective-shifting temporal deictic (like English "then", German "damals"); anchored to P ≠ S

The key diagnostic: előző nap is compatible with hogy-CP (shifted only), confirming that the CP complement only yields the shifted reading. But it is also compatible with the bare TP complement on its shifted reading, while aznap 'that day' is compatible with the simultaneous reading in bare TP complements.

def Fragments.Hungarian.TemporalDeictic.akkor : Semantics.Tense.ThenAdverb

Hungarian akkor 'then' — perspective-shifting temporal deictic. Part of the cross-linguistic "then"-present incompatibility inventory (@cite{zhao-2025}, @cite{tsilia-zhao-2026}).

Equations

• Fragments.Hungarian.TemporalDeictic.akkor = { language := "Hungarian", form := "akkor", gloss := "then", shiftsPerspective := true }

structure Fragments.Hungarian.TemporalDeictic.TemporalFrameAdverb : Type

Temporal adverb entry for Hungarian clause-size diagnostics. These are not "then"-type deictics but temporal frame adverbs that disambiguate embedded tense readings.

• form : String

  Surface form

• gloss : String

  English gloss

• forcesShifted : Bool

  Forces a shifted (back-shifted) reading?

• compatSimultaneous : Bool

  Compatible with the simultaneous reading?

def Fragments.Hungarian.TemporalDeictic.instReprTemporalFrameAdverb.repr : TemporalFrameAdverb → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

instance Fragments.Hungarian.TemporalDeictic.instReprTemporalFrameAdverb : Repr TemporalFrameAdverb

Equations

• Fragments.Hungarian.TemporalDeictic.instReprTemporalFrameAdverb = { reprPrec := Fragments.Hungarian.TemporalDeictic.instReprTemporalFrameAdverb.repr }

def Fragments.Hungarian.TemporalDeictic.instDecidableEqTemporalFrameAdverb.decEq (x✝ x✝¹ : TemporalFrameAdverb) : Decidable (x✝ = x✝¹)

Equations

• One or more equations did not get rendered due to their size.

instance Fragments.Hungarian.TemporalDeictic.instDecidableEqTemporalFrameAdverb : DecidableEq TemporalFrameAdverb

Equations

• Fragments.Hungarian.TemporalDeictic.instDecidableEqTemporalFrameAdverb = Fragments.Hungarian.TemporalDeictic.instDecidableEqTemporalFrameAdverb.decEq

def Fragments.Hungarian.TemporalDeictic.instBEqTemporalFrameAdverb.beq : TemporalFrameAdverb → TemporalFrameAdverb → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.Hungarian.TemporalDeictic.instBEqTemporalFrameAdverb.beq x✝¹ x✝ = false

instance Fragments.Hungarian.TemporalDeictic.instBEqTemporalFrameAdverb : BEq TemporalFrameAdverb

Equations

• Fragments.Hungarian.TemporalDeictic.instBEqTemporalFrameAdverb = { beq := Fragments.Hungarian.TemporalDeictic.instBEqTemporalFrameAdverb.beq }

def Fragments.Hungarian.TemporalDeictic.aznap : TemporalFrameAdverb

aznap 'that day' — compatible with both readings. Anchors the embedded event to the matrix event day, which is compatible with both shifted (event before that day) and simultaneous (event on that day) interpretations.

Equations

• Fragments.Hungarian.TemporalDeictic.aznap = { form := "aznap", gloss := "that day", forcesShifted := false, compatSimultaneous := true }

def Fragments.Hungarian.TemporalDeictic.elozo_nap : TemporalFrameAdverb

előző nap 'the day before' — forces shifted reading. Locates the embedded event before the matrix event time, which is only compatible with the shifted interpretation.

Equations

• Fragments.Hungarian.TemporalDeictic.elozo_nap = { form := "előző nap", gloss := "the day before", forcesShifted := true, compatSimultaneous := false }

def Fragments.Hungarian.TemporalDeictic.allFrameAdverbs : List TemporalFrameAdverb

All temporal frame adverbs from @cite{egressy-2026}.

Equations

• Fragments.Hungarian.TemporalDeictic.allFrameAdverbs = [Fragments.Hungarian.TemporalDeictic.aznap, Fragments.Hungarian.TemporalDeictic.elozo_nap]

theorem Fragments.Hungarian.TemporalDeictic.elozo_nap_forces_shifted : elozo_nap.forcesShifted = true

előző nap forces the shifted reading.

theorem Fragments.Hungarian.TemporalDeictic.aznap_both_readings : aznap.compatSimultaneous = true ∧ aznap.forcesShifted = false

aznap is compatible with both readings.

theorem Fragments.Hungarian.TemporalDeictic.diagnostic_contrast : aznap.compatSimultaneous ≠ elozo_nap.compatSimultaneous

The two adverbs have different diagnostic profiles.