Documentation

Linglib.Fragments.Jarawara.PossessedNouns

Jarawara possessed nouns #

This file records the genders of Jarawara (Arawan, Brazil), its possessors, and its possessed nouns, after Dixon.

Jarawara has two genders, masculine and feminine, the feminine being unmarked. About 175 nouns, among them body parts, parts of wholes and places, are possessed by placing the possessor directly before them. Many of them have two forms, which Dixon calls the f form and the m form: the m form goes with a first or second person possessor and with a masculine singular one, and the f form with a feminine singular possessor and with a third person nonsingular one. The first and second person singular possessors are prefixes, the other pronouns separate words, and a third person singular pronoun is unpronounced. A possessed noun used without a possessor is feminine, with the one exception of atiwa 'thorn'.

Implementation notes #

References #

source
inductive Jarawara.Gender :
Type

The two genders.

Instances For
    source
    @[instance_reducible]
    instance Jarawara.instDecidableEqGender :
    DecidableEq Gender
    Equations
    source
    @[instance_reducible]
    instance Jarawara.instReprGender :
    Repr Gender
    Equations
    source
    def Jarawara.instReprGender.repr :
    Gender → ℕ → Std.Format
    Equations
    Instances For
      source
      @[instance_reducible]
      instance Jarawara.instFintypeGender :
      Fintype Gender
      Equations
      source
      inductive Jarawara.Possessor :
      Type

      The possessors that a possessed noun's form distinguishes.

      Instances For
        source
        def Jarawara.instDecidableEqPossessor.decEq (x✝ x✝¹ : Possessor) :
        Decidable (x✝ = x✝¹)
        Equations
        Instances For
          source
          @[instance_reducible]
          instance Jarawara.instDecidableEqPossessor :
          DecidableEq Possessor
          Equations
          source
          def Jarawara.instReprPossessor.repr :
          Possessor → ℕ → Std.Format
          Equations
          Instances For
            source
            @[instance_reducible]
            instance Jarawara.instReprPossessor :
            Repr Possessor
            Equations
            source
            @[instance_reducible]
            instance Jarawara.instFintypePossessor :
            Fintype Possessor
            Equations
            source
            def Jarawara.Possessor.pronoun :
            Possessor → Option String

            The pronoun of a possessor, none for the third person singular.

            Equations
            Instances For
              source
              def Jarawara.Possessor.IsPrefix :
              Possessor → Prop

              The first and second person singular pronouns are prefixes on the possessed noun.

              Equations
              Instances For
                source
                @[instance_reducible]
                instance Jarawara.instDecidablePredPossessorIsPrefix :
                DecidablePred Possessor.IsPrefix
                Equations
                • One or more equations did not get rendered due to their size.
                source
                def Jarawara.Possessor.formGender :
                Possessor → Gender

                The gender of the form a possessor takes, masculine for first and second person and masculine singular possessors and feminine for feminine singular and third person nonsingular ones.

                Equations
                Instances For
                  source
                  structure Jarawara.PossessedNoun :
                  Type

                  A possessed noun with its f and m forms, and the free noun it is used as, if any.

                  • fForm : String

                    The f form.

                  • mForm : String

                    The m form.

                  • gloss : String

                    The gloss.

                  • free : Option (GenderedNoun Gender)

                    The noun used without a possessor.

                  Instances For
                    source
                    @[instance_reducible]
                    instance Jarawara.instDecidableEqPossessedNoun :
                    DecidableEq PossessedNoun
                    Equations
                    source
                    def Jarawara.instDecidableEqPossessedNoun.decEq (x✝ x✝¹ : PossessedNoun) :
                    Decidable (x✝ = x✝¹)
                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      source
                      @[instance_reducible]
                      instance Jarawara.instReprPossessedNoun :
                      Repr PossessedNoun
                      Equations
                      source
                      def Jarawara.instReprPossessedNoun.repr :
                      PossessedNoun → ℕ → Std.Format
                      Equations
                      • One or more equations did not get rendered due to their size.
                      Instances For
                        source
                        def Jarawara.PossessedNoun.form (n : PossessedNoun) (p : Possessor) :
                        String

                        The form of a possessed noun with a possessor.

                        Equations
                        Instances For

                          Possessed nouns #

                          source
                          def Jarawara.mano :
                          PossessedNoun

                          mani/mano 'arm'.

                          Equations
                          Instances For
                            source
                            def Jarawara.bako :
                            PossessedNoun

                            baki/bako 'underside, inside surface'.

                            Equations
                            • Jarawara.bako = { fForm := "baki", mForm := "bako", gloss := "underside, inside surface" }
                            Instances For
                              source
                              def Jarawara.maho :
                              PossessedNoun

                              mahi/maho 'smell'.

                              Equations
                              Instances For
                                source
                                def Jarawara.tati :
                                PossessedNoun

                                tati 'head', which has one form.

                                Equations
                                Instances For
                                  source
                                  def Jarawara.hawi :
                                  PossessedNoun

                                  hawi/hawine 'path', used freely as hawi 'path'.

                                  Equations
                                  Instances For
                                    source
                                    def Jarawara.ame :
                                    PossessedNoun

                                    ame/emene 'blood', used freely as ama 'blood'.

                                    Equations
                                    Instances For
                                      source
                                      def Jarawara.fehe :
                                      PossessedNoun

                                      fehe/fehene 'liquid, juice, sap, water', used freely as faha 'water'.

                                      Equations
                                      Instances For
                                        source
                                        def Jarawara.atine :
                                        PossessedNoun

                                        atine 'thorn', used freely as the masculine atiwa 'thorn'.

                                        Equations
                                        Instances For
                                          source
                                          def Jarawara.possessedNouns :
                                          List PossessedNoun

                                          The possessed nouns.

                                          Equations
                                          Instances For