Possession: classification vocabulary

Three taxonomies of the possession relation and the locus of adnominal marking. RelationType is the lexical taxonomy of [VJ02] (inherent, part-whole, agentive, control); Notion is the semantic one of [Hei97] (physical, temporary, permanent, inalienable, abstract, and the two inanimate notions); InalienabilityRank is the inalienability cline of [aikhenvald-2012], body parts and kinship ranking highest. AdnominalMarking is the head-marking/dependent-marking contrast of [Nic86] applied to the possessive NP, for varieties the WALS coding ([nichols-bickel-2013c]) does not reach. Per-language WALS values are looked up in Data/WALS/Features/, never restated as substrate.

References

• [VJ02]
• [Hei97]
• [aikhenvald-2012]
• [Nic86], [nichols-bickel-2013c]

inductive Possession.RelationType : Type

Four-way lexical taxonomy of possession relations from [VJ02] §3.1.2 (their Table 1), reproduced in [barker-2011]. The separate "pragmatic" interpretation is not lexical and is not one of these.

• inherent : RelationType

  Inherent relation: lexically argument-structural (the teacher's class).

• partWhole : RelationType

  Part-whole relation (the girl's nose, the car's wheel).

• agentive : RelationType

  Agentive relation (the girl's poem = the poem the girl wrote).

• control : RelationType

  Control relation: ownership or legal control (the girl's car).

@[instance_reducible]

instance Possession.instDecidableEqRelationType : DecidableEq RelationType

Equations

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

def Possession.instReprRelationType.repr : RelationType → Nat → Std.Format

Equations

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

@[instance_reducible]

instance Possession.instReprRelationType : Repr RelationType

Equations

• Possession.instReprRelationType = { reprPrec := Possession.instReprRelationType.repr }

inductive Possession.Notion : Type

Heine's semantic targets of possession ([Hei97]).

• physical : Notion

  Physical possession ("a pen in my hand").

• temporary : Notion

  Temporary possession ("a rental car").

• permanent : Notion

  Permanent possession ("a house").

• inalienable : Notion

  Inalienable possession ("two sisters", "blue eyes").

• abstract : Notion

  Abstract possession ("a headache", "an idea").

• inanimateInalienable : Notion

  Inanimate inalienable ("the tree has branches").

• inanimateAlienable : Notion

  Inanimate alienable ("the room has a window").

@[instance_reducible]

instance Possession.instDecidableEqNotion : DecidableEq Notion

Equations

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

def Possession.instReprNotion.repr : Notion → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.
• Possession.instReprNotion.repr Possession.Notion.physical prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Possession.Notion.physical")).group prec✝
• Possession.instReprNotion.repr Possession.Notion.temporary prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Possession.Notion.temporary")).group prec✝
• Possession.instReprNotion.repr Possession.Notion.permanent prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Possession.Notion.permanent")).group prec✝
• Possession.instReprNotion.repr Possession.Notion.abstract prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Possession.Notion.abstract")).group prec✝

@[instance_reducible]

instance Possession.instReprNotion : Repr Notion

Equations

• Possession.instReprNotion = { reprPrec := Possession.instReprNotion.repr }

inductive Possession.InalienabilityRank : Type

Coarse inalienability cline ([aikhenvald-2012]); body parts and kinship, which Nichols and Aikhenvald treat as co-central, rank highest.

• bodyPart : InalienabilityRank
• kinship : InalienabilityRank
• spatialRelation : InalienabilityRank
• partWhole : InalienabilityRank
• culturalItem : InalienabilityRank
• generalProperty : InalienabilityRank

@[instance_reducible]

instance Possession.instDecidableEqInalienabilityRank : DecidableEq InalienabilityRank

Equations

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

@[instance_reducible]

instance Possession.instReprInalienabilityRank : Repr InalienabilityRank

Equations

• Possession.instReprInalienabilityRank = { reprPrec := Possession.instReprInalienabilityRank.repr }

def Possession.instReprInalienabilityRank.repr : InalienabilityRank → Nat → Std.Format

Equations

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

inductive Possession.AdnominalMarking : Type

The locus of marking inside the possessive NP ([Nic86]; WALS 24A).

• headMarking : AdnominalMarking

  Marker on the possessed head noun.

• dependentMarking : AdnominalMarking

  Marker on the possessor (English 's, Japanese no).

• doubleMarking : AdnominalMarking

  Both possessor and head marked.

• noMarking : AdnominalMarking

  No overt marker on either; juxtaposition alone.

@[instance_reducible]

instance Possession.instDecidableEqAdnominalMarking : DecidableEq AdnominalMarking

Equations

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

def Possession.instReprAdnominalMarking.repr : AdnominalMarking → Nat → Std.Format

Equations

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

@[instance_reducible]

instance Possession.instReprAdnominalMarking : Repr AdnominalMarking

Equations

• Possession.instReprAdnominalMarking = { reprPrec := Possession.instReprAdnominalMarking.repr }