WALS Feature 101A: Expression of Pronominal Subjects

[DH13b]

Auto-generated from WALS v2020.4 CLDF data. Do not edit by hand — regenerate with python3 scripts/gen_wals.py 101A.

Chapter 101, 711 languages.

inductive Data.WALS.F101A.ExpressionOfPronominalSubjects : Type

WALS 101A values.

• obligatoryPronounsInSubjectPosition : ExpressionOfPronominalSubjects

  Obligatory pronouns in subject position (82 languages).

• subjectAffixesOnVerb : ExpressionOfPronominalSubjects

  Subject affixes on verb (437 languages).

• subjectCliticsOnVariableHost : ExpressionOfPronominalSubjects

  Subject clitics on variable host (32 languages).

• subjectPronounsInDifferentPosition : ExpressionOfPronominalSubjects

  Subject pronouns in different position (67 languages).

• optionalPronounsInSubjectPosition : ExpressionOfPronominalSubjects

  Optional pronouns in subject position (61 languages).

• mixed : ExpressionOfPronominalSubjects

  Mixed (32 languages).

@[instance_reducible]

instance Data.WALS.F101A.instDecidableEqExpressionOfPronominalSubjects : DecidableEq ExpressionOfPronominalSubjects

Equations

• Data.WALS.F101A.instDecidableEqExpressionOfPronominalSubjects x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Data.WALS.F101A.instReprExpressionOfPronominalSubjects : Repr ExpressionOfPronominalSubjects

Equations

• Data.WALS.F101A.instReprExpressionOfPronominalSubjects = { reprPrec := Data.WALS.F101A.instReprExpressionOfPronominalSubjects.repr }

def Data.WALS.F101A.instReprExpressionOfPronominalSubjects.repr : ExpressionOfPronominalSubjects → Nat → Std.Format

Equations

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

def Data.WALS.F101A.allData_0 : List (String × ExpressionOfPronominalSubjects)

Rows 1 to 500 of allData.

Equations

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

def Data.WALS.F101A.allData_1 : List (String × ExpressionOfPronominalSubjects)

Rows 501 to 711 of allData.

Equations

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

def Data.WALS.F101A.allData : List (String × ExpressionOfPronominalSubjects)

The WALS 101A coding: each language's value, keyed by its WALS code (711 languages).

Equations

• Data.WALS.F101A.allData = Data.WALS.F101A.allData_0 ++ Data.WALS.F101A.allData_1

def Data.WALS.F101A.sources_0 : List (String × List String)

Rows 1 to 500 of sources.

Equations

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

def Data.WALS.F101A.sources_1 : List (String × List String)

Rows 501 to 696 of sources.

Equations

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

def Data.WALS.F101A.sources : List (String × List String)

The sources WALS cites for each language's 101A value, keyed by its WALS code: WALS reference keys, with pages in brackets (696 languages).

Equations

• Data.WALS.F101A.sources = Data.WALS.F101A.sources_0 ++ Data.WALS.F101A.sources_1