Sentence Polarity

Binary sentence polarity: positive (affirmative) vs negative.

Used across phenomena involving polarity-sensitive behavior: multiplicity inferences, homogeneity gaps, scalar implicatures, etc.

Note: This is distinct from other polarity-like distinctions in the library:

• Core.Lexical.UD.Polarity — morphological feature (.Pos/.Neg)
• Core.NaturalLogic.ContextPolarity — monotonicity direction (.upward/.downward)
• Phenomena.Gradability.Studies.Rett2015Implicature.Polarity — adjective markedness
• Semantics.Presupposition.OntologicalPreconditions.Polarity — event assertion (.affirmed/.negated)

inductive Features.Polarity : Type

Sentence polarity: whether a sentence is affirmative or negated.

• positive : Polarity
• negative : Polarity

def Features.instReprPolarity.repr : Polarity → Nat → Std.Format

Equations

• Features.instReprPolarity.repr Features.Polarity.positive prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Features.Polarity.positive")).group prec✝
• Features.instReprPolarity.repr Features.Polarity.negative prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Features.Polarity.negative")).group prec✝

@[implicit_reducible]

instance Features.instReprPolarity : Repr Polarity

Equations

• Features.instReprPolarity = { reprPrec := Features.instReprPolarity.repr }

@[implicit_reducible]

instance Features.instDecidableEqPolarity : DecidableEq Polarity

Equations

• Features.instDecidableEqPolarity x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Features.instInhabitedPolarity : Inhabited Polarity

Equations

• Features.instInhabitedPolarity = { default := Features.instInhabitedPolarity.default }

def Features.instInhabitedPolarity.default : Polarity

Equations

• Features.instInhabitedPolarity.default = Features.Polarity.positive