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 #
- A system is the book's sequence of binary choices: a shape, how many determinate and how many indeterminate choices are made and whether a greater plural is, with the kind of general number and how many final choices are facultative. The substrate's system, its values and its facultative values, is derived from the choices, and in every system the determinate values are an initial segment, by enumeration of the finite type of shapes.
- A range is a function from the positions of the Animacy Hierarchy, with the animate position split as Miya needs, to a three-way marking; constraint III of chapter 3 is monotonicity, the top-segment constraint I a theorem of it, and constraints I–III of chapter 4 are read as a pointwise order between successive choices, which is stronger than their letter. The optional marking of chapter 3, Kannada's or Comanche's, is the general number of a second system in chapter 4, not a facultative value: the profiles carry chapter 3's presentation, the second systems chapter 4's.
- Corporate nouns and the honorific plurals reuse the hybrid profiles and availabilities of Corbett's typology of gender; the Predicate Hierarchy is a linear order on the predicate's four sub-positions, and the rows of Table 6.11 are profiles over it.
- Number resolution is the book's rule and is shown to be the substrate's resolution, the value of the sum of the conjuncts' referents; the corpus tables are typed here, in percentages, with the book's readings of them as theorems.
- Second systems and constructed numbers are represented by what their forms cover; the data of Kiowa, Hopi, Rembarrnga and the Slavonic honorifics live here for want of fragments.
TODO #
- Japanese's table of plural marking by referent and noun-phrase type, the count and mass effects of §3.6 and §3.7, distributives and collectives, agreement with quantified expressions, the special uses of chapter 7 and verbal number are prose only.
- Constraint IV, the relative size of a minor number, Table 5.22's defectives, the mass form of the dialects of north-west Spain, which has no value in the substrate, and the irregular plurals of Bayso are not modelled.
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
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Corbett2000.instReprShape = { reprPrec := Corbett2000.instReprShape.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Corbett2000.instFintypeShape = Fintype.ofEquiv ((_ : Fin 3) × (_ : Fin 3) × Bool) Corbett2000.Shape.proxyTypeEquiv
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
Equations
- Corbett2000.instDecidableEqGeneral x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Corbett2000.instReprGeneral = { reprPrec := Corbett2000.instReprGeneral.repr }
Equations
- One or more equations did not get rendered due to their size.
- Corbett2000.instReprGeneral.repr Corbett2000.General.none prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Corbett2000.General.none")).group prec✝
Instances For
Equations
- Corbett2000.instFintypeGeneral = { elems := { val := ↑Corbett2000.General.enumList, nodup := Corbett2000.General.enumList_nodup }, complete := Corbett2000.instFintypeGeneral._proof_1 }
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
- indeterminate : Fin 3
- greaterPlural : Bool
- 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
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
Equations
- Corbett2000.instReprChoices = { reprPrec := Corbett2000.instReprChoices.repr }
Equations
- Corbett2000.instFintypeChoices = Fintype.ofEquiv ((_ : Corbett2000.Shape) × (_ : Corbett2000.General) × Fin 6) Corbett2000.Choices.proxyTypeEquiv
The values the choices carve from the plural, in the order they are made.
Equations
- c.divisions = List.filter (fun (v : Number) => decide (v ≠ Number.singular ∧ v ≠ Number.plural)) c.values
Instances For
The facultative values are the last choices.
Equations
- c.facultativeValues = List.drop (c.divisions.length - ↑c.facultative) c.divisions
Instances For
The substrate's system.
Equations
- c.toSystem = { values := c.values.toFinset, hasGeneral := decide (c.general ≠ Corbett2000.General.none), facultative := c.facultativeValues.toFinset }
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
Upper Sorbian has Sanskrit's system.
Equations
Instances For
Slovene has a facultative dual.
Equations
- Corbett2000.slovene = { determinate := 1, facultative := 1 }
Instances For
Maŋarayi, and Tuyuca's conflated system, have dual and trial, all obligatory.
Equations
- Corbett2000.dualTrial = { determinate := 2 }
Instances For
Ngan'gityemerri has dual and trial, the trial facultative.
Equations
- Corbett2000.ngangityemerri = { determinate := 2, facultative := 1 }
Instances For
Larike has dual and trial, both facultative.
Equations
- Corbett2000.larike = { determinate := 2, facultative := 2 }
Instances For
Yimas has dual and paucal.
Equations
- Corbett2000.yimas = { determinate := 1, indeterminate := 1 }
Instances For
Longgu has dual and paucal, both facultative in the subject pronouns.
Equations
- Corbett2000.longgu = { determinate := 1, indeterminate := 1, facultative := 2 }
Instances For
Walapai has paucal and plural, the system Bayso's nouns oppose to their general number.
Equations
- Corbett2000.walapai = { indeterminate := 1 }
Instances For
Bayso has Walapai's values with a general number of its own.
Equations
- Corbett2000.bayso = { toShape := Corbett2000.walapai.toShape, general := Corbett2000.General.separate, facultative := Corbett2000.walapai.facultative }
Instances For
Lihir has dual, trial and paucal.
Equations
- Corbett2000.lihir = { determinate := 2, indeterminate := 1 }
Instances For
Marshallese has Lihir's system with every choice facultative.
Equations
- Corbett2000.marshallese = { determinate := 2, indeterminate := 1, facultative := 3 }
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
- Corbett2000.sursurunga = { determinate := 1, indeterminate := 2 }
Instances For
Mokilese has dual and a greater plural.
Equations
- Corbett2000.mokilese = { determinate := 1, greaterPlural := true }
Instances For
Mele-Fila has dual, paucal and greater plural, constructed from article and pronoun.
Equations
- Corbett2000.meleFila = { determinate := 1, indeterminate := 1, greaterPlural := true }
Instances For
Kaytetye has dual and greater plural, the general number sharing the singular's form.
Equations
- Corbett2000.kaytetye = { determinate := 1, greaterPlural := true, general := Corbett2000.General.withSingular }
Instances For
Japanese has general number in the singular's form.
Equations
- Corbett2000.japanese = { general := Corbett2000.General.withSingular }
Instances For
Hamer has a general form of its own, singular, plural and global plural.
Equations
- Corbett2000.hamer = { greaterPlural := true, general := Corbett2000.General.separate }
Instances For
Rembarrnga has minimal, unit augmented and augmented, Table 5.18.
Equations
- Corbett2000.rembarrnga = { values := {Number.minimal, Number.unitAugmented, Number.augmented} }
Instances For
Ilocano has minimal and augmented, Table 5.20.
Equations
- Corbett2000.ilocano = { values := {Number.minimal, Number.augmented} }
Instances For
The Animacy Hierarchy (chapters 3 and 4) #
Equations
- Corbett2000.instDecidableEqMarking x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Corbett2000.instReprMarking = { reprPrec := Corbett2000.instReprMarking.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Corbett2000.instFintypeMarking = { elems := { val := ↑Corbett2000.Marking.enumList, nodup := Corbett2000.Marking.enumList_nodup }, complete := Corbett2000.instFintypeMarking._proof_1 }
The position of a marking in the order of likelihood.
Equations
Instances For
Equations
Equations
- Corbett2000.Marking.instOrderBot = { bot := Corbett2000.Marking.excluded, bot_le := ⋯ }
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).
- inanimate : AnimacyHierarchy
- lowerAnimate : AnimacyHierarchy
- higherAnimate : AnimacyHierarchy
- human : AnimacyHierarchy
- kin : AnimacyHierarchy
- thirdPerson : AnimacyHierarchy
- addressee : AnimacyHierarchy
- speaker : AnimacyHierarchy
Instances For
Equations
- Corbett2000.instDecidableEqAnimacyHierarchy x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
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.
The rank on the hierarchy, 0 for the inanimates up to 7 for the speaker.
Equations
- Corbett2000.AnimacyHierarchy.inanimate.rank = 0
- Corbett2000.AnimacyHierarchy.lowerAnimate.rank = 1
- Corbett2000.AnimacyHierarchy.higherAnimate.rank = 2
- Corbett2000.AnimacyHierarchy.human.rank = 3
- Corbett2000.AnimacyHierarchy.kin.rank = 4
- Corbett2000.AnimacyHierarchy.thirdPerson.rank = 5
- Corbett2000.AnimacyHierarchy.addressee.rank = 6
- Corbett2000.AnimacyHierarchy.speaker.rank = 7
Instances For
The range of a number value gives its marking at each position of the hierarchy.
Equations
Instances For
By constraint III, the likelihood of number being distinguished never increases rightwards along the hierarchy, downwards in the substrate's order.
Equations
- r.Respects = Monotone r
Instances For
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
- Corbett2000.Range.downTo o f p = if o ≤ p then Corbett2000.Marking.obligatory else if f ≤ p then Corbett2000.Marking.optional else ⊥
Instances For
Every such range respects the hierarchy.
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
Equations
- Corbett2000.instDecidableRespects p = id inferInstance
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) #
By constraints VI and VII, a minor number's system and the system without it are both possible systems of values.
Equations
- Corbett2000.Dispensable c minor = ((∀ v ∈ minor, v ∈ c.divisions) ∧ ∃ (s : Corbett2000.Shape), s.values = List.filter (fun (x : Number) => decide (x ∉ minor)) c.values)
Instances For
Equations
- Corbett2000.instDecidableDispensable c minor = id inferInstance
The Hebrew and Maltese minor dual, Figure 4.11.
The Avar minor paucal, within the system Walapai has at the top.
The Maŋarayi minor trial.
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
- Corbett2000.hebrewDual p = if p = Corbett2000.AnimacyHierarchy.inanimate then Corbett2000.Marking.optional else ⊥
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
Equations
- Corbett2000.instDecidableEqSecond.decEq (Corbett2000.Second.regular a) (Corbett2000.Second.regular b) = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
- Corbett2000.instDecidableEqSecond.decEq (Corbett2000.Second.regular c) (Corbett2000.Second.conflated c_1) = isFalse ⋯
- Corbett2000.instDecidableEqSecond.decEq (Corbett2000.Second.regular c) Corbett2000.Second.mass = isFalse ⋯
- Corbett2000.instDecidableEqSecond.decEq (Corbett2000.Second.conflated c) (Corbett2000.Second.regular c_1) = isFalse ⋯
- Corbett2000.instDecidableEqSecond.decEq (Corbett2000.Second.conflated a) (Corbett2000.Second.conflated b) = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
- Corbett2000.instDecidableEqSecond.decEq (Corbett2000.Second.conflated c) Corbett2000.Second.mass = isFalse ⋯
- Corbett2000.instDecidableEqSecond.decEq Corbett2000.Second.mass (Corbett2000.Second.regular c) = isFalse ⋯
- Corbett2000.instDecidableEqSecond.decEq Corbett2000.Second.mass (Corbett2000.Second.conflated c) = isFalse ⋯
- Corbett2000.instDecidableEqSecond.decEq Corbett2000.Second.mass Corbett2000.Second.mass = isTrue ⋯
Instances For
Equations
- Corbett2000.instReprSecond = { reprPrec := Corbett2000.instReprSecond.repr }
Equations
- One or more equations did not get rendered due to their size.
- Corbett2000.instReprSecond.repr Corbett2000.Second.mass prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Corbett2000.Second.mass")).group prec✝
Instances For
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
- (Corbett2000.Second.regular c).cells = (if c.general = Corbett2000.General.none then [] else [{Number.general}]) ++ List.map (fun (v : Number) => {v}) c.values
- (Corbett2000.Second.conflated c).cells = [c.values.toFinset.erase Number.plural, {Number.plural}]
- Corbett2000.Second.mass.cells = [{Number.singular}, {Number.plural}]
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
Equations
- Corbett2000.Kiowa.instDecidableEqClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Corbett2000.Kiowa.instReprClass = { reprPrec := Corbett2000.Kiowa.instReprClass.repr }
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.
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
- Corbett2000.Kiowa.Inverse k n = (n ∉ Corbett2000.Kiowa.basic k)
Instances For
Equations
- Corbett2000.Kiowa.instDecidableInverse k n = id inferInstance
The verb's object marking, (21) to (23), distinguishes the singular, the dual, and the inverse for the plural.
- sg : ObjectMarker
- du : ObjectMarker
- inv : ObjectMarker
Instances For
Equations
- Corbett2000.Kiowa.instDecidableEqObjectMarker x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
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.
The verb's object marker for each of the three numbers.
Equations
Instances For
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.
Equations
- Corbett2000.Rembarrnga.instDecidableEqPerson x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
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.
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
- Corbett2000.Rembarrnga.relative p n = match n - Corbett2000.Rembarrnga.minimum p with | 0 => Number.minimal | 1 => Number.unitAugmented | x => Number.augmented
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
- Corbett2000.Hopi.pronounPlural Number.singular = false
- Corbett2000.Hopi.pronounPlural x✝ = true
Instances For
The verb sets singular and dual against the plural.
Equations
- Corbett2000.Hopi.verbPlural Number.plural = true
- Corbett2000.Hopi.verbPlural x✝ = false
Instances For
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
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Corbett2000.instFintypeDifferentiability = Fintype.ofEquiv ((_ : Bool) × (_ : Bool) × Bool) Corbett2000.Differentiability.proxyTypeEquiv
Morphological differentiation entails syntactic, and syntactic semantic.
Equations
- d.Valid = ((d.morphological = true → d.syntactic = true) ∧ (d.syntactic = true → d.semantic = true))
Instances For
dog is differentiated in every way.
Equations
- Corbett2000.Differentiability.dog = { semantic := true, syntactic := true, morphological := true }
Instances For
sheep has no distinct forms.
Equations
- Corbett2000.Differentiability.sheep = { semantic := true, syntactic := true, morphological := false }
Instances For
scissors is countable, with one form and one agreement.
Equations
- Corbett2000.Differentiability.scissors = { semantic := true, syntactic := false, morphological := false }
Instances For
friendliness is off the scale.
Equations
- Corbett2000.Differentiability.friendliness = { semantic := false, syntactic := false, morphological := false }
Instances For
The four types of the table are the only ones.
The syntax of number (chapter 6) #
The three Bayso concords of Table 6.5 are the pronouns', masculine, feminine and plural.
Four controller numbers and two genders fall together on the three concords.
The Agreement Hierarchy (§6.2) #
British English committee takes syntactic agreement only in attributive position and either agreement elsewhere, (19) to (22).
Equations
- Corbett2000.britishCommittee Agreement.Position.attributive = some Agreement.Availability.syntacticOnly
- Corbett2000.britishCommittee Agreement.Position.predicate = some Agreement.Availability.both
- Corbett2000.britishCommittee Agreement.Position.relativePronoun = some Agreement.Availability.both
- Corbett2000.britishCommittee Agreement.Position.personalPronoun = some Agreement.Availability.both
Instances For
American English committee takes plural agreement rarely in the predicate and admits it in the personal pronoun.
Equations
- Corbett2000.americanCommittee Agreement.Position.attributive = some Agreement.Availability.syntacticOnly
- Corbett2000.americanCommittee Agreement.Position.predicate = some Agreement.Availability.mostlySyntactic
- Corbett2000.americanCommittee Agreement.Position.personalPronoun = some Agreement.Availability.both
- Corbett2000.americanCommittee x✝ = none
Instances For
Nixon's corpus gives the percentage of plural agreement with corporate nouns by target, the pronouns pooling the possessive with the personal.
Equations
- Corbett2000.nixon Agreement.Position.attributive = some 0
- Corbett2000.nixon Agreement.Position.predicate = some (122 / 10)
- Corbett2000.nixon Agreement.Position.personalPronoun = some (274 / 10)
- Corbett2000.nixon x✝ = none
Instances For
The plural is likelier in the pronoun than in the predicate, as the hierarchy predicts.
Equations
- Corbett2000.instDecidableEqVariety x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Corbett2000.instReprVariety = { reprPrec := Corbett2000.instReprVariety.repr }
Equations
- Corbett2000.instFintypeVariety = { elems := { val := ↑Corbett2000.Variety.enumList, nodup := Corbett2000.Variety.enumList_nodup }, complete := Corbett2000.instFintypeVariety._proof_1 }
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.
- verb : PredicateTarget
- participle : PredicateTarget
- adjective : PredicateTarget
- noun : PredicateTarget
Instances For
Equations
- Corbett2000.instDecidableEqPredicateTarget x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Corbett2000.instReprPredicateTarget = { reprPrec := Corbett2000.instReprPredicateTarget.repr }
Equations
- One or more equations did not get rendered due to their size.
The position of a target in the Predicate Hierarchy.
Equations
Instances For
Equations
Agreement with the honorific plural vy in a Slavonic language (Table 6.11) records the availability of singular, semantic, agreement at each sub-position.
- language : String
The language.
- profile : PredicateTarget → Agreement.Availability
The availability of semantic agreement at each sub-position.
Instances For
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
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.
- nearest : ConjunctAgreement
- first : ConjunctAgreement
- all : ConjunctAgreement
Instances For
Equations
- Corbett2000.instDecidableEqConjunctAgreement x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
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
- Corbett2000.resolveNumber c ns = if Number.dual ∈ c.values ∧ ns = [Number.singular, Number.singular] then Number.dual else Number.plural
Instances For
The rule is the substrate's resolution, the value of the sum of the conjuncts' referents, in Slovene as in English.
Table 6.12 gives the percentage of number resolution with Russian conjoined noun phrases by target.
Equations
Instances For
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
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
Equations
- Corbett2000.instReprResolution = { reprPrec := Corbett2000.instReprResolution.repr }
Medieval Spanish, Table 6.13.
Equations
- Corbett2000.spanishResolution = { language := "Medieval Spanish", animateBefore := 96, inanimateBefore := 31, animateAfter := 69, inanimateAfter := 6 }
Instances For
German, Table 6.13.
Equations
- Corbett2000.germanResolution = { language := "German", animateBefore := 96, inanimateBefore := 67, animateAfter := 93, inanimateAfter := 40 }
Instances For
Russian, Table 6.13.
Equations
- Corbett2000.russianResolution = { language := "Russian", animateBefore := 100, inanimateBefore := 85, animateAfter := 84, inanimateAfter := 28 }
Instances For
Serbo-Croat, Table 6.13.
Equations
- Corbett2000.serboCroatResolution = { language := "Serbo-Croat", animateBefore := 100, inanimateBefore := 91, animateAfter := 70, inanimateAfter := 26 }
Instances For
The rows of Table 6.13.
Equations
Instances For
Animacy and precedence each favour resolution, in every language of the table.
Animacy outweighs precedence in Medieval Spanish and German, precedence animacy in Serbo-Croat.
The book's examples #
The controller numbers by name.
Equations
- Corbett2000.numberNames = [("general", Number.general), ("singular", Number.singular), ("dual", Number.dual), ("trial", Number.trial), ("paucal", Number.paucal), ("plural", Number.plural)]
Instances For
The positions of the hierarchy by name.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The markings by name.
Equations
- Corbett2000.markingNames = [("obligatory", Corbett2000.Marking.obligatory), ("optional", Corbett2000.Marking.optional), ("excluded", Corbett2000.Marking.excluded)]
Instances For
In Miya, (24) to (28), marking and agreement at each position are Table 3.6's.
In Muna, (21) to (23), and Mayali, (5) and (6), each position's agreement is the one the language's profile gives.
In Slave, (2) to (4), the plural suffix is optional, for dogs as a lexical exception.
In Hebrew, (1) to (3) of chapter 4, the verb's number is the value its singular–plural system gives the controller's referent.
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.
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.
In Slovene, (34) to (37), the predicate's number is the resolution of the conjuncts'.
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.
British committee, (19) to (22), takes the agreement each target allows.
In Hopi, (40) to (42), the number is read off the pronoun's and the verb's marking.
In Kiowa, (21) to (23), the inverse suffix appears off the class's basic numbers.
In Hungarian, (40) and (41), plural resolution occurs only with animate conjuncts.
In Moroccan Arabic, (42) to (44), agreement is with the nearer conjunct only when the verb precedes.