WALS Feature 116A: Polar Questions #
@cite{dryer-2013-wals}
Auto-generated from WALS v2020.4 CLDF data.
Do not edit by hand — regenerate with python3 scripts/gen_wals.py 116A.
Chapter 116, 955 languages.
WALS 116A values.
- questionParticle : PolarQuestionType
- interrogativeVerbMorphology : PolarQuestionType
- mixtureOfPreviousTwoTypes : PolarQuestionType
- interrogativeWordOrder : PolarQuestionType
- absenceOfDeclarativeMorphemes : PolarQuestionType
- interrogativeIntonationOnly : PolarQuestionType
- noInterrogativeDeclarativeDistinction : PolarQuestionType
Instances For
Equations
- Core.WALS.F116A.instBEqPolarQuestionType.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Complete WALS 116A dataset (955 languages).
Instances For
theorem
Core.WALS.F116A.count_questionParticle :
(List.filter (fun (x : Datapoint PolarQuestionType) => x.value == PolarQuestionType.questionParticle) allData).length = 585
theorem
Core.WALS.F116A.count_interrogativeVerbMorphology :
(List.filter (fun (x : Datapoint PolarQuestionType) => x.value == PolarQuestionType.interrogativeVerbMorphology)
allData).length = 164
theorem
Core.WALS.F116A.count_mixtureOfPreviousTwoTypes :
(List.filter (fun (x : Datapoint PolarQuestionType) => x.value == PolarQuestionType.mixtureOfPreviousTwoTypes)
allData).length = 15
theorem
Core.WALS.F116A.count_interrogativeWordOrder :
(List.filter (fun (x : Datapoint PolarQuestionType) => x.value == PolarQuestionType.interrogativeWordOrder)
allData).length = 13
theorem
Core.WALS.F116A.count_interrogativeIntonationOnly :
(List.filter (fun (x : Datapoint PolarQuestionType) => x.value == PolarQuestionType.interrogativeIntonationOnly)
allData).length = 173
Look up a language by WALS code.
Equations
Instances For
Look up a language by ISO 639-3 code.