Hausa determiner inventory

Textbook-consensus types for the Hausa (Chadic, ISO ha) determiner system, with no analytical denotations. Hausa has two definite articles: the weak suffix -n (-r̃ after feminine nouns), used for uniquely identifiable referents including inferable first mentions, and the strong ɗîn, used for referents already in the discourse. The two-article classification is tentative, since bare nominals can also be definite and consonant-final loanwords take ɗîn for both uses. Covarying (donkey) uses are unreported for both articles. Indefinites are bare or take the wani-series; the two universal quantifiers are the kō-wh paradigm and DUK. Paper-specific denotations (Q_∀ + ONE decomposition, choice-function vs. ∃-quantifier analysis of wani, etc.) live in Studies files that consume these entries.

Main declarations

• Hausa.Determiners.inventory — the declared inventory, deriving the .bipartite Moroney cell.
• Hausa.Determiners.UniversalQuantifier — the two morphologically distinct Hausa universal quantifiers.
• Hausa.Determiners.Indefinite — bare vs. wani-series.

Implementation notes

The kō-wh universal is morphologically productive — kō + any of the wh-determiners from the wa- paradigm ([New00] §21 Table 2, [Jag01] §9.5.1 Table 24). The UniversalQuantifier.kowWh constructor abstracts over this productivity rather than enumerating each surface form.

References

• [Sch13], §4.2.2
• [Bub97]
• [Jag01], §9.5, §12.3
• [New00], §17.5, §20, §21

def Hausa.Determiners.inventory : Determiner.Inventory

The Hausa determiners are the weak definite -n, the strong definite ɗîn, and the marked indefinite wani (feminine wata, plural wasu).

Equations

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

theorem Hausa.Determiners.marking : inventory.markingStrategy = Semantics.Definiteness.DefMarkingStrategy.bipartite

Hausa derives the .bipartite Moroney cell.

inductive Hausa.Determiners.UniversalQuantifier : Type

The two morphologically distinct Hausa adnominal universal quantifiers ([New00] §17.5; [Jag01] §9.5).

• kowWh : UniversalQuantifier

  kō-+wh productive paradigm: kōwā 'everyone', kōmē 'everything', kōwānè / kōwàcè / kōwàdànnè 'every X (m./f./pl.)', kō'inā 'everywhere', kōyàushē 'always'. Singulative- distributive: quantifies the individual members of the NP set unit-by-unit ([Jag01] §9.5.1 p.370).

• duk : UniversalQuantifier

  DUK 'all', allomorphs duk and dukà. Collective "single set" scope; does not inflect for gender or number; can quantify SG count, PL count, or mass NPs ([Jag01] §9.5.4 p.376).

@[instance_reducible]

instance Hausa.Determiners.instDecidableEqUniversalQuantifier : DecidableEq UniversalQuantifier

Equations

• Hausa.Determiners.instDecidableEqUniversalQuantifier x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Hausa.Determiners.instReprUniversalQuantifier.repr : UniversalQuantifier → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Hausa.Determiners.instReprUniversalQuantifier : Repr UniversalQuantifier

Equations

• Hausa.Determiners.instReprUniversalQuantifier = { reprPrec := Hausa.Determiners.instReprUniversalQuantifier.repr }

inductive Hausa.Determiners.Indefinite : Type

The two Hausa adnominal indefinite strategies ([Jag01] §12.3).

• bare : Indefinite

  Bare NP indefinite.

• wani : Indefinite

  wani (m.) / wata (f.) / wa(dan)su (pl.), the marked indefinite determiner from the wa-paradigm ([New00] §21.1 row 8).

@[instance_reducible]

instance Hausa.Determiners.instDecidableEqIndefinite : DecidableEq Indefinite

Equations

• Hausa.Determiners.instDecidableEqIndefinite x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Hausa.Determiners.instReprIndefinite : Repr Indefinite

Equations

• Hausa.Determiners.instReprIndefinite = { reprPrec := Hausa.Determiners.instReprIndefinite.repr }

def Hausa.Determiners.instReprIndefinite.repr : Indefinite → ℕ → Std.Format

Equations

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