Hungarian Discourse Particles

@cite{ippolito-kiss-williams-2025}

Lexical entry for Hungarian csak — the discourse only connective. Allows all clause types as S'.

structure Fragments.Hungarian.DiscourseParticles.DiscourseOnlyParticle : Type

A discourse only particle entry.

• form : String
• nativeForm : String
• gloss : String

def Fragments.Hungarian.DiscourseParticles.instReprDiscourseOnlyParticle.repr : DiscourseOnlyParticle → Nat → Std.Format

Equations

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

instance Fragments.Hungarian.DiscourseParticles.instReprDiscourseOnlyParticle : Repr DiscourseOnlyParticle

Equations

• Fragments.Hungarian.DiscourseParticles.instReprDiscourseOnlyParticle = { reprPrec := Fragments.Hungarian.DiscourseParticles.instReprDiscourseOnlyParticle.repr }

def Fragments.Hungarian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle.decEq (x✝ x✝¹ : DiscourseOnlyParticle) : Decidable (x✝ = x✝¹)

Equations

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

instance Fragments.Hungarian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle : DecidableEq DiscourseOnlyParticle

Equations

• Fragments.Hungarian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle = Fragments.Hungarian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle.decEq

def Fragments.Hungarian.DiscourseParticles.instBEqDiscourseOnlyParticle.beq : DiscourseOnlyParticle → DiscourseOnlyParticle → Bool

Equations

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

instance Fragments.Hungarian.DiscourseParticles.instBEqDiscourseOnlyParticle : BEq DiscourseOnlyParticle

Equations

• Fragments.Hungarian.DiscourseParticles.instBEqDiscourseOnlyParticle = { beq := Fragments.Hungarian.DiscourseParticles.instBEqDiscourseOnlyParticle.beq }

def Fragments.Hungarian.DiscourseParticles.csak : DiscourseOnlyParticle

Hungarian csak — allows all clause types as S'.

Equations

• Fragments.Hungarian.DiscourseParticles.csak = { form := "csak", nativeForm := "csak", gloss := "only" }