Documentation

Linglib.Fragments.Mayan.Qanjobal.Agreement

Q'anjob'al Agreement and Case Fragment #

@cite{imanishi-2020}

Agreement morphology and case assignment for Q'anjob'al (Q'anjob'alan, Mayan), a high absolutive language with aspect-based split ergativity.

The System #

Q'anjob'al has the same Set A / Set B system as other Mayan languages. Morpheme order: Asp-SET_B-SET_A-V (high absolutive order, like Kaqchikel).

Despite sharing high absolutive status with Kaqchikel, Q'anjob'al patterns with Chol on the accusative side because the Restriction on Nominalization (RON) does not hold: the nominalizing head n does not obligatorily select for a vP lacking an external argument.

source
inductive Fragments.Mayan.Qanjobal.ArgPosition :
Type

Argument positions in a Q'anjob'al clause.

Instances For
    source
    instance Fragments.Mayan.Qanjobal.instDecidableEqArgPosition :
    DecidableEq ArgPosition
    Equations
    source
    def Fragments.Mayan.Qanjobal.instBEqArgPosition.beq :
    ArgPosition → ArgPosition → Bool
    Equations
    Instances For
      source
      instance Fragments.Mayan.Qanjobal.instBEqArgPosition :
      BEq ArgPosition
      Equations
      source
      instance Fragments.Mayan.Qanjobal.instReprArgPosition :
      Repr ArgPosition
      Equations
      source
      def Fragments.Mayan.Qanjobal.instReprArgPosition.repr :
      ArgPosition → Nat → Std.Format
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Fragments.Mayan.Qanjobal.ArgPosition.ergCase :
        ArgPosition → Minimalism.CaseVal

        Case assignment in perfective (ergative) clauses. Standard ergative alignment: A = ERG, S = P = ABS.

        Equations
        Instances For
          source
          def Fragments.Mayan.Qanjobal.ArgPosition.accCase :
          ArgPosition → Minimalism.CaseVal

          Case assignment in non-perfective (accusative) clauses. Like Chol, the RON does not hold: the subject may appear inside the nominalized clause and gets GEN from D. The object receives ABS.

          Equations
          Instances For
            source
            def Fragments.Mayan.Qanjobal.argPositions :
            List ArgPosition
            Equations
            Instances For
              source
              theorem Fragments.Mayan.Qanjobal.erg_abs_alignment :
              ArgPosition.agent.ergCase ≠ ArgPosition.patient.ergCase ∧ ArgPosition.patient.ergCase = ArgPosition.intranS.ergCase

              Ergative alignment in perfective.

              source
              theorem Fragments.Mayan.Qanjobal.acc_alignment :
              ArgPosition.agent.accCase = ArgPosition.intranS.accCase ∧ ArgPosition.agent.accCase ≠ ArgPosition.patient.accCase

              Accusative alignment in non-perfective: same as Chol type.

              source
              def Fragments.Mayan.Qanjobal.absPosition :
              ABSPosition

              Q'anjob'al's absolutive morphemes appear in high position (on the aspect marker, pre-stem). Observable from morpheme order: ASP-ABS-ERG-ROOT-SUFFIX.

              Equations
              Instances For