Turkish Possessive Constructions

@cite{stassen-2009} @cite{nichols-1986} @cite{heine-1997}

Turkish (Altaic) derives its primary have-construction from the Genitive Schema ("X's Y exists" → "X has Y"). The construction consists of:

1. Possessor in genitive case (-(n)In)
2. Possessum with possessive agreement suffix (-(s)I)
3. Existential predicate var 'existent' (or yok 'non-existent')

Turkish also has a Goal Schema variant using dative (-A) with existential var, and the Equation Schema for belong-constructions.

PossessionProfile bundle for Turkish (ISO tur), per the project's "per-language data flows through Fragments" rule. Substrate types live in Linglib/Typology/Possession.lean. Heine 1997 prediction verification for Turkish lives in Phenomena/Possession/Studies/Heine1997.lean.

Examples

• Hasan-ın inek-i var. 'Hasan has a cow.' (Hasan-GEN cow-POSS existent)
• Bende kitap var. 'I have a book.' (at-me book existent; Location variant)
• Kitab-ım var. 'I have a book.' (book-POSS.1SG existent; Genitive)

def Fragments.Turkish.Possession.sourceSchema : Typology.Possession.PossessionSource

Turkish uses the Genitive Schema for its primary have-construction: GEN-possessor + POSS-possessum + var/yok.

Equations

• Fragments.Turkish.Possession.sourceSchema = Typology.Possession.PossessionSource.genitive

def Fragments.Turkish.Possession.predicativeStrategy : Typology.Possession.PredicativePossession

Turkish's predicative strategy is genitive/dative (the possessor is marked with genitive case, the predicate is a non-verbal existential).

Equations

• Fragments.Turkish.Possession.predicativeStrategy = Typology.Possession.PredicativePossession.genitiveDative

inductive Fragments.Turkish.Possession.PossPerson : Type

Turkish possessive suffix paradigm. These suffixes appear on the possessum and agree with the possessor in person and number.

• first : PossPerson
• second : PossPerson
• third : PossPerson

@[implicit_reducible]

instance Fragments.Turkish.Possession.instDecidableEqPossPerson : DecidableEq PossPerson

Equations

• Fragments.Turkish.Possession.instDecidableEqPossPerson x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Fragments.Turkish.Possession.instReprPossPerson : Repr PossPerson

Equations

• Fragments.Turkish.Possession.instReprPossPerson = { reprPrec := Fragments.Turkish.Possession.instReprPossPerson.repr }

def Fragments.Turkish.Possession.instReprPossPerson.repr : PossPerson → Nat → Std.Format

Equations

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

inductive Fragments.Turkish.Possession.PossNumber : Type

• sg : PossNumber
• pl : PossNumber

@[implicit_reducible]

instance Fragments.Turkish.Possession.instDecidableEqPossNumber : DecidableEq PossNumber

Equations

• Fragments.Turkish.Possession.instDecidableEqPossNumber x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Fragments.Turkish.Possession.instReprPossNumber.repr : PossNumber → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Fragments.Turkish.Possession.instReprPossNumber : Repr PossNumber

Equations

• Fragments.Turkish.Possession.instReprPossNumber = { reprPrec := Fragments.Turkish.Possession.instReprPossNumber.repr }

def Fragments.Turkish.Possession.possSuffix : PossPerson → PossNumber → String

Possessive suffix forms (after consonant-final stems).

Equations

• Fragments.Turkish.Possession.possSuffix Fragments.Turkish.Possession.PossPerson.first Fragments.Turkish.Possession.PossNumber.sg = "-(I)m"
• Fragments.Turkish.Possession.possSuffix Fragments.Turkish.Possession.PossPerson.second Fragments.Turkish.Possession.PossNumber.sg = "-(I)n"
• Fragments.Turkish.Possession.possSuffix Fragments.Turkish.Possession.PossPerson.third Fragments.Turkish.Possession.PossNumber.sg = "-(s)I"
• Fragments.Turkish.Possession.possSuffix Fragments.Turkish.Possession.PossPerson.first Fragments.Turkish.Possession.PossNumber.pl = "-(I)mIz"
• Fragments.Turkish.Possession.possSuffix Fragments.Turkish.Possession.PossPerson.second Fragments.Turkish.Possession.PossNumber.pl = "-(I)nIz"
• Fragments.Turkish.Possession.possSuffix Fragments.Turkish.Possession.PossPerson.third Fragments.Turkish.Possession.PossNumber.pl = "-lArI"

