Hungarian Predicate Lexicon Fragment

@cite{egressy-2026}

Hungarian attitude verb entries, extending VerbCore with the Hungarian inflectional paradigm. Hungarian has a distinctive definite/indefinite conjugation split: verbs agree not just with the subject but also with the definiteness of the object.

Definite vs Indefinite Conjugation

The conjugation type correlates with complement size:

• hogy-CP complements trigger definite conjugation (tud-t-a know-PST-3SG.DEF)
• Bare (small clause) complements allow indefinite conjugation (tud-ott know-PST.3SG.INDEF)

This morphological distinction provides independent evidence for the structural size difference between hogy-CP and bare complements.

Attitude Verbs

The three verbs formalized here are used in @cite{egressy-2026} to demonstrate size-sensitive SOT:

• tud 'know' — factive, doxastic veridical
• mond 'say' — speech-act verb
• hisz 'believe' — doxastic non-veridical

structure Fragments.Hungarian.Predicates.HungarianVerbEntryextends Core.Verbs.VerbCore : Type

Hungarian verb entry: extends VerbCore with the definite/indefinite conjugation paradigm.

• form : String
• complementType : ComplementType
• subjectEntailments : Option Semantics.Lexical.Verb.EntailmentProfile.EntailmentProfile
• objectEntailments : Option Semantics.Lexical.Verb.EntailmentProfile.EntailmentProfile
• controlType : ControlType
• altComplementType : Option ComplementType
• altControlType : ControlType
• unaccusative : Bool
• voiceType : Option VoiceType
• passivizable : Bool
• implicitObj : Option ImplicitInterp
• implicitGoal : Option ImplicitInterp
• speechActVerb : Bool
• vendlerClass : Option Semantics.Tense.Aspect.LexicalAspect.VendlerClass
• degreeAchievementScale : Option Semantics.Lexical.Verb.DegreeAchievement.DegreeAchievementScale
• verbIncClass : Option Semantics.Events.Krifka1998.VerbIncClass
• presupType : Option PresupTriggerType
• projectionBehavior : Option ProjectionBehavior
• selectsDimension : Option Semantics.Probabilistic.Measurement.Dimension
• cosType : Option Semantics.Lexical.Verb.ChangeOfState.CoSType
• implicativeBuilder : Option Nadathur2024.Implicative.ImplicativeBuilder
• causativeBuilder : Option NadathurLauer2020.CausativeBuilder
• causalSource : Option Semantics.Causation.PsychCausation.CausalSource
• opaqueContext : Bool
• attitudeBuilder : Option AttitudeBuilder
• takesQuestionBase : Bool
• complementSig : Option NaturalLogic.EntailmentSig
• senseTag : SenseTag
• levinClass : Option LevinClass
• rootProfile : Option RootProfile
• gloss : String

  English gloss

• formPresDef : String

  3sg present definite conjugation

• formPresIndef : String

  3sg present indefinite conjugation

• formPastDef : String

  3sg past definite conjugation

• formPastIndef : String

  3sg past indefinite conjugation

def Fragments.Hungarian.Predicates.instReprHungarianVerbEntry.repr : HungarianVerbEntry → ℕ → Std.Format

Equations

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

instance Fragments.Hungarian.Predicates.instReprHungarianVerbEntry : Repr HungarianVerbEntry

Equations

• Fragments.Hungarian.Predicates.instReprHungarianVerbEntry = { reprPrec := Fragments.Hungarian.Predicates.instReprHungarianVerbEntry.repr }

instance Fragments.Hungarian.Predicates.instBEqHungarianVerbEntry : BEq HungarianVerbEntry

Equations

• Fragments.Hungarian.Predicates.instBEqHungarianVerbEntry = { beq := Fragments.Hungarian.Predicates.instBEqHungarianVerbEntry.beq }

def Fragments.Hungarian.Predicates.instBEqHungarianVerbEntry.beq : HungarianVerbEntry → HungarianVerbEntry → Bool

Equations

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

def Fragments.Hungarian.Predicates.tud : HungarianVerbEntry

tud 'know' — factive doxastic attitude verb. @cite{egressy-2026}, exx. (9)–(10): key verb for the size-sensitive SOT contrast. Selects both hogy-CP (definite conj.) and bare complement (indefinite conj.).

Equations

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

def Fragments.Hungarian.Predicates.mond : HungarianVerbEntry

mond 'say' — speech-act verb. @cite{egressy-2026}, ex. (11a): extends SOT pattern to communication verbs. Selects hogy-CP (definite conj.); no bare complement frame.

Equations

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

def Fragments.Hungarian.Predicates.hisz : HungarianVerbEntry

hisz 'believe' — doxastic non-veridical attitude verb. @cite{egressy-2026}, ex. (11b): extends SOT pattern to belief verbs. Selects hogy-CP (definite conj.); no bare complement frame.

Equations

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

def Fragments.Hungarian.Predicates.allEntries : List HungarianVerbEntry

All Hungarian verb entries.

Equations

• Fragments.Hungarian.Predicates.allEntries = [Fragments.Hungarian.Predicates.tud, Fragments.Hungarian.Predicates.mond, Fragments.Hungarian.Predicates.hisz]

def Fragments.Hungarian.Predicates.HungarianVerbEntry.pastDefForm (v : HungarianVerbEntry) : String

Whether a verb form is in the definite conjugation. Used as a clause-size diagnostic: definite conjugation → CP complement (hogy-clause).

Equations

• v.pastDefForm = v.formPastDef

def Fragments.Hungarian.Predicates.HungarianVerbEntry.pastIndefForm (v : HungarianVerbEntry) : String

Whether a verb form is in the indefinite conjugation. Indefinite conjugation correlates with smaller complement size.

Equations

• v.pastIndefForm = v.formPastIndef

theorem Fragments.Hungarian.Predicates.def_indef_distinct (v : HungarianVerbEntry) : v ∈ allEntries → v.formPastDef ≠ v.formPastIndef

The definite and indefinite past forms are distinct for all verbs.