Documentation

Linglib.Fragments.Slavic.Czech.PolarityItems

Czech Polarity-Sensitive Items #

@cite{haspelmath-1997}

Lexical entries for Czech n-words (the ni- series), typed by the theory-neutral categories from Typology.PolarityItem. Standard sentential negation (the ne- prefix) lives in the sibling Fragments/Czech/Negation.lean; this file holds only the lexical reactives (operator/lexical-reactive split documented in Core/Lexical/NegMarker.lean).

The Czech ni- series #

Czech is a strict-NC language (Slavic pattern): every n-word obligatorily co-occurs with the ne- prefixed verb form, regardless of position. Nikdo nepřišel 'Nobody NEG.came'; Neviděl nikoho 'NEG.saw nobody'. Both preverbal and postverbal n-words require ne- — unlike Italian/ Spanish position-dependent NC.

source
def Fragments.Slavic.Czech.PolarityItems.nikdo :
Typology.PolarityItem.PolarityItemEntry

nikdo — N-word for human ('nobody'). Strict NC: requires the ne- prefix on the verb regardless of position.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Fragments.Slavic.Czech.PolarityItems.nic :
    Typology.PolarityItem.PolarityItemEntry

    nic — N-word for non-human ('nothing').

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Fragments.Slavic.Czech.PolarityItems.nikdy :
      Typology.PolarityItem.PolarityItemEntry

      nikdy — Temporal n-word ('never').

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Fragments.Slavic.Czech.PolarityItems.nikam :
        Typology.PolarityItem.PolarityItemEntry

        nikam — Locative n-word ('nowhere').

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.Slavic.Czech.PolarityItems.zadny :
          Typology.PolarityItem.PolarityItemEntry

          žádný — Determiner n-word ('no/none').

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.Slavic.Czech.PolarityItems.items :
            List Typology.PolarityItem.PolarityItemEntry

            The Czech polarity-item inventory: the Fragment-side joint listing every polarity item this fragment defines.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              theorem Fragments.Slavic.Czech.PolarityItems.all_npis_licensed_by_negation :
              (items.all fun (e : Typology.PolarityItem.PolarityItemEntry) => e.licensingContexts.contains Features.LicensingContext.negation) = true

              All Czech n-words are licensed by negation.

              source
              theorem Fragments.Slavic.Czech.PolarityItems.niSeries_morphology :
              ([nikdo, nic, nikdy, nikam].all fun (e : Typology.PolarityItem.PolarityItemEntry) => e.morphology == Typology.PolarityItem.NPIMorphology.indefPlusNeg) = true

              The ni- series is morphologically marked as indefPlusNeg.