Documentation

Studies.Corbett2000

Corbett (2000): Number #

This file formalizes the typology of number of [Cor00]. Number has more shape than the singular and plural of English. A language may express a noun's meaning outside the number system, the general number of Bayso, with a form of its own, or of Japanese, where the general form is the singular's; within the system the values are chosen in order, the determinate dual and trial dividing the plural before the indeterminate paucals and greater plural divide it further, so that the systems from Russian's two values to Lihir's five are the sequences of binary choices, and a facultative value, one whose use is not required, can only be a last choice, every choice after it facultative too. Which nominals distinguish number follows the Animacy Hierarchy, from the speaker through the addressee, the third person, kin and humans to animates and inanimates: the likelihood of number being distinguished never increases rightwards, so that a value's range is a top segment, each further choice has a range no wider than the choice before it, and obligatory marking lies above facultative. Minor numbers, the Hebrew dual or the Avar paucal, escape the hierarchy but only inside systems attested with and without them; associativity is a category of its own; and a second system lower on the hierarchy may conflate values or add a mass number no top system has. Number is expressed by words, syntax, morphology and suppletion, and by three arrangements that add no values outside the typology: inverse marking, minimal-augmented paradigms, and numbers constructed from two coarser markings. In syntax, controller and target numbers may differ in system, in default, or for particular controllers, the corporate nouns of English and the honorific plurals of Slavonic taking semantic agreement in the measure the Agreement Hierarchy and the Predicate Hierarchy allow; conjoined noun phrases take agreement with the nearest conjunct or with all, resolved to the dual for two singulars where there is one and to the plural otherwise, resolution favoured by animacy and precedence. Verbal number, of events or of participants, is a category apart. The book's examples are the rows of Data/Examples/Corbett2000.json.

Implementation notes #

TODO #

References #

Singular, dual and plural.

