Turkish possession

This file defines the Turkish possessive existential sentence as Göksel and Kerslake describe it, the construction Stassen classes as a genitive possessive and Heine derives from the genitive schema. The possessor is a genitive noun phrase and the possessee carries the possessive suffix that agrees with it in person, the two forming the genitive-possessive construction of attributive possession, and the predicate is var 'existent' or yok 'non-existent', with a copular marker outside the present tense: Mehmed'in parası var 'Mehmet has money' and Mehmed'in parası yok 'Mehmet has no money'. Lewis's observation, which Stassen takes up, is that the possessor is a sentence topic and not the modifier of the possessee, since adverbials may come between them. The locative existential bende bir kitap var 'I have a book' is the same predicate on a locative phrase.

Main definitions

• Turkish.Possession.Existential: var and yok, with Existential.form
• Turkish.Possession.possessor, Turkish.Possession.possessee: the genitive, and the noun with the possessive suffix of a cell, as surface forms
• Turkish.Possession.sentence: the possessive existential sentence of a possessor, a possessee and a predicate

Main results

• Turkish.Possession.mehmet: the surface forms of Lewis's two sentences

References

• A. Göksel and C. Kerslake, Turkish: A Comprehensive Grammar (2005)
• B. Heine, Possession: Cognitive Sources, Forces, and Grammaticalization (1997)
• L. Stassen, Predicative Possession (2009)

inductive Turkish.Possession.Existential : Type

The existential predicates var 'existent' and yok 'non-existent', which take the copular markers and person markers of a nominal predicate.

• var : Existential
• yok : Existential

@[instance_reducible]

instance Turkish.Possession.instDecidableEqExistential : DecidableEq Existential

Equations

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

@[instance_reducible]

instance Turkish.Possession.instReprExistential : Repr Existential

Equations

• Turkish.Possession.instReprExistential = { reprPrec := Turkish.Possession.instReprExistential.repr }

def Turkish.Possession.instReprExistential.repr : Existential → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Turkish.Possession.instFintypeExistential : Fintype Existential

Equations

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

def Turkish.Possession.Existential.form : Existential → List Phonology.Segment

The form of a predicate.

Equations

• Turkish.Possession.Existential.var.form = [Turkish.Phonology.v, Turkish.Phonology.a, Turkish.Phonology.r]
• Turkish.Possession.Existential.yok.form = [Turkish.Phonology.y, Turkish.Phonology.o, Turkish.Phonology.k]

def Turkish.Possession.possessor (w : List Phonology.Segment) : List Phonology.Segment

The possessor is the genitive of its stem.

Equations

• Turkish.Possession.possessor w = Turkish.realize w [Turkish.Nominal.Exponent.genitive.form]

def Turkish.Possession.possessee (w : List Phonology.Segment) (c : Agreement.Bundle) : List Phonology.Segment

The possessee carries the possessive suffix of the possessor's person and number.

Equations

• Turkish.Possession.possessee w c = Turkish.realize w [(Turkish.Nominal.Exponent.possessive c).form]

def Turkish.Possession.sentence (pr pe : List Phonology.Segment) (c : Agreement.Bundle) (e : Existential) : List (List Phonology.Segment)

The possessive existential sentence of a possessor, a possessee and a predicate.

Equations

• Turkish.Possession.sentence pr pe c e = [Turkish.Possession.possessor pr, Turkish.Possession.possessee pe c, e.form]

theorem Turkish.Possession.mehmet : sentence [Phonology.m, Phonology.e, Phonology.h, Phonology.m, Phonology.e, Phonology.d] [Phonology.p, Phonology.a, Phonology.r, Phonology.a] (Agreement.Bundle.personNumber Person.third Number.singular) Existential.var = [[Phonology.m, Phonology.e, Phonology.h, Phonology.m, Phonology.e, Phonology.d, Phonology.i, Phonology.n], [Phonology.p, Phonology.a, Phonology.r, Phonology.a, Phonology.s, Phonology.ı], [Phonology.v, Phonology.a, Phonology.r]] ∧ sentence [Phonology.m, Phonology.e, Phonology.h, Phonology.m, Phonology.e, Phonology.d] [Phonology.p, Phonology.a, Phonology.r, Phonology.a] (Agreement.Bundle.personNumber Person.third Number.singular) Existential.yok = [[Phonology.m, Phonology.e, Phonology.h, Phonology.m, Phonology.e, Phonology.d, Phonology.i, Phonology.n], [Phonology.p, Phonology.a, Phonology.r, Phonology.a, Phonology.s, Phonology.ı], [Phonology.y, Phonology.o, Phonology.k]]

Mehmed'in parası var 'Mehmet has money' and Mehmed'in parası yok 'Mehmet has no money'.