Turkish Predicate Lexicon Fragment

@cite{qing-uegaki-2025}

Turkish predicates relevant to @cite{qing-uegaki-2025}. Properties like C-distributivity and NVP class are DERIVED from the attitude field.

structure Fragments.Turkish.Predicates.TurkishVerbEntryextends Semantics.Lexical.VerbCore : Type

Turkish verb entry: extends VerbCore with Turkish inflectional paradigm.

• form : String
• complementType : ComplementType
• subjectEntailments : Option ArgumentStructure.EntailmentProfile.EntailmentProfile
• objectEntailments : Option ArgumentStructure.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 Features.VendlerClass
• degreeAchievementScale : Option Features.DegreeAchievement.DegreeAchievementScale
• verbIncClass : Option Aspect.Incremental.VerbIncClass
• presupType : Option PresupTriggerType
• postsupType : Option PostsupType
• projectionBehavior : Option ProjectionBehavior
• selectsDimension : Option Features.Dimension.Dimension
• cosType : Option Features.ChangeOfState.CoSType
• implicative : Option Features.Implicative
• causative : Option Features.Causative
• causalSource : Option Causation.Psych.CausalSource
• opaqueContext : Bool
• attitude : Option Features.Attitude
• takesQuestionBase : Bool
• complementSig : Option Core.NaturalLogic.EntailmentSig
• senseTag : SenseTag
• levinClass : Option LevinClass
• rootProfile : Option Roots.RootProfile
• formProg : String

  Progressive form (-yor)

• formPast : String

  Past form (-dı, -tı)

• formEvidential : String

  Evidential form (-mış)

• formParticiple : String

  Participle form (-an, -en)

def Fragments.Turkish.Predicates.instReprTurkishVerbEntry.repr : TurkishVerbEntry → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Fragments.Turkish.Predicates.instReprTurkishVerbEntry : Repr TurkishVerbEntry

Equations

• Fragments.Turkish.Predicates.instReprTurkishVerbEntry = { reprPrec := Fragments.Turkish.Predicates.instReprTurkishVerbEntry.repr }

def Fragments.Turkish.Predicates.instBEqTurkishVerbEntry.beq : TurkishVerbEntry → TurkishVerbEntry → Bool

Equations

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

@[implicit_reducible]

instance Fragments.Turkish.Predicates.instBEqTurkishVerbEntry : BEq TurkishVerbEntry

Equations

• Fragments.Turkish.Predicates.instBEqTurkishVerbEntry = { beq := Fragments.Turkish.Predicates.instBEqTurkishVerbEntry.beq }

def Fragments.Turkish.Predicates.kork : TurkishVerbEntry

"kork-" — fear (Class 2: C-distributive, negative).

Equations

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

def Fragments.Turkish.Predicates.um : TurkishVerbEntry

"um-" — hope (Class 3: C-distributive, positive, anti-rogative).

Equations

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

def Fragments.Turkish.Predicates.merakEt : TurkishVerbEntry

"merak et-" — wonder/be curious (rogative, non-preferential).

Equations

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

def Fragments.Turkish.Predicates.endiselen : TurkishVerbEntry

"endişelen-" — worry (Class 1: non-C-distributive).

Equations

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

Causative predicates

Turkish morphological causative suffix -dür (@cite{song-1996}: COMPACT type). Allomorphs: -dür, -tür, -dir, -tir (vowel harmony). "Ali Hasan-ı öl-dür-dü" = "Ali killed Hasan" (öl 'die' + -dür CAUS)

def Fragments.Turkish.Predicates.ol_dur : TurkishVerbEntry

öl-dür-mek — die-CAUS = "to kill" (morphological COMPACT causative).

Equations

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

def Fragments.Turkish.Predicates.yap_tir : TurkishVerbEntry

yap-tır-mak — do-CAUS = "to make (someone) do" (productive causative).

Equations

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

theorem Fragments.Turkish.Predicates.ol_dur_is_make : ol_dur.causative = some Features.Causative.make

Turkish causative -dür uses .make builder.

def Fragments.Turkish.Predicates.allVerbs : List TurkishVerbEntry

Equations

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

def Fragments.Turkish.Predicates.lookup (form : String) : Option TurkishVerbEntry

Equations

• Fragments.Turkish.Predicates.lookup form = List.find? (fun (x : Fragments.Turkish.Predicates.TurkishVerbEntry) => x.form == form) Fragments.Turkish.Predicates.allVerbs