Documentation

Linglib.Fragments.Burmeso.ObjectAgreement

Burmeso object agreement #

The two classes of Burmeso object agreement prefixes over six noun classes in two numbers, after Donohue's description as Ackerman and Malouf tabulate it, as a paradigm system whose cells are the paper's noun class and number columns.

References #

source
inductive Burmeso.ObjectAgreement.Gender :
Type

The six noun classes, I to VI.

Instances For
    source
    @[instance_reducible]
    instance Burmeso.ObjectAgreement.instDecidableEqGender :
    DecidableEq Gender
    Equations
    source
    @[instance_reducible]
    instance Burmeso.ObjectAgreement.instFintypeGender :
    Fintype Gender
    Equations
    • One or more equations did not get rendered due to their size.
    source
    @[instance_reducible]
    instance Burmeso.ObjectAgreement.instReprGender :
    Repr Gender
    Equations
    source
    def Burmeso.ObjectAgreement.instReprGender.repr :
    Gender → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      inductive Burmeso.ObjectAgreement.Row :
      Type

      The cells of the paper's Table A3: a noun class and a number each.

      Instances For
        source
        @[instance_reducible]
        instance Burmeso.ObjectAgreement.instDecidableEqRow :
        DecidableEq Row
        Equations
        source
        @[instance_reducible]
        instance Burmeso.ObjectAgreement.instFintypeRow :
        Fintype Row
        Equations
        • One or more equations did not get rendered due to their size.
        source
        def Burmeso.ObjectAgreement.instReprRow.repr :
        Row → ℕ → Std.Format
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          @[instance_reducible]
          instance Burmeso.ObjectAgreement.instReprRow :
          Repr Row
          Equations
          source
          def Burmeso.ObjectAgreement.Row.gender :
          Row → Gender

          The noun class of a row.

          Equations
          Instances For
            source
            def Burmeso.ObjectAgreement.Row.number :
            Row → Number

            The number of a row.

            Equations
            Instances For
              source
              def Burmeso.ObjectAgreement.objectAgreement :
              Morphology.ParadigmSystem (Fin 2) Row String

              The prefixes of the two classes, rows A and B of the paper's Table A3.

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