Korean Evidential Fragment

[Cum26]

Paradigm entries for Korean tense-evidential morphology from [Cum26], Tables 18 (-te) and 19 (-ney). Korean is notable for morphologically encoding evidential perspective independently of utterance perspective.

-te vs -ney

Both markers distinguish retrospective/contemporaneous/prospective EP, but their UP constraints differ:

• -te: UP is always T < S (past-shifted)
• -ney: UP tracks speech-time more tightly (T < S, T = S, S < T)

This EP/UP factorization is verified in Studies/Cumming2026.lean.

def Korean.Evidentials.tePast : Tense.Evidential.TAMEEntry

Korean -te PAST: T < A (strict downstream), T < S (past).

Equations

• Korean.Evidentials.tePast = { label := "-te PAST", ep := Tense.Evidential.EPCondition.strictDownstream, up := Tense.Evidential.UPCondition.past }

def Korean.Evidentials.tePresent : Tense.Evidential.TAMEEntry

Korean -te PRESENT: T = A (contemporaneous), T < S (past).

Equations

• Korean.Evidentials.tePresent = { label := "-te PRES", ep := Tense.Evidential.EPCondition.contemporaneous, up := Tense.Evidential.UPCondition.past }

def Korean.Evidentials.teFuture : Tense.Evidential.TAMEEntry

Korean -te FUTURE: A < T (prospective).

Equations

• Korean.Evidentials.teFuture = { label := "-te FUT", ep := Tense.Evidential.EPCondition.prospective, up := Tense.Evidential.UPCondition.unconstrained }

def Korean.Evidentials.neyPast : Tense.Evidential.TAMEEntry

Korean -ney PAST: T < A (strict downstream), T < S (past).

Equations

• Korean.Evidentials.neyPast = { label := "-ney PAST", ep := Tense.Evidential.EPCondition.strictDownstream, up := Tense.Evidential.UPCondition.past }

def Korean.Evidentials.neyPresent : Tense.Evidential.TAMEEntry

Korean -ney PRESENT: T = A (contemporaneous), T = S (present).

Equations

• Korean.Evidentials.neyPresent = { label := "-ney PRES", ep := Tense.Evidential.EPCondition.contemporaneous, up := Tense.Evidential.UPCondition.present }

def Korean.Evidentials.neyFuture : Tense.Evidential.TAMEEntry

Korean -ney FUTURE: A < T (prospective), S < T (future).

Equations

• Korean.Evidentials.neyFuture = { label := "-ney FUT", ep := Tense.Evidential.EPCondition.prospective, up := Tense.Evidential.UPCondition.future }

def Korean.Evidentials.teEntries : List Tense.Evidential.TAMEEntry

All Korean -te entries.

Equations

• Korean.Evidentials.teEntries = [Korean.Evidentials.tePast, Korean.Evidentials.tePresent, Korean.Evidentials.teFuture]

def Korean.Evidentials.neyEntries : List Tense.Evidential.TAMEEntry

All Korean -ney entries.

Equations

• Korean.Evidentials.neyEntries = [Korean.Evidentials.neyPast, Korean.Evidentials.neyPresent, Korean.Evidentials.neyFuture]

def Korean.Evidentials.allEntries : List Tense.Evidential.TAMEEntry

All Korean evidential entries.

Equations

• Korean.Evidentials.allEntries = Korean.Evidentials.teEntries ++ Korean.Evidentials.neyEntries