Sheehan2017b: statistics (generated)

Auto-generated from Linglib/Data/Statistics/Sheehan2017b.json by scripts/gen_statistics.py. Do not edit by hand: edit the JSON and re-run the generator.

The cross-linguistic positions of polar question particles and complementizers, from features 92A and 94A of the World Atlas of Language Structures. A language counts as initial or final for each head; the four combinations are the two consistent orders, an initial complementizer over a final particle (the inverse of the final-over-final configuration) and a final complementizer over an initial particle (the final-over-final configuration).

References

• [She17]

inductive Sheehan2017b.Position : Type

The position of a head in its phrase.

• initial : Position

  Initial: before its complement

• final : Position

  Final: after its complement

@[instance_reducible]

instance Sheehan2017b.instDecidableEqPosition : DecidableEq Position

Equations

• Sheehan2017b.instDecidableEqPosition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Sheehan2017b.instReprPosition : Repr Position

Equations

• Sheehan2017b.instReprPosition = { reprPrec := Sheehan2017b.instReprPosition.repr }

def Sheehan2017b.instReprPosition.repr : Position → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Sheehan2017b.instFintypePosition : Fintype Position

Equations

• Sheehan2017b.instFintypePosition = { elems := { val := ↑Sheehan2017b.Position.enumList, nodup := Sheehan2017b.Position.enumList_nodup }, complete := Sheehan2017b.instFintypePosition._proof_1 }

structure Sheehan2017b.PolarityComplementizer : Type

A row of Table 5.2, p. 92: the languages with each combination of the positions of the polar question particle and the complementizer.

• languages : ℕ

  The languages.

• genera : ℕ

  Their genera.

• families : ℕ

  Their families.

• inParentheses : ℕ

  The count printed in parentheses, which is the cross-tabulation of WALS features 92A and 94A (recomputed by scripts/statistics/Sheehan2017b.py).

@[instance_reducible]

instance Sheehan2017b.instDecidableEqPolarityComplementizer : DecidableEq PolarityComplementizer

Equations

• Sheehan2017b.instDecidableEqPolarityComplementizer = Sheehan2017b.instDecidableEqPolarityComplementizer.decEq

def Sheehan2017b.instDecidableEqPolarityComplementizer.decEq (x✝ x✝¹ : PolarityComplementizer) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Sheehan2017b.instReprPolarityComplementizer : Repr PolarityComplementizer

Equations

• Sheehan2017b.instReprPolarityComplementizer = { reprPrec := Sheehan2017b.instReprPolarityComplementizer.repr }

def Sheehan2017b.instReprPolarityComplementizer.repr : PolarityComplementizer → ℕ → Std.Format

Equations

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

def Sheehan2017b.polarityComplementizer : Position → Position → PolarityComplementizer

The cells of Table 5.2, p. 92, by pol and c; from a sample of languages coded from their descriptions; checked against the page images.

Equations

• Sheehan2017b.polarityComplementizer Sheehan2017b.Position.initial Sheehan2017b.Position.initial = { languages := 72, genera := 35, families := 13, inParentheses := 78 }
• Sheehan2017b.polarityComplementizer Sheehan2017b.Position.final Sheehan2017b.Position.final = { languages := 45, genera := 33, families := 20, inParentheses := 46 }
• Sheehan2017b.polarityComplementizer Sheehan2017b.Position.final Sheehan2017b.Position.initial = { languages := 74, genera := 40, families := 16, inParentheses := 82 }
• Sheehan2017b.polarityComplementizer Sheehan2017b.Position.initial Sheehan2017b.Position.final = { languages := 4, genera := 3, families := 3, inParentheses := 4 }