Equations
Instances For

    Number values and systems (chapter 2) #

    The shape of a system records the choices that fix its values, how many of the determinate values, dual then trial, divide the plural, how many paucals, a paucal then a greater paucal, divide it further, and whether a greater plural does.

    • determinate : Fin 3

      The determinate choices made, in order none, the dual, or the dual and the trial.

    • indeterminate : Fin 3

      The indeterminate choices made, none, a paucal, or a paucal and a greater paucal.

    • greaterPlural : Bool

      Whether the plural is divided by a greater plural.

    Instances For
      def Corbett2000.instDecidableEqShape.decEq (x✝ x✝¹ : Shape) :
      Decidable (x✝ = x✝¹)
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        @[instance_reducible]
        Equations
        def Corbett2000.instReprShape.repr :
        Shape → ℕ → Std.Format
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          @[instance_reducible]
          Equations

          The values of a shape in order, the singular and plural with the choices between.

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

            General number, the meaning outside the number system, is expressed not at all, by a form of its own, as in Bayso, or by the singular's form, as in Japanese. General meaning in the plural's form is found for particular nouns, in Arbore, never as a system.

            Instances For
              @[instance_reducible]
              Equations
              @[instance_reducible]
              Equations
              def Corbett2000.instReprGeneral.repr :
              General → ℕ → Std.Format
              Equations
              Instances For

                A number system is the book's sequence of binary choices, given by its shape, the kind of general number, and how many of the choices, counted from the last, are facultative.

                • determinate : Fin 3
                • general : General

                  The kind of general number.

                • facultative : Fin 6

                  How many of the choices, from the last, are facultative; all of them when the count exceeds them.

                Instances For
                  def Corbett2000.instDecidableEqChoices.decEq (x✝ x✝¹ : Choices) :
                  Decidable (x✝ = x✝¹)
                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    def Corbett2000.instReprChoices.repr :
                    Choices → ℕ → Std.Format
                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      @[instance_reducible]
                      Equations
                      @[instance_reducible]
                      Equations

                      The values the choices carve from the plural, in the order they are made.

                      Equations
                      Instances For

                        The facultative values are the last choices.

                        Equations
                        Instances For

                          The substrate's system.

                          Equations
                          Instances For

                            Facultative choices are the last ones.

                            The trial is chosen only after the dual, so in every system the determinate values are an initial segment and number resolution is the value of the sum of the conjuncts' referents (Number.System.resolve_ofCard).

                            Facultative use works up from the last choice, as the count from the last builds in, so there could not be a language like Longgu with the plural for the dual but not for the paucal.

                            Russian has singular and plural, both obligatory.

                            Equations
                            Instances For

                              English has Russian's system.

                              Equations
                              Instances For

                                Sanskrit has an obligatory dual.

                                Equations
                                Instances For

                                  Upper Sorbian has Sanskrit's system.

                                  Equations
                                  Instances For

                                    Slovene has a facultative dual.

                                    Equations
                                    Instances For

                                      Maŋarayi, and Tuyuca's conflated system, have dual and trial, all obligatory.

                                      Equations
                                      Instances For

                                        Ngan'gityemerri has dual and trial, the trial facultative.

                                        Equations
                                        Instances For

                                          Larike has dual and trial, both facultative.

                                          Equations
                                          Instances For

                                            Yimas has dual and paucal.

                                            Equations
                                            Instances For

                                              Longgu has dual and paucal, both facultative in the subject pronouns.

                                              Equations
                                              Instances For

                                                Walapai has paucal and plural, the system Bayso's nouns oppose to their general number.

                                                Equations
                                                Instances For

                                                  Bayso has Walapai's values with a general number of its own.

                                                  Equations
                                                  Instances For

                                                    Lihir has dual, trial and paucal.

                                                    Equations
                                                    Instances For

                                                      Marshallese has Lihir's system with every choice facultative.

                                                      Equations
                                                      Instances For

                                                        Sursurunga has dual and two paucals; Figure 2.7 misprints the greater paucal as a greater plural, against §2.2.5 and the position of the branch.

                                                        Equations
                                                        Instances For

                                                          Mokilese has dual and a greater plural.

                                                          Equations
                                                          Instances For

                                                            Mele-Fila has dual, paucal and greater plural, constructed from article and pronoun.

                                                            Equations
                                                            Instances For

                                                              Kaytetye has dual and greater plural, the general number sharing the singular's form.

                                                              Equations
                                                              Instances For

                                                                Japanese has general number in the singular's form.

                                                                Equations
                                                                Instances For

                                                                  Hamer has a general form of its own, singular, plural and global plural.

                                                                  Equations
                                                                  Instances For

                                                                    Pirahã has no number at all.

                                                                    Equations
                                                                    Instances For

                                                                      Rembarrnga has minimal, unit augmented and augmented, Table 5.18.

                                                                      Equations
                                                                      Instances For

                                                                        Ilocano has minimal and augmented, Table 5.20.

                                                                        Equations
                                                                        Instances For

                                                                          The Animacy Hierarchy (chapters 3 and 4) #

                                                                          A number value is distinguished at a position of the hierarchy obligatorily, optionally, or not at all, ordered by the likelihood of number being distinguished.

                                                                          Instances For
                                                                            @[instance_reducible]
                                                                            Equations
                                                                            @[instance_reducible]
                                                                            Equations
                                                                            def Corbett2000.instReprMarking.repr :
                                                                            Marking → ℕ → Std.Format
                                                                            Equations
                                                                            • One or more equations did not get rendered due to their size.
                                                                            Instances For

                                                                              The position of a marking in the order of likelihood.

                                                                              Equations
                                                                              Instances For
                                                                                @[instance_reducible]
                                                                                Equations

                                                                                The Animacy Hierarchy of Figure 3.1, speaker > addressee > third person > kin > human > animate > inanimate, with the animate position split into higher and lower animates where Miya splits it (Table 3.6).

                                                                                Instances For
                                                                                  @[instance_reducible]
                                                                                  Equations
                                                                                  Equations
                                                                                  • One or more equations did not get rendered due to their size.
                                                                                  Instances For
                                                                                    @[instance_reducible]
                                                                                    Equations
                                                                                    • One or more equations did not get rendered due to their size.
                                                                                    @[reducible, inline]

                                                                                    The range of a number value gives its marking at each position of the hierarchy.

                                                                                    Equations
                                                                                    Instances For
                                                                                      @[reducible, inline]

                                                                                      By constraint III, the likelihood of number being distinguished never increases rightwards along the hierarchy, downwards in the substrate's order.

                                                                                      Equations
                                                                                      Instances For
                                                                                        theorem Corbett2000.Range.Respects.isUpperSet {r : Range} (h : r.Respects) :
                                                                                        IsUpperSet {p : AnimacyHierarchy | ⊥ < r p}

                                                                                        Constraint I follows, the positions where a value is distinguished forming a top segment.

                                                                                        The range obligatory down to o, optional down to f, excluded below.

                                                                                        Equations
                                                                                        Instances For

                                                                                          Every such range respects the hierarchy.

                                                                                          The ranges of a language's number values, from the plural on through its choices.

                                                                                          • language : String

                                                                                            The language.

                                                                                          • system : Choices

                                                                                            Its system.

                                                                                          • range : Number → Range

                                                                                            The range of each value.

                                                                                          Instances For

                                                                                            By constraints I to III of chapter 4, with III of chapter 3, every range respects the hierarchy, and each choice's range is nowhere wider than the previous choice's, facultative use counting as narrower than obligatory.

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

                                                                                              The plural and the dual over the same nominals, Figure 4.2.

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

                                                                                                The dual in the first person only, Figure 4.3.

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

                                                                                                  Pronouns with three numbers, nine nouns, mainly kin, with two, Figure 4.4.

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

                                                                                                    The paucal on pronouns only, Figure 4.6.

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

                                                                                                      The dual and the paucal for humans and higher animals, Figure 4.7.

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

                                                                                                        The dual obligatory for pronouns and facultative for nouns, Figure 4.8.

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

                                                                                                          The plural obligatory down to humans and optional below.

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

                                                                                                            Pronouns obligatory; the plural suffix optional for humans, and for dogs as a lexical exception the book declines to make a position.

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

                                                                                                              Dual and plural obligatory for humans, optional for animates, seldom for inanimates.

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

                                                                                                                The profiles of chapters 3 and 4.

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

                                                                                                                  A dual wider than the plural is impossible (Figure 4.5).

                                                                                                                  A facultative value is optional somewhere in its range, but optional marking is not thereby facultative, as Slovene's dual against Kannada's plural, general number below humans, shows.

                                                                                                                  Mayali marks number on the verb for humans and uses the minimal form for the rest.

                                                                                                                  Equations
                                                                                                                  Instances For

                                                                                                                    In Miya, Table 3.6, number marking is obligatory for humans and higher animals and optional below.

                                                                                                                    Equations
                                                                                                                    Instances For

                                                                                                                      In Miya, Table 3.6, number agreement is obligatory for humans and higher animals and excluded below.

                                                                                                                      Equations
                                                                                                                      Instances For

                                                                                                                        In Muna plural agreement is obligatory for humans, optional for animates and excluded for inanimates, which may carry a plural marker.

                                                                                                                        Equations
                                                                                                                        Instances For

                                                                                                                          Marking and agreement may split at different points, each in accord with the hierarchy.

                                                                                                                          Minor numbers (§4.2) #

                                                                                                                          def Corbett2000.Dispensable (c : Choices) (minor : List Number) :

                                                                                                                          By constraints VI and VII, a minor number's system and the system without it are both possible systems of values.

                                                                                                                          Equations
                                                                                                                          Instances For
                                                                                                                            @[instance_reducible]
                                                                                                                            instance Corbett2000.instDecidableDispensable (c : Choices) (minor : List Number) :
                                                                                                                            Decidable (Dispensable c minor)
                                                                                                                            Equations

                                                                                                                            The Hebrew and Maltese minor dual, Figure 4.11.

                                                                                                                            The Avar minor paucal, within the system Walapai has at the top.

                                                                                                                            Constraint VII excludes a minor dual beside a major trial.

                                                                                                                            The Hebrew dual, on a few nouns for measures of time and facultative there.

                                                                                                                            Equations
                                                                                                                            Instances For

                                                                                                                              A minor number is not a top segment, constraint V placing it within the plural's range.

                                                                                                                              Top and second systems (§4.5) #

                                                                                                                              A second system operates below the top system on the hierarchy, and is one of chapter 2's systems, general number included, as Yimas's dual–plural nouns, Qafar's, Japanese's, Kaytetye's and Bayso's general number; one conflating every value but the plural, constraint IX, as Pame's and Kala Lagaw Ya's inanimates, Tuyuca's, and Larike's non-humans; or the mass number of the dialects of north-west Spain. Constraint VIII, that conflated systems are second systems, holds by construction.

                                                                                                                              Instances For
                                                                                                                                @[instance_reducible]
                                                                                                                                Equations
                                                                                                                                def Corbett2000.instReprSecond.repr :
                                                                                                                                Second → ℕ → Std.Format
                                                                                                                                Equations
                                                                                                                                Instances For
                                                                                                                                  def Corbett2000.Second.cells :
                                                                                                                                  Second → List (Finset Number)

                                                                                                                                  Each form of a second system covers a set of values, a regular system having its general form, if any, and one form per value, and a conflated system one form for every value but the plural and one for the plural; the mass form has no value in the substrate and is not listed.

                                                                                                                                  Equations
                                                                                                                                  Instances For

                                                                                                                                    Qafar's nouns oppose general number to singular and plural (Figure 4.18).

                                                                                                                                    Tuyuca's inanimates conflate three numbers against the plural, Figure 4.16.

                                                                                                                                    The expression of number (chapter 5) #

                                                                                                                                    The two main classes of noun, Table 5.13.

                                                                                                                                    Instances For
                                                                                                                                      @[instance_reducible]
                                                                                                                                      Equations
                                                                                                                                      def Corbett2000.Kiowa.instReprClass.repr :
                                                                                                                                      Class → ℕ → Std.Format
                                                                                                                                      Equations
                                                                                                                                      • One or more equations did not get rendered due to their size.
                                                                                                                                      Instances For
                                                                                                                                        @[instance_reducible]
                                                                                                                                        Equations
                                                                                                                                        • One or more equations did not get rendered due to their size.

                                                                                                                                        The basic, unmarked numbers of each class are one and two for animates and two and more for inanimates.

                                                                                                                                        Equations
                                                                                                                                        Instances For

                                                                                                                                          The inverse suffix marks the number outside the basic ones.

                                                                                                                                          Equations
                                                                                                                                          Instances For
                                                                                                                                            @[instance_reducible]
                                                                                                                                            instance Corbett2000.Kiowa.instDecidableInverse (k : Class) (n : Number) :
                                                                                                                                            Decidable (Inverse k n)
                                                                                                                                            Equations

                                                                                                                                            The verb's object marking, (21) to (23), distinguishes the singular, the dual, and the inverse for the plural.

                                                                                                                                            Instances For
                                                                                                                                              @[instance_reducible]
                                                                                                                                              Equations
                                                                                                                                              Equations
                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                              Instances For
                                                                                                                                                @[instance_reducible]
                                                                                                                                                Equations
                                                                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                                                                theorem Corbett2000.Kiowa.noun_conflates_verb_not :
                                                                                                                                                ¬(List.map (fun (n : Number) => decide (Inverse Class.animate n)) sgDuPl).Nodup ∧ ¬(List.map (fun (n : Number) => decide (Inverse Class.inanimate n)) sgDuPl).Nodup ∧ (List.map verbObject sgDuPl).Nodup

                                                                                                                                                The noun conflates singular with dual for animates and dual with plural for inanimates, while the verb keeps the three apart, so a noun may show a system the verb never does.

                                                                                                                                                In Table 5.15 the Teop articles of the a- and o-classes are polar, like the Somali article of Table 5.16. The e-class breaks the polarity, and the three classes take different articles.

                                                                                                                                                The persons of the pronoun, the inclusive counted as one.

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

                                                                                                                                                    The logical minimum of referents is two for the inclusive and one otherwise.

                                                                                                                                                    Equations
                                                                                                                                                    Instances For

                                                                                                                                                      In the minimal-augmented analysis of Table 5.18, the form for at least the minimum of referents counts those beyond it.

                                                                                                                                                      Equations
                                                                                                                                                      Instances For

                                                                                                                                                        -bbarrah marks one more than the minimum, three referents for the inclusive and two for the other persons, which the traditional labels split between trial and dual.

                                                                                                                                                        The pronoun sets the singular against dual and plural, (40) to (42).

                                                                                                                                                        Equations
                                                                                                                                                        Instances For

                                                                                                                                                          The verb sets singular and dual against the plural.

                                                                                                                                                          Equations
                                                                                                                                                          Instances For
                                                                                                                                                            theorem Corbett2000.Hopi.constructed :
                                                                                                                                                            ¬(List.map pronounPlural sgDuPl).Nodup ∧ ¬(List.map verbPlural sgDuPl).Nodup ∧ (List.map (fun (n : Number) => (pronounPlural n, verbPlural n)) sgDuPl).Nodup

                                                                                                                                                            Neither marking distinguishes the three numbers; together they construct the dual.

                                                                                                                                                            Whether a noun distinguishes number semantically, syntactically by agreement, and morphologically, Table 5.21.

                                                                                                                                                            • semantic : Bool

                                                                                                                                                              Individuals against collections of them.

                                                                                                                                                            • syntactic : Bool

                                                                                                                                                              Distinct agreements.

                                                                                                                                                            • morphological : Bool

                                                                                                                                                              Distinct forms.

                                                                                                                                                            Instances For
                                                                                                                                                              def Corbett2000.instDecidableEqDifferentiability.decEq (x✝ x✝¹ : Differentiability) :
                                                                                                                                                              Decidable (x✝ = x✝¹)
                                                                                                                                                              Equations
                                                                                                                                                              • One or more equations did not get rendered due to their size.
                                                                                                                                                              Instances For
                                                                                                                                                                Equations
                                                                                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                                                                                Instances For
                                                                                                                                                                  @[instance_reducible]
                                                                                                                                                                  Equations
                                                                                                                                                                  @[reducible, inline]

                                                                                                                                                                  Morphological differentiation entails syntactic, and syntactic semantic.

                                                                                                                                                                  Equations
                                                                                                                                                                  Instances For

                                                                                                                                                                    dog is differentiated in every way.

                                                                                                                                                                    Equations
                                                                                                                                                                    Instances For

                                                                                                                                                                      sheep has no distinct forms.

                                                                                                                                                                      Equations
                                                                                                                                                                      Instances For

                                                                                                                                                                        scissors is countable, with one form and one agreement.

                                                                                                                                                                        Equations
                                                                                                                                                                        Instances For

                                                                                                                                                                          friendliness is off the scale.

                                                                                                                                                                          Equations
                                                                                                                                                                          Instances For

                                                                                                                                                                            The four types of the table are the only ones.

                                                                                                                                                                            The syntax of number (chapter 6) #

                                                                                                                                                                            theorem Corbett2000.bayso_pronounConcord_surjective :
                                                                                                                                                                            Function.Surjective (Function.uncurry Bayso.Gender.pronounConcord)

                                                                                                                                                                            The three Bayso concords of Table 6.5 are the pronouns', masculine, feminine and plural.

                                                                                                                                                                            theorem Corbett2000.bayso_concord_not_injective :
                                                                                                                                                                            ¬Function.Injective (Function.uncurry Bayso.Gender.concord)

                                                                                                                                                                            Four controller numbers and two genders fall together on the three concords.

                                                                                                                                                                            The Agreement Hierarchy (§6.2) #

                                                                                                                                                                            Nixon's corpus gives the percentage of plural agreement with corporate nouns by target, the pronouns pooling the possessive with the personal.

                                                                                                                                                                            Equations
                                                                                                                                                                            Instances For

                                                                                                                                                                              The plural is likelier in the pronoun than in the predicate, as the hierarchy predicts.

                                                                                                                                                                              The varieties of English.

                                                                                                                                                                              Instances For
                                                                                                                                                                                @[instance_reducible]
                                                                                                                                                                                Equations
                                                                                                                                                                                def Corbett2000.instReprVariety.repr :
                                                                                                                                                                                Variety → ℕ → Std.Format
                                                                                                                                                                                Equations
                                                                                                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                                                                                                Instances For
                                                                                                                                                                                  @[instance_reducible]
                                                                                                                                                                                  Equations

                                                                                                                                                                                  Table 6.10 gives the percentage of respondents accepting the audience were enjoying.

                                                                                                                                                                                  Equations
                                                                                                                                                                                  Instances For

                                                                                                                                                                                    Few speakers of American English concur, most British and New Zealand ones do.

                                                                                                                                                                                    The Predicate Hierarchy (§6.4) #

                                                                                                                                                                                    The sub-positions of the predicate are, by the likelihood of semantic agreement, the finite verb, the participle, the adjective and the noun.

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

                                                                                                                                                                                        Agreement with the honorific plural vy in a Slavonic language (Table 6.11) records the availability of singular, semantic, agreement at each sub-position.

                                                                                                                                                                                        Instances For
                                                                                                                                                                                          def Corbett2000.Honorific.ofRow (language : String) (v p a n : Agreement.Availability) :

                                                                                                                                                                                          A row of the table gives the language and its four sub-positions.

                                                                                                                                                                                          Equations
                                                                                                                                                                                          • One or more equations did not get rendered due to their size.
                                                                                                                                                                                          Instances For
                                                                                                                                                                                            @[reducible, inline]

                                                                                                                                                                                            By the Predicate Hierarchy, the likelihood of semantic agreement never decreases from the verb to the noun.

                                                                                                                                                                                            Equations
                                                                                                                                                                                            Instances For

                                                                                                                                                                                              In Macedonian, (28) to (30), the verb and participle are plural, the adjective singular for preference and the noun singular.

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

                                                                                                                                                                                                The rows of Table 6.11, the Russian adjective split into its short and long forms; the table prints Slovene's adjective as pl(SG) for pl/(SG).

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

                                                                                                                                                                                                  Conjoined noun phrases (§6.5) #

                                                                                                                                                                                                  Agreement with conjoined noun phrases is with the nearest conjunct, with the first when it is not the nearest, rarely, or with all conjuncts by resolution, and never with the last, most distant, conjunct.

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

                                                                                                                                                                                                      The number resolution rules give the dual for exactly two singular conjuncts where the system has a dual and the plural in all other cases.

                                                                                                                                                                                                      Equations
                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                        The rule is the substrate's resolution, the value of the sum of the conjuncts' referents, in Slovene as in English.

                                                                                                                                                                                                        Resolved forms increase monotonically along the Agreement Hierarchy.

                                                                                                                                                                                                        A row of Table 6.13 gives the percentage of plural predicates with conjoined subjects by the animacy of the conjuncts and their position relative to the predicate.

                                                                                                                                                                                                        • language : String

                                                                                                                                                                                                          The language.

                                                                                                                                                                                                        • animateBefore : ℕ

                                                                                                                                                                                                          Animate conjuncts before the predicate.

                                                                                                                                                                                                        • inanimateBefore : ℕ

                                                                                                                                                                                                          Inanimate conjuncts before the predicate.

                                                                                                                                                                                                        • animateAfter : ℕ

                                                                                                                                                                                                          Animate conjuncts after the predicate.

                                                                                                                                                                                                        • inanimateAfter : ℕ

                                                                                                                                                                                                          Inanimate conjuncts after the predicate.

                                                                                                                                                                                                        Instances For
                                                                                                                                                                                                          def Corbett2000.instDecidableEqResolution.decEq (x✝ x✝¹ : Resolution) :
                                                                                                                                                                                                          Decidable (x✝ = x✝¹)
                                                                                                                                                                                                          Equations
                                                                                                                                                                                                          • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                          Instances For
                                                                                                                                                                                                            Equations
                                                                                                                                                                                                            • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                            Instances For

                                                                                                                                                                                                              Medieval Spanish, Table 6.13.

                                                                                                                                                                                                              Equations
                                                                                                                                                                                                              Instances For

                                                                                                                                                                                                                German, Table 6.13.

                                                                                                                                                                                                                Equations
                                                                                                                                                                                                                Instances For

                                                                                                                                                                                                                  Russian, Table 6.13.

                                                                                                                                                                                                                  Equations
                                                                                                                                                                                                                  Instances For

                                                                                                                                                                                                                    Serbo-Croat, Table 6.13.

                                                                                                                                                                                                                    Equations
                                                                                                                                                                                                                    Instances For

                                                                                                                                                                                                                      Animacy and precedence each favour resolution, in every language of the table.

                                                                                                                                                                                                                      The book's examples #

                                                                                                                                                                                                                      def Corbett2000.numberNames :
                                                                                                                                                                                                                      List (String × Number)

                                                                                                                                                                                                                      The controller numbers by name.

                                                                                                                                                                                                                      Equations
                                                                                                                                                                                                                      Instances For

                                                                                                                                                                                                                        The positions of the hierarchy by name.

                                                                                                                                                                                                                        Equations
                                                                                                                                                                                                                        • One or more equations did not get rendered due to their size.
                                                                                                                                                                                                                        Instances For
                                                                                                                                                                                                                          def Corbett2000.markingNames :
                                                                                                                                                                                                                          List (String × Marking)

                                                                                                                                                                                                                          The markings by name.

                                                                                                                                                                                                                          Equations
                                                                                                                                                                                                                          Instances For
                                                                                                                                                                                                                            theorem Corbett2000.miya_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "miya1266" → ∀ p ∈ row.parse? "position" rankNames, (∀ m ∈ row.parse? "marking" markingNames, m = miyaMarking p) ∧ ∀ a ∈ row.parse? "agreement" markingNames, a = miyaAgreement p

                                                                                                                                                                                                                            In Miya, (24) to (28), marking and agreement at each position are Table 3.6's.

                                                                                                                                                                                                                            theorem Corbett2000.agreement_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → ∀ p ∈ row.parse? "position" rankNames, ∀ a ∈ row.parse? "agreement" markingNames, (row.language = "muna1247" → a = munaAgreement p) ∧ (row.language = "gunw1252" → a = mayaliAgreement p)

                                                                                                                                                                                                                            In Muna, (21) to (23), and Mayali, (5) and (6), each position's agreement is the one the language's profile gives.

                                                                                                                                                                                                                            theorem Corbett2000.slave_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "slav1253" → ∀ p ∈ row.parse? "position" rankNames, ∀ m ∈ row.parse? "marking" markingNames, m = slave.range Number.plural p ∨ p = AnimacyHierarchy.higherAnimate

                                                                                                                                                                                                                            In Slave, (2) to (4), the plural suffix is optional, for dogs as a lexical exception.

                                                                                                                                                                                                                            theorem Corbett2000.hebrew_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "hebr1245" → ∀ c ∈ row.parse? "controller" numberNames, ∀ t ∈ row.parse? "target" numberNames, { }.toSystem.coarsen c = t

                                                                                                                                                                                                                            In Hebrew, (1) to (3) of chapter 4, the verb's number is the value its singular–plural system gives the controller's referent.

                                                                                                                                                                                                                            theorem Corbett2000.default_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → ∀ d ∈ row.parse? "default" numberNames, (row.language = "stan1293" → d = Number.singular) ∧ (row.language = "kiow1266" → d = Number.plural)

                                                                                                                                                                                                                            The default number, where the controller has none, is the singular in language after language, English included, while Godié and Kiowa use the plural, (12) and (14) of chapter 6.

                                                                                                                                                                                                                            theorem Corbett2000.bayso_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "bais1246" → ∀ n ∈ row.parse? "noun" (List.map (fun (n : Bayso.Noun) => (n.form, n)) Bayso.allNouns), ∀ v ∈ row.parse? "number" [("general", Bayso.Value.general), ("singular", Bayso.Value.singular), ("paucal", Bayso.Value.paucal), ("plural", Bayso.Value.plural)], (∀ f ∈ row.feature? "form", f = n.formAt v) ∧ ∀ c ∈ row.parse? "concord" [("masc", Bayso.Concord.masc), ("fem", Bayso.Concord.fem), ("plural", Bayso.Concord.plural)], c = n.gender.concord v

                                                                                                                                                                                                                            In Bayso, (1) to (4) of chapter 2 and (4) to (11) of chapter 6, the noun's form in each number and the concord it takes are the fragment's.

                                                                                                                                                                                                                            theorem Corbett2000.slovene_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "slov1268" → ∀ cs ∈ row.parse? "conjuncts" [("sg+sg", [Number.singular, Number.singular]), ("du+sg", [Number.dual, Number.singular]), ("sg+sg+sg", [Number.singular, Number.singular, Number.singular])], ∀ r ∈ row.parse? "resolved" numberNames, r = resolveNumber slovene cs

                                                                                                                                                                                                                            In Slovene, (34) to (37), the predicate's number is the resolution of the conjuncts'.

                                                                                                                                                                                                                            theorem Corbett2000.macedonian_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "mace1250" → ∀ t ∈ row.parse? "target" [("verb", PredicateTarget.verb), ("participle", PredicateTarget.participle), ("adjective", PredicateTarget.adjective), ("noun", PredicateTarget.noun)], ∀ k ∈ row.parse? "agreement" [("plural", Agreement.Kind.syntactic), ("singular", Agreement.Kind.semantic)], row.judgment = Judgment.acceptable ↔ (macedonian.profile t).Allows k

                                                                                                                                                                                                                            In Macedonian, (28) to (30), each sub-position's agreement is one its availability allows; the book prints no starred form, so the rows are all acceptable.

                                                                                                                                                                                                                            theorem Corbett2000.committee_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "stan1293" → ∀ t ∈ row.parse? "target" Corbett1991.positionNames, ∀ k ∈ row.parse? "agreement" Corbett1991.kindNames, ∀ a ∈ britishCommittee t, row.judgment = Judgment.acceptable ↔ a.Allows k

                                                                                                                                                                                                                            British committee, (19) to (22), takes the agreement each target allows.

                                                                                                                                                                                                                            theorem Corbett2000.hopi_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "hopi1249" → ∀ p ∈ row.parse? "pronoun" [("sg", false), ("pl", true)], ∀ v ∈ row.parse? "verb" [("sg", false), ("pl", true)], ∀ n ∈ row.parse? "number" numberNames, Hopi.pronounPlural n = p ∧ Hopi.verbPlural n = v

                                                                                                                                                                                                                            In Hopi, (40) to (42), the number is read off the pronoun's and the verb's marking.

                                                                                                                                                                                                                            theorem Corbett2000.kiowa_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "kiow1266" → ∀ k ∈ row.parse? "class" [("animate", Kiowa.Class.animate), ("inanimate", Kiowa.Class.inanimate)], ∀ n ∈ row.parse? "number" numberNames, ∀ i ∈ row.parse? "inverse" [("yes", true), ("no", false)], i = true ↔ Kiowa.Inverse k n

                                                                                                                                                                                                                            In Kiowa, (21) to (23), the inverse suffix appears off the class's basic numbers.

                                                                                                                                                                                                                            theorem Corbett2000.hungarian_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "hung1274" → ∀ an ∈ row.parse? "animate" [("yes", true), ("no", false)], ∀ r ∈ row.parse? "agreement" numberNames, row.judgment = Judgment.acceptable ↔ r = Number.singular ∨ an = true

                                                                                                                                                                                                                            In Hungarian, (40) and (41), plural resolution occurs only with animate conjuncts.

                                                                                                                                                                                                                            theorem Corbett2000.moroccan_rows (row : Datum) :
                                                                                                                                                                                                                            row ∈ Examples.all → row.language = "moro1292" → ∀ vf ∈ row.parse? "verbFirst" [("yes", true), ("no", false)], ∀ a ∈ row.parse? "conjunctAgreement" [("nearest", ConjunctAgreement.nearest), ("all", ConjunctAgreement.all)], row.judgment = Judgment.acceptable ↔ a = ConjunctAgreement.all ∨ vf = true

                                                                                                                                                                                                                            In Moroccan Arabic, (42) to (44), agreement is with the nearer conjunct only when the verb precedes.