Documentation

Linglib.Fragments.English.QuestionParticles

English Question Particles #

@cite{dayal-2025} @cite{bhatt-dayal-2020}

Lexical entries for English MQP-like adverbs that participate in the left-peripheral typology of Q-particles. The fragment commits only to theory-neutral lexical primitives (form, gloss, distribution); the left-peripheral layer assignment lives in Phenomena.Questions.Studies.BhattDayal2020.

Particles #

ParticleGlossDistribution
quickmatrix-only meta-question adverbmatrix only

English lacks dedicated Q-particles for clause typing (the language uses syntactic inversion + whether for embedded polar questions). What it does have is a small set of MQP-like adverbs (quick, quickly) that attach to matrix questions and signal urgency / addressee-directed information request, but are ungrammatical in any embedded position (@cite{dayal-2025} ex. (19)).

source
structure Fragments.English.QuestionParticles.QParticleEntry :
Type

An English MQP-like question adverb entry.

  • form : String
  • gloss : String
  • inMatrix : Bool

    Compatible with matrix questions?

  • inSubordinated : Bool

    Compatible with subordinated interrogatives?

  • inQuasiSub : Bool

    Compatible with quasi-subordinated interrogatives?

  • inQuotation : Bool

    Compatible with quotation?

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

        quick / quickly — matrix-only meta-question adverb.

        Signals urgency in a request for information. Ungrammatical in subordinated, quasi-subordinated, or quotation contexts (@cite{dayal-2025} ex. (19)).

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.English.QuestionParticles.allQuestionParticles :
          List QParticleEntry
          Equations
          Instances For
            source
            theorem Fragments.English.QuestionParticles.quick_matrix_only :
            quick.inMatrix = true ∧ quick.inSubordinated = false ∧ quick.inQuasiSub = false ∧ quick.inQuotation = false