Italian Discourse Particles

@cite{ippolito-kiss-williams-2025}

Lexical entry for Italian solo che — the discourse only connective. The most restrictive variant: S' must be declarative.

structure Fragments.Italian.DiscourseParticles.DiscourseOnlyParticle : Type

A discourse only particle entry.

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

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

Equations

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

instance Fragments.Italian.DiscourseParticles.instReprDiscourseOnlyParticle : Repr DiscourseOnlyParticle

Equations

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

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

Equations

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

instance Fragments.Italian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle : DecidableEq DiscourseOnlyParticle

Equations

• Fragments.Italian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle = Fragments.Italian.DiscourseParticles.instDecidableEqDiscourseOnlyParticle.decEq

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

Equations

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

instance Fragments.Italian.DiscourseParticles.instBEqDiscourseOnlyParticle : BEq DiscourseOnlyParticle

Equations

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

def Fragments.Italian.DiscourseParticles.soloChe : DiscourseOnlyParticle

Italian solo che — S' restricted to declaratives only.

Equations

• Fragments.Italian.DiscourseParticles.soloChe = { form := "solo che", nativeForm := "solo che", gloss := "only (that)" }