Documentation

Linglib.Fragments.Arabic.ModernStandard.Possession

Arabic possession profile #

[Sta09b] [Nic86] [Hei97]

Bare per-language possession defs for Arabic (Afro-Asiatic, ISO arb), per the project's "per-language data flows through Fragments" rule. Substrate types (PredicativeStrategy, AdnominalMarking, …) live in Linglib/Features/Possession.lean. Cross-linguistic theorems consuming these values live in Studies/NicholsBickel2013.lean.

Examples: ʿindii kitaab-un; kitaab-u l-walad-i. Preposition ʿinda for predicative possession (lit. 'at me [there is] a book'); construct state (iḍāfa) for adnominal possession — juxtaposition with the head noun in construct state (no nunation, no definite article) and the possessor in the genitive.

source
def Arabic.ModernStandard.Possession.obligatoryPossession :
Possession.Obligatoriness
Equations
Instances For
    source
    def Arabic.ModernStandard.Possession.possessiveClassification :
    Possession.Classification
    Equations
    Instances For
      source
      def Arabic.ModernStandard.Possession.predicativeStrategy :
      Possession.PredicativeStrategy
      Equations
      Instances For
        source
        def Arabic.ModernStandard.Possession.adnominalStrategy :
        Possession.AdnominalMarking
        Equations
        Instances For
          source
          def Arabic.ModernStandard.Possession.affixPosition :
          Option Possession.AffixPosition
          Equations
          Instances For