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 #
Arabic.ModernStandard.Case: the three cases, in the order of the grammars.Arabic.ModernStandard.State,article,State.toUD: the three states, the article of each, and their Universal Dependencies tags.Arabic.ModernStandard.Declension: a declension, by its endings, and the eight declensions.Arabic.ModernStandard.Noun,Noun.form: a noun by its stem and declension, and its form in each state and case.Noun.form_eq_form_iff,Noun.injective_form_iff: a noun distinguishes the cases its declension's endings distinguish.Declension.triptote_injective,Declension.twoWay_eq_iff,Declension.diptote_eq_iff,Declension.defective_eq_iff,Declension.caseless_eq: the cases each declension merges.Declension.nunation,Declension.definite_eq_indefinite,Declension.construct_eq_definite,Declension.nuun_deletion: how the endings mark the states.
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 #
Equations
- Arabic.ModernStandard.instDecidableEqCase x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Equations
- Arabic.ModernStandard.instReprCase = { reprPrec := Arabic.ModernStandard.instReprCase.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
The comparative value a case is named for.
Equations
Instances For
Equations
- Arabic.ModernStandard.instDecidableEqState x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Equations
- Arabic.ModernStandard.instReprState = { reprPrec := Arabic.ModernStandard.instReprState.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
The Universal Dependencies tag of a state, Cons, UD's construct state, for an annexed
noun.
Equations
Instances For
Distinct states have distinct tags.
The definite article al-, which a noun takes in the definite state and in no other.
Equations
Instances For
The forms of the three cases, in the order of the grammars.
Equations
- Arabic.ModernStandard.forms nom gen acc Arabic.ModernStandard.Case.nom = nom
- Arabic.ModernStandard.forms nom gen acc Arabic.ModernStandard.Case.gen = gen
- Arabic.ModernStandard.forms nom gen acc Arabic.ModernStandard.Case.acc = acc
Instances For
A declension, by its endings: the ending of each case in each state ([Ryd05] p. 182).
Equations
Instances For
The triptote, with -u, -i and -a, followed by nunation on an indefinite (pp. 183–184).
Equations
- Arabic.ModernStandard.Declension.triptote Arabic.ModernStandard.State.definite = Arabic.ModernStandard.forms "u" "i" "a"
- Arabic.ModernStandard.Declension.triptote Arabic.ModernStandard.State.construct = Arabic.ModernStandard.forms "u" "i" "a"
- Arabic.ModernStandard.Declension.triptote Arabic.ModernStandard.State.indefinite = Arabic.ModernStandard.forms "un" "in" "an"
Instances For
The dual, nominative -aani, genitive and accusative -ayni (p. 188), which lose their -ni when annexed (p. 189).
Equations
- Arabic.ModernStandard.Declension.dual Arabic.ModernStandard.State.definite = Arabic.ModernStandard.forms "aani" "ayni" "ayni"
- Arabic.ModernStandard.Declension.dual Arabic.ModernStandard.State.indefinite = Arabic.ModernStandard.forms "aani" "ayni" "ayni"
- Arabic.ModernStandard.Declension.dual Arabic.ModernStandard.State.construct = Arabic.ModernStandard.forms "aa" "ay" "ay"
Instances For
The sound feminine plural in -aat, with -u and -i but no -a (p. 191).
Equations
- Arabic.ModernStandard.Declension.soundFemininePlural Arabic.ModernStandard.State.definite = Arabic.ModernStandard.forms "aatu" "aati" "aati"
- Arabic.ModernStandard.Declension.soundFemininePlural Arabic.ModernStandard.State.construct = Arabic.ModernStandard.forms "aatu" "aati" "aati"
- Arabic.ModernStandard.Declension.soundFemininePlural Arabic.ModernStandard.State.indefinite = Arabic.ModernStandard.forms "aatun" "aatin" "aatin"
Instances For
The sound masculine plural, nominative -uuna, genitive and accusative -iina (p. 190), which lose their -na when annexed (p. 191).
Equations
- Arabic.ModernStandard.Declension.soundMasculinePlural Arabic.ModernStandard.State.definite = Arabic.ModernStandard.forms "uuna" "iina" "iina"
- Arabic.ModernStandard.Declension.soundMasculinePlural Arabic.ModernStandard.State.indefinite = Arabic.ModernStandard.forms "uuna" "iina" "iina"
- Arabic.ModernStandard.Declension.soundMasculinePlural Arabic.ModernStandard.State.construct = Arabic.ModernStandard.forms "uu" "ii" "ii"
Instances For
The diptote, without nunation and, when indefinite, with -a for the genitive as for the accusative (pp. 192–193).
Equations
- Arabic.ModernStandard.Declension.diptote Arabic.ModernStandard.State.definite = Arabic.ModernStandard.forms "u" "i" "a"
- Arabic.ModernStandard.Declension.diptote Arabic.ModernStandard.State.construct = Arabic.ModernStandard.forms "u" "i" "a"
- Arabic.ModernStandard.Declension.diptote Arabic.ModernStandard.State.indefinite = Arabic.ModernStandard.forms "u" "a" "a"
Instances For
The defective, of words from roots ending in a semivowel, with one ending for the nominative and the genitive (pp. 197–198).
Equations
- Arabic.ModernStandard.Declension.defective Arabic.ModernStandard.State.definite = Arabic.ModernStandard.forms "ii" "ii" "iya"
- Arabic.ModernStandard.Declension.defective Arabic.ModernStandard.State.construct = Arabic.ModernStandard.forms "ii" "ii" "iya"
- Arabic.ModernStandard.Declension.defective Arabic.ModernStandard.State.indefinite = Arabic.ModernStandard.forms "in" "in" "iyan"
Instances For
The indeclinable, of nouns in ʾalif maqSuura, which mark definiteness but not case (p. 199).
Equations
- Arabic.ModernStandard.Declension.indeclinable Arabic.ModernStandard.State.definite = fun (x : Arabic.ModernStandard.Case) => "aa"
- Arabic.ModernStandard.Declension.indeclinable Arabic.ModernStandard.State.construct = fun (x : Arabic.ModernStandard.Case) => "aa"
- Arabic.ModernStandard.Declension.indeclinable Arabic.ModernStandard.State.indefinite = fun (x : Arabic.ModernStandard.Case) => "an"
Instances For
The invariable, of nouns that mark neither case nor definiteness (p. 200).
Equations
- Arabic.ModernStandard.Declension.invariable x✝¹ x✝ = "aa"
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
The form of a noun in a state and a case: the article, the stem and the ending of its declension (p. 166).
Equations
- n.form s c = Arabic.ModernStandard.article s ++ n.stem ++ n.declension s c
Instances For
A noun merges the cases its declension's endings merge.
The nouns of Ryding's tables #
bayt 'house', triptote.
Equations
- Arabic.ModernStandard.bayt = { gloss := "house", stem := "bayt", declension := Arabic.ModernStandard.Declension.triptote }
Instances For
bayt-aani 'two houses', the dual of bayt, its suffix added "on the singular stem" (p. 188).
Equations
- Arabic.ModernStandard.baytaani = { gloss := "two houses", stem := Arabic.ModernStandard.bayt.stem, declension := Arabic.ModernStandard.Declension.dual }
Instances For
intixaabaat 'elections', sound feminine plural.
Equations
- Arabic.ModernStandard.intixaabaat = { gloss := "elections", stem := "intixaab", declension := Arabic.ModernStandard.Declension.soundFemininePlural }
Instances For
muwaaTin-uuna 'citizens', sound masculine plural.
Equations
- Arabic.ModernStandard.muwaatinuuna = { gloss := "citizens", stem := "muwaaTin", declension := Arabic.ModernStandard.Declension.soundMasculinePlural }
Instances For
SaHraaʾ 'desert', diptote.
Equations
- Arabic.ModernStandard.sahraa = { gloss := "desert", stem := "SaHraaʾ", declension := Arabic.ModernStandard.Declension.diptote }
Instances For
muHaam-in 'lawyer', defective.
Equations
- Arabic.ModernStandard.muhaamin = { gloss := "lawyer", stem := "muHaam", declension := Arabic.ModernStandard.Declension.defective }
Instances For
mustashfan 'hospital', indeclinable.
Equations
- Arabic.ModernStandard.mustashfan = { gloss := "hospital", stem := "mustashf", declension := Arabic.ModernStandard.Declension.indeclinable }
Instances For
shakwaa 'complaint', invariable.
Equations
- Arabic.ModernStandard.shakwaa = { gloss := "complaint", stem := "shakw", declension := Arabic.ModernStandard.Declension.invariable }
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.
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).
The diptote distinguishes the three cases when definite or annexed and, when indefinite, merges the genitive and the accusative (p. 192).
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).