English particles

This file defines the English polarity particles and the meta-question adverb quick. The polarity particles yes and no answer polar questions and respond to assertions, and English has no polarity-reversing particle ([Hol16]). What each particle marks is a matter of analysis: a valued polarity feature for [Hol16], features of the response for [FB10]. Quick or quickly before a question tells the addressee to answer without delay; Dayal groups it with the meta-question particles, which occur in matrix questions and quotations and are ungrammatical embedded, Mary asked Sue quick where she hid the matza.

Main definitions

• English.PolarityParticle: the polarity particles.
• English.Particles.quick: the meta-question adverb.

References

• [Hol16]
• [FB10]
• [Day25]

inductive English.PolarityParticle : Type

The English polarity particles.

• yes : PolarityParticle

  yes.

• no : PolarityParticle

  no.

@[instance_reducible]

instance English.instDecidableEqPolarityParticle : DecidableEq PolarityParticle

Equations

• English.instDecidableEqPolarityParticle x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def English.instReprPolarityParticle.repr : PolarityParticle → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance English.instReprPolarityParticle : Repr PolarityParticle

Equations

• English.instReprPolarityParticle = { reprPrec := English.instReprPolarityParticle.repr }

@[instance_reducible]

instance English.instFintypePolarityParticle : Fintype PolarityParticle

Equations

• One or more equations did not get rendered due to their size.

def English.PolarityParticle.form : PolarityParticle → String

The spelling of a polarity particle.

Equations

• English.PolarityParticle.yes.form = "yes"
• English.PolarityParticle.no.form = "no"

Meta-question adverb

def English.Particles.quick : Particle

quick or quickly before a question, available in matrix questions and quotations and excluded from embedded questions.

Equations

• One or more equations did not get rendered due to their size.