inductive Fragments.Turkish.Possession.ExistPred : Type

The existential predicate in Turkish possessive constructions.

• var : ExistPred

  var 'existent, there is' — affirmative possession

• yok : ExistPred

  yok 'non-existent, there is not' — negative possession

@[implicit_reducible]

instance Fragments.Turkish.Possession.instDecidableEqExistPred : DecidableEq ExistPred

Equations

• Fragments.Turkish.Possession.instDecidableEqExistPred x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Fragments.Turkish.Possession.instReprExistPred : Repr ExistPred

Equations

• Fragments.Turkish.Possession.instReprExistPred = { reprPrec := Fragments.Turkish.Possession.instReprExistPred.repr }

def Fragments.Turkish.Possession.instReprExistPred.repr : ExistPred → Nat → Std.Format

Equations

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

def Fragments.Turkish.Possession.existPredIsNonVerbal : Bool

var/yok is not a verb — it is a non-verbal predicate that takes no tense/aspect morphology in the base form. This is characteristic of non-lexical predicate nuclei in @cite{heine-1997}'s Genitive Schema.

Equations

• Fragments.Turkish.Possession.existPredIsNonVerbal = true

def Fragments.Turkish.Possession.locationVariant : Typology.Possession.PossessionSource

Turkish also has a Location Schema variant where the possessor takes locative case (-DA) instead of genitive. This variant tends toward physical/temporary possession readings.

Equations

• Fragments.Turkish.Possession.locationVariant = Typology.Possession.PossessionSource.location

def Fragments.Turkish.Possession.belongSchema : Typology.Possession.PossessionSource

Turkish uses the Equation Schema for belong-constructions with genitive predicates: Kitap Hasan-ın. 'The book is Hasan's.'

Equations

• Fragments.Turkish.Possession.belongSchema = Typology.Possession.PossessionSource.equation

def Fragments.Turkish.Possession.attestedSchemas : List Typology.Possession.PossessionSource

Turkish exhibits three schemas, as @cite{heine-1997} predicts is common for languages that draw on Existence sub-schemas.

Equations

• Fragments.Turkish.Possession.attestedSchemas = [Fragments.Turkish.Possession.sourceSchema, Fragments.Turkish.Possession.locationVariant, Fragments.Turkish.Possession.belongSchema]

theorem Fragments.Turkish.Possession.three_schemas : attestedSchemas.length = 3

def Fragments.Turkish.Possession.genitiveNotions : List Typology.Possession.PossessiveNotion

The Genitive Schema in Turkish is used for permanent, inalienable, and abstract possession. Physical/temporary possession is expressed by the Location Schema variant with locative case. This matches @cite{heine-1997}'s generalizations: Existence schemas correlate with permanent/inalienable notions; Location with physical/temporary.

Equations

• Fragments.Turkish.Possession.genitiveNotions = [Typology.Possession.PossessiveNotion.permanent, Typology.Possession.PossessiveNotion.inalienable, Typology.Possession.PossessiveNotion.abstract]

def Fragments.Turkish.Possession.locationNotions : List Typology.Possession.PossessiveNotion

Equations

• Fragments.Turkish.Possession.locationNotions = [Typology.Possession.PossessiveNotion.physical, Typology.Possession.PossessiveNotion.temporary]

theorem Fragments.Turkish.Possession.genitive_not_physical : ¬genitiveNotions.contains Typology.Possession.PossessiveNotion.physical = true

Genitive Schema does not express physical possession in Turkish.

theorem Fragments.Turkish.Possession.location_not_inalienable : ¬locationNotions.contains Typology.Possession.PossessiveNotion.inalienable = true

Location Schema does not express inalienable possession in Turkish.

def Fragments.Turkish.Possession.possession : Typology.Possession.PossessionProfile

Turkish possession profile.

Note: Turkish's primary construction (Hasan-ın inek-i var) is @cite{heine-1997}'s Genitive Schema, encoded as .genitiveDative in @cite{stassen-2009}'s WALS Ch 117 typology.

Equations

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