Documentation

Linglib.Fragments.Arabic.ModernStandard.Case

Modern Standard Arabic case #

Modern Standard Arabic has three cases, the nominative (rafʿ), the genitive (jarr) and the accusative (naSb), marked by a suffix at the end of a noun or adjective: in the base declension -u, -i and -a, followed on an indefinite by nunation, a final -n ([Ryd05] ch. 7 §5, p. 166). The spoken varieties do not mark case (p. 166), so the case system is that of the written language.

A noun is in one of three states. It takes the definite article al-, or it is annexed, the first term of a construct (ʾiDaafa) or a noun with a possessive suffix, with "neither the definite article nor nunation" (ch. 8 §1.2.1, p. 211), or it takes nunation (ch. 7 §4, p. 156). The state is a form and not a meaning: an annexed noun is definite or indefinite with the noun it annexes, and so "looks definite because it does not have nunation, but it is not definite" when that noun is indefinite (p. 160, fn. 40), and masculine names such as muHammad-un are "semantically definite, but morphologically indefinite" (p. 164). The Universal Dependencies tag for definiteness, the value of a token's definiteness feature, keeps the three states apart, the annexed noun being UD's construct state ([dMMNZ21]).

A declension is "a class of substantives (nouns or adjectives) that exhibits similar inflectional markings for case and definiteness" (§5.4, p. 182), and Ryding sorts nouns and adjectives into eight of them (pp. 182–183), a classification she calls her own, "not standardized" (p. 167). A declension is therefore given here by its endings, and a noun by its stem and its declension, its form being the article, the stem and the ending. What a declension's endings do not distinguish no noun of the declension distinguishes (Noun.form_eq_form_iff). The triptote gives each case its own ending (§5.4.1, p. 183). The dual, the two sound plurals and the indefinite diptote have one ending for the genitive and the accusative, and "are considered to exhibit all three cases; it is just that the genitive and accusative have exactly the same form" (§5.4.2, p. 187). The defectives have one for the nominative and the genitive (§5.4.3, p. 197), and the indeclinables and the invariables one for all three cases (§§5.4.4–5.4.5, pp. 199–200).

Main declarations #

Implementation notes #

The endings of the definite and the indefinite are read off the paradigm tables of §5.4 (pp. 184–201), one noun to a declension, and each noun's forms are checked against its table. The annexed endings are the definite ones less the final nuun of the dual and the sound masculine plural (pp. 189, 191, 211), checked against Ryding's examples of annexed nouns.

Ryding hyphenates morph boundaries, but not consistently (al-bayt-u and bayt-u-n beside al-muHaamii, mustashfan), so the forms are her transliterations without the hyphens inside the word, the boundary between stem and ending being given by the stem. The endings of the defectives and the indeclinables are the ones Ryding names, -in (p. 198, fn. 99), -ii, -an and -aa (p. 169, fn. 55); the ending of the invariables is their -aa (p. 169, fn. 55), and the sound feminine plural's ending includes its suffix -aat, on which it is marked for case (p. 191).

Ryding numbers the declensions but gives the two sound plurals different numbers on p. 183 and p. 187, so the declensions go by name here. Her defective declension also takes in diptote plurals such as maqaah-in 'cafés', whose indefinite accusative maqaah-iy-a has no nunation (p. 198); Declension.defective is the declension of the singular muHaam-in. The five nouns of the triptote, ʾab 'father' and the rest, which lengthen the case vowel when annexed (pp. 186–187), are not represented.

References #

The three cases, in the order of the grammars.

  • nom : Case

    The nominative, rafʿ.

  • gen : Case

    The genitive, jarr.

  • acc : Case

    The accusative, naSb.

Instances For
    @[instance_reducible]
    Equations
    @[instance_reducible]
    Equations
    • One or more equations did not get rendered due to their size.
    def Arabic.ModernStandard.instReprCase.repr :
    Case → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For

      The three states of a noun, by how it is marked.

      • definite : State

        With the definite article.

      • construct : State

        Annexed: the first term of a construct, or with a possessive suffix (p. 189).

      • indefinite : State

        With nunation.

      Instances For
        @[instance_reducible]
        Equations
        @[instance_reducible]
        Equations
        • One or more equations did not get rendered due to their size.
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For

          Distinct states have distinct tags.

          def Arabic.ModernStandard.forms (nom gen acc : String) :
          Case → String

          The forms of the three cases, in the order of the grammars.

          Equations
          Instances For
            @[reducible, inline]

            A declension, by its endings: the ending of each case in each state ([Ryd05] p. 182).

            Equations
            Instances For

              The invariable, of nouns that mark neither case nor definiteness (p. 200).

              Equations
              Instances For

                A noun by its stem and its declension.

                • gloss : String

                  The gloss.

                • stem : String

                  The stem, to which the article is prefixed and the ending suffixed.

                • declension : Declension

                  The declension.

                Instances For
                  def Arabic.ModernStandard.Noun.form (n : Noun) (s : State) (c : Case) :
                  String

                  The form of a noun in a state and a case: the article, the stem and the ending of its declension (p. 166).

                  Equations
                  Instances For
                    @[simp]
                    theorem Arabic.ModernStandard.Noun.form_eq_form_iff {n : Noun} {s : State} {c c' : Case} :
                    n.form s c = n.form s c' ↔ n.declension s c = n.declension s c'

                    A noun merges the cases its declension's endings merge.

                    theorem Arabic.ModernStandard.Noun.injective_form_iff {n : Noun} {s : State} :
                    Function.Injective (n.form s) ↔ Function.Injective (n.declension s)

                    The nouns of Ryding's tables #

                    bayt 'house', triptote.

                    Equations
                    Instances For

                      bayt-aani 'two houses', the dual of bayt, its suffix added "on the singular stem" (p. 188).

                      Equations
                      Instances For

                        intixaabaat 'elections', sound feminine plural.

                        Equations
                        Instances For

                          muwaaTin-uuna 'citizens', sound masculine plural.

                          Equations
                          Instances For

                            SaHraaʾ 'desert', diptote.

                            Equations
                            Instances For

                              muHaam-in 'lawyer', defective.

                              Equations
                              Instances For

                                mustashfan 'hospital', indeclinable.

                                Equations
                                Instances For

                                  shakwaa 'complaint', invariable.

                                  Equations
                                  Instances For

                                    Syncretism #

                                    The triptote distinguishes the three cases in every state, "each one differentiating a particular case" (p. 183), and so establishes them for the declensions that merge them.

                                    theorem Arabic.ModernStandard.Declension.twoWay_eq_iff (D : Declension) :
                                    D ∈ [dual, soundFemininePlural, soundMasculinePlural] → ∀ (s : State) (c c' : Case), D s c = D s c' ↔ (c = Case.nom ↔ c' = Case.nom)

                                    The dual and the sound plurals have "a specific nominative inflectional marker" and "merge the genitive and accusative into just one other inflectional marker" (p. 187).

                                    theorem Arabic.ModernStandard.Declension.diptote_eq_iff {s : State} {c c' : Case} :
                                    diptote s c = diptote s c' ↔ c = c' ∨ s = State.indefinite ∧ (c = Case.nom ↔ c' = Case.nom)

                                    The diptote distinguishes the three cases when definite or annexed and, when indefinite, merges the genitive and the accusative (p. 192).

                                    The defective's nominative and genitive "are identical", and its accusative is distinct (p. 197).

                                    theorem Arabic.ModernStandard.Declension.caseless_eq (D : Declension) :
                                    D ∈ [indeclinable, invariable] → ∀ (s : State) (c c' : Case), D s c = D s c'

                                    The indeclinables show "no variation in case" (p. 199), nor do the invariables (p. 200).

                                    The states #

                                    The triptote and the sound feminine plural mark an indefinite by nunation, a final -n after the ending of the definite (p. 166).

                                    The dual, the sound masculine plural and the invariables "do not take nunation when they are indefinite" (p. 164), and their indefinite endings are their definite ones: the dual is "not inflected for definiteness" (p. 188), and the invariables "vary neither in case nor in definiteness" (p. 200).

                                    An annexed noun has "neither the definite article nor nunation" (p. 211): outside the dual and the sound masculine plural, its ending is that of the definite.

                                    The restriction on nunation applies "also to the final nuuns of the dual and the sound masculine plural. These nuuns are deleted on the first term of a construct phrase" (p. 211).