Standard Modern Greek possession profile #

[Sta09b] [Nic86] [Hei97] [HMPWS12] [KA26]

Per-language possession data for Standard Modern Greek (SMG; Indo-European; ISO ell), per the project's per-language data flows through Fragments rule, as bare field-by-field defs. Substrate types live in Linglib/Features/Possession.lean. Cross-linguistic theorems consume these values from Studies/NicholsBickel2013.lean.

Examples: to vivlio tu Jani 'John's book' (inflectional GEN), to pomolo apo tin porta 'the door's handle' (apo-PP, part-whole), to nero apo tin piji 'the spring's water' (apo-PP, source), exi pola vivlia 'has many books' (predicative haveVerb). Inflectional genitive (head-suffix on possessor) is the broad-coverage strategy; the apo-PP alternates only in part-whole and source-like contexts and is degraded with animate possessors, pronouns, and proper names ([KA26]).

Greek is the canonical case of a language that morphologically has a single adnominal possession class (no alienable/inalienable split is marked on the noun) yet structurally distinguishes the two via the position of the possessor (per [KA26] §7, citing [Ale03]: inalienable possessors are introduced as complements of the possessee NP, alienable possessors in the specifier of a dedicated PossP). The structural distinction is not visible in these typological-surface values; it lives in Morphology/DM/NominalStructure.lean::PossessionType.

The apo-PP variant of the genitive (e.g., to vivlio apo ton ðimarxo 'the book of the mayor') is a partitive-coerced alternative to inflectional genitive (per [KA26] §5). Felicity is gated by the relation type (part-whole and source: free; ownership and kinship: degraded) and by whether the possessor can be construed as a set (modified or pluralised possessors are felicitous). The licensing apparatus lives in Studies/KampanarouAlexiadou2026.lean.

For the dialect contrast, see Fragments/Greek/Grevena/Possession.lean (genitive-loss endpoint per [MCS24]) and Fragments/Greek/Smyrna/Possession.lean (over-extended genitive per [KA26] fn 7, citing [Lio16]).

source

def Greek.StandardModern.Possession.genNotions :

List Possession.Notion

Heine notions expressible by SMG inflectional genitive (broad coverage: ownership, kinship, body parts, part-whole, abstract).

Equations

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

Instances For

source

def Greek.StandardModern.Possession.apoNotions :

List Possession.Notion

Heine notions naturally expressible by the SMG apo-PP variant. Restricted set per [KA26] (5)–(11): part-whole and source-like readings; ownership and kinship are degraded (the apo-PP coerces a partitive interpretation).

Equations