Documentation

Linglib.Fragments.Slavic.Russian.QuestionParticles

Russian Question Particles #

@cite{esipova-romero-2023} @cite{simik-2024}

Lexical entries for Russian interrogative particles with distributional properties and bias profiles. The fragment commits only to theory-neutral lexical primitives (form, gloss, distribution, bias profile); the left-peripheral layer assignment lives in Phenomena.Questions.Studies.Simik2024.

Particles #

ParticleRomanizationGlossBias
лиlineutral PQnone
развеrazveRAZVE (mirative)+evidential

Cross-Module Connections #

source
structure Fragments.Slavic.Russian.QuestionParticles.QParticleEntry :
Type

A Russian interrogative particle entry.

  • form : String
  • romanization : String
  • gloss : String
  • polarOk : Bool
  • declOk : Bool
  • whOk : Bool
  • requiresEvidentialBias : Bool
  • requiresEpistemicBias : Bool
Instances For
    source
    @[implicit_reducible]
    instance Fragments.Slavic.Russian.QuestionParticles.instReprQParticleEntry :
    Repr QParticleEntry
    Equations
    source
    def Fragments.Slavic.Russian.QuestionParticles.instReprQParticleEntry.repr :
    QParticleEntry → Nat → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      @[implicit_reducible]
      instance Fragments.Slavic.Russian.QuestionParticles.instDecidableEqQParticleEntry :
      DecidableEq QParticleEntry
      Equations
      source
      def Fragments.Slavic.Russian.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
        def Fragments.Slavic.Russian.QuestionParticles.li :
        QParticleEntry

        ли li — neutral polar question particle (formal register). Verb-attached enclitic, cliticizes onto the focused constituent. Rare in spoken Russian (only 6/500 PQs in Onoeva & Staňková corpus).

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

          разве razve — mirative/dubitative question particle (@cite{simik-2024} §4.2.4). Indicates conflict between speaker's prior epistemic state and current contextual evidence. Compatible with both outer and inner negation.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.Slavic.Russian.QuestionParticles.allQuestionParticles :
            List QParticleEntry
            Equations
            Instances For
              source
              theorem Fragments.Slavic.Russian.QuestionParticles.li_neutral :
              li.requiresEvidentialBias = false ∧ li.requiresEpistemicBias = false
              source
              theorem Fragments.Slavic.Russian.QuestionParticles.razve_evidential :
              razve_.requiresEvidentialBias = true
              source
              theorem Fragments.Slavic.Russian.QuestionParticles.razve_no_epistemic :
              razve_.requiresEpistemicBias = false
              source
              theorem Fragments.Slavic.Russian.QuestionParticles.bias_contrast :
              li.requiresEvidentialBias = false ∧ razve_.requiresEvidentialBias = true

              li and razve form a neutral/evidential contrast (like Mandarin ma/nandao).