Documentation

Linglib.Fragments.Polish.QuestionParticles

Polish Question Particles #

@cite{simik-2024}

Lexical entries for Polish interrogative particles.

Particles #

ParticleGlossLayerBias
czyneutral PQCPnone
czyżbyRAZVE (mirative)PerspP+evidential

Cross-Module Connections #

source
structure Fragments.Polish.QuestionParticles.QParticleEntry :
Type

A Polish interrogative particle entry.

Instances For
    source
    def Fragments.Polish.QuestionParticles.instReprQParticleEntry.repr :
    QParticleEntry → Nat → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Fragments.Polish.QuestionParticles.instReprQParticleEntry :
      Repr QParticleEntry
      Equations
      source
      def Fragments.Polish.QuestionParticles.instDecidableEqQParticleEntry.decEq (x✝ x✝¹ : QParticleEntry) :
      Decidable (x✝ = x✝¹)
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        instance Fragments.Polish.QuestionParticles.instDecidableEqQParticleEntry :
        DecidableEq QParticleEntry
        Equations
        source
        def Fragments.Polish.QuestionParticles.instBEqQParticleEntry.beq :
        QParticleEntry → QParticleEntry → Bool
        Equations
        Instances For
          source
          instance Fragments.Polish.QuestionParticles.instBEqQParticleEntry :
          BEq QParticleEntry
          Equations
          source
          def Fragments.Polish.QuestionParticles.czy :
          QParticleEntry

          czy — obligatory clause-initial PQ particle (@cite{simik-2024} ex. 30). Verb-initial PQs possible but unacceptable in quiz scenarios.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.Polish.QuestionParticles.czyzby :
            QParticleEntry

            czyżby — mirative/dubitative particle (RAZVE family, @cite{simik-2024} §4.2.4). Polish member of the cross-Slavic razve family.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Fragments.Polish.QuestionParticles.allQuestionParticles :
              List QParticleEntry
              Equations
              Instances For
                source
                theorem Fragments.Polish.QuestionParticles.czy_neutral :
                czy.requiresEvidentialBias = false ∧ czy.requiresEpistemicBias = false
                source
                theorem Fragments.Polish.QuestionParticles.czyzby_evidential :
                czyzby.requiresEvidentialBias = true
                source
                theorem Fragments.Polish.QuestionParticles.bias_contrast :
                czy.requiresEvidentialBias = false ∧ czyzby.requiresEvidentialBias = true

                czy and czyżby form a neutral/evidential contrast.