Documentation

Linglib.Fragments.Slavic.Macedonian.QuestionParticles

Macedonian Question Particles #

@cite{simik-2024}

Lexical entries for Macedonian interrogative particles. The fragment commits only to theory-neutral lexical primitives; the left-peripheral layer assignment lives in Phenomena.Questions.Studies.Simik2024.

Particles #

ParticleRomanizationGlossBias
далиdalineutral PQnone

Macedonian dali can introduce negative PQs without triggering epistemic bias, unlike Bulgarian li (@cite{simik-2024} ex. 32). Mitkovska, Bužarovska & Saračević (2024) contrast dali with biased particles zar and neli.

Cross-Module Connections #

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

A Macedonian interrogative particle entry.

  • form : String
  • romanization : String
  • gloss : String
  • polarOk : Bool
  • declOk : Bool
  • whOk : Bool
  • requiresEvidentialBias : Bool
  • requiresEpistemicBias : Bool
  • negationTriggersBias : Bool

    Does adding negation to the PQ trigger epistemic bias?

Instances For
    source
    @[implicit_reducible]
    instance Fragments.Slavic.Macedonian.QuestionParticles.instReprQParticleEntry :
    Repr QParticleEntry
    Equations
    source
    def Fragments.Slavic.Macedonian.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.Macedonian.QuestionParticles.instDecidableEqQParticleEntry :
      DecidableEq QParticleEntry
      Equations
      source
      def Fragments.Slavic.Macedonian.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.Macedonian.QuestionParticles.dali :
        QParticleEntry

        дали dali — clause-initial PQ particle (@cite{simik-2024} ex. 32). Unlike Bulgarian li, dali + negation is unbiased.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.Slavic.Macedonian.QuestionParticles.allQuestionParticles :
          List QParticleEntry
          Equations
          Instances For
            source
            theorem Fragments.Slavic.Macedonian.QuestionParticles.dali_neutral :
            dali.requiresEvidentialBias = false ∧ dali.requiresEpistemicBias = false
            source
            theorem Fragments.Slavic.Macedonian.QuestionParticles.dali_neg_unbiased :
            dali.negationTriggersBias = false

            dali + negation does NOT trigger bias (unlike Bulgarian li). This is the key Macedonian-Bulgarian contrast (@cite{simik-2024} ex. 32).