Turkish Predicate Lexicon Fragment

[QOR+25]

Turkish predicates relevant to [QOR+25]. Properties like C-distributivity and NVP class are DERIVED from the attitude field.

structure Turkish.Predicates.TurkishVerbEntryextends Verb : Type

Turkish verb entry: extends Verb with Turkish inflectional paradigm.

• frames : List Frame
• subjectEntailments : Option ArgumentStructure.EntailmentProfile
• objectEntailments : Option ArgumentStructure.EntailmentProfile
• unaccusative : Bool
• voiceType : Option VoiceType
• passivizable : Bool
• implicitObj : Option ImplicitInterp
• implicitGoal : Option ImplicitInterp
• vendlerClass : Option Features.VendlerClass
• degreeAchievementScale : Option Features.DegreeAchievement.DegreeAchievementScale
• verbIncClass : Option Semantics.Aspect.Incremental.VerbIncClass
• cosType : Option Features.ChangeOfState.CoSType
• presupType : Option PresupTriggerType
• projectionBehavior : Option ProjectionBehavior
• implicative : Option Features.Implicative
• causative : Option Features.Causative
• causalSource : Option Causation.Psych.CausalSource
• opaqueContext : Bool
• attitude : Option Features.Attitude
• readings : List Reading
• takesQuestionBase : Bool
• complementSig : Option NaturalLogic.EntailmentSig
• levinClass : Option Semantics.Lexical.LevinClass
• root : Root
• form : String
• speechActVerb : Bool
• senseTag : SenseTag
• formProg : String

  Progressive form (-yor)

• formPast : String

  Past form (-dı, -tı)

• formEvidential : String

  Evidential form (-mış)

• formParticiple : String

  Participle form (-an, -en)

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

Equations

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

@[implicit_reducible]

instance Turkish.Predicates.instReprTurkishVerbEntry : Repr TurkishVerbEntry

Equations

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

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

Equations

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

@[implicit_reducible]

instance Turkish.Predicates.instBEqTurkishVerbEntry : BEq TurkishVerbEntry

Equations

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

def 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 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 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 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 ([Son96]: 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 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 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 Turkish.Predicates.ol_dur_is_make : ol_dur.causative = some Features.Causative.make

Turkish causative -dür uses .make builder.

def Turkish.Predicates.allVerbs : List TurkishVerbEntry

Equations

• Turkish.Predicates.allVerbs = [Turkish.Predicates.kork, Turkish.Predicates.um, Turkish.Predicates.merakEt, Turkish.Predicates.endiselen, Turkish.Predicates.ol_dur, Turkish.Predicates.yap_tir]

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

Equations

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