Documentation

Linglib.Core.WALS.Features.F144T

WALS Feature 144T: The Position of Negative Morphemes in Verb-Initial Languages #

@cite{wals-2013}

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

Chapter 144, 152 languages.

source
inductive Core.WALS.F144T.PositionOfNegativeMorphemesInVerbInitialLanguages :
Type

WALS 144T values.

Instances For
    source
    instance Core.WALS.F144T.instDecidableEqPositionOfNegativeMorphemesInVerbInitialLanguages :
    DecidableEq PositionOfNegativeMorphemesInVerbInitialLanguages
    Equations
    source
    def Core.WALS.F144T.instBEqPositionOfNegativeMorphemesInVerbInitialLanguages.beq :
    PositionOfNegativeMorphemesInVerbInitialLanguages → PositionOfNegativeMorphemesInVerbInitialLanguages → Bool
    Equations
    Instances For
      source
      instance Core.WALS.F144T.instBEqPositionOfNegativeMorphemesInVerbInitialLanguages :
      BEq PositionOfNegativeMorphemesInVerbInitialLanguages
      Equations
      source
      instance Core.WALS.F144T.instReprPositionOfNegativeMorphemesInVerbInitialLanguages :
      Repr PositionOfNegativeMorphemesInVerbInitialLanguages
      Equations
      source
      def Core.WALS.F144T.instReprPositionOfNegativeMorphemesInVerbInitialLanguages.repr :
      PositionOfNegativeMorphemesInVerbInitialLanguages → Nat → Std.Format
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Core.WALS.F144T.allData :
        List (Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages)

        Complete WALS 144T dataset (152 languages).

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          theorem Core.WALS.F144T.total_count :
          allData.length = 152
          source
          theorem Core.WALS.F144T.count_negvso :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvso) allData).length = 57
          source
          theorem Core.WALS.F144T.count_vsnego :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.vsnego) allData).length = 1
          source
          theorem Core.WALS.F144T.count_vsoneg :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.vsoneg) allData).length = 1
          source
          theorem Core.WALS.F144T.count_negvos :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvos) allData).length = 18
          source
          theorem Core.WALS.F144T.count_negvsoNegvos :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvsoNegvos) allData).length = 11
          source
          theorem Core.WALS.F144T.count_negvVsVo :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvVsVo) allData).length = 16
          source
          theorem Core.WALS.F144T.count_svoButNegvso :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.svoButNegvso) allData).length = 1
          source
          theorem Core.WALS.F144T.count_negVSo :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negVSo) allData).length = 7
          source
          theorem Core.WALS.F144T.count_negVOs :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negVOs) allData).length = 2
          source
          theorem Core.WALS.F144T.count_vNegOs :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.vNegOs) allData).length = 1
          source
          theorem Core.WALS.F144T.count_vNegVsVo :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.vNegVsVo) allData).length = 1
          source
          theorem Core.WALS.F144T.count_negvsoNegVSo :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvsoNegVSo) allData).length = 2
          source
          theorem Core.WALS.F144T.count_negvosNegVOs :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvosNegVOs) allData).length = 1
          source
          theorem Core.WALS.F144T.count_negvsoSnegvo :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvsoSnegvo) allData).length = 5
          source
          theorem Core.WALS.F144T.count_vsonegSvoneg :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.vsonegSvoneg) allData).length = 1
          source
          theorem Core.WALS.F144T.count_negvosNegsvo :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvosNegsvo) allData).length = 1
          source
          theorem Core.WALS.F144T.count_negvosSnegvo :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvosSnegvo) allData).length = 2
          source
          theorem Core.WALS.F144T.count_negVOsSNegVO :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negVOsSNegVO) allData).length = 2
          source
          theorem Core.WALS.F144T.count_negvVsoSvo :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvVsoSvo) allData).length = 2
          source
          theorem Core.WALS.F144T.count_negvVosSvo :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.negvVosSvo) allData).length = 2
          source
          theorem Core.WALS.F144T.count_optsingleneg :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.optsingleneg) allData).length = 1
          source
          theorem Core.WALS.F144T.count_obligdoubleneg :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.obligdoubleneg) allData).length = 7
          source
          theorem Core.WALS.F144T.count_optdoubleneg :
          (List.filter (fun (x : Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages) => x.value == PositionOfNegativeMorphemesInVerbInitialLanguages.optdoubleneg) allData).length = 10
          source
          def Core.WALS.F144T.lookup (code : String) :
          Option (Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages)

          Look up a language by WALS code.

          Equations
          Instances For
            source
            def Core.WALS.F144T.lookupISO (iso : String) :
            Option (Datapoint PositionOfNegativeMorphemesInVerbInitialLanguages)

            Look up a language by ISO 639-3 code.

            Equations
            Instances For