Documentation

Linglib.Fragments.Hemba.AuxiliaryVerbs

Hemba Auxiliary Verb Fragment #

@cite{anderson-2006}

Hemba (Bantu, Democratic Republic of Congo) exhibits a split/doubled AVC pattern. In the progressive/past construction, subject agreement is doubled (marked on both auxiliary and lexical verb), while tense appears only on the auxiliary and indicative mood appears only on the lexical verb.

Example #

tw-a-li tu-tib-a muti 1PL-PST-AUX 1PL-cut-FV/IND tree 'we were cutting the tree' (Aksenova 1997: 27)

Distribution #

CategoryAUXLV
Agreement (subject)yesyes
Tenseyesno
Mood (indicative)noyes

This is the canonical split/doubled pattern: agreement is doubled across both elements while tense and mood are split between them.

source
def Fragments.Hemba.AuxiliaryVerbs.form :
String

Hemba progressive/past AVC form.

Equations
Instances For
    source
    def Fragments.Hemba.AuxiliaryVerbs.gloss :
    String

    Interlinear gloss.

    Equations
    Instances For
      source
      def Fragments.Hemba.AuxiliaryVerbs.inflDistribution :
      Core.Morphology.InflDistribution

      Inflectional distribution: agreement doubled, tense on AUX, mood on LV.

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

        Verification #

        source
        theorem Fragments.Hemba.AuxiliaryVerbs.form_nonempty :
        form ≠ ""
        source
        theorem Fragments.Hemba.AuxiliaryVerbs.agreement_doubled :
        inflDistribution.onAux.contains Core.Morphology.MorphCategory.agreement = true ∧ inflDistribution.onLex.contains Core.Morphology.MorphCategory.agreement = true

        Agreement is doubled: it appears on both AUX and LV.

        source
        theorem Fragments.Hemba.AuxiliaryVerbs.tense_on_aux_only :
        inflDistribution.onAux.contains Core.Morphology.MorphCategory.tense = true ∧ inflDistribution.onLex.contains Core.Morphology.MorphCategory.tense = false

        Tense is split to AUX only.

        source
        theorem Fragments.Hemba.AuxiliaryVerbs.mood_on_lex_only :
        inflDistribution.onAux.contains Core.Morphology.MorphCategory.mood = false ∧ inflDistribution.onLex.contains Core.Morphology.MorphCategory.mood = true

        Mood is split to LV only.