@cite{denic-homer-rothschild-chemla-2021}

The influence of polarity items on inferential judgments. Cognition 215, 104791.

The puzzle

The standard story is unidirectional: monotonicity determines where PIs are grammatical. If the arrow goes only from monotonicity to PIs, then PI presence should be inert — it shouldn't change how listeners perceive the monotonicity of the environment. This paper shows it does.

Design

Four experiments (§3–§7):

• Environments: UE, DE, NM (Exps 1–4); DN added in Exps 3–4
• PI conditions: NPI (any/ever/at all), PPI (some), no-PI

Participants rated sentence pairs (related by a narrowing substitution) for both UE-ness and DE-ness on 7-point scales. The directional rating (UE − DE) gives a single bipolar measure.

Core findings

1. NPI in NM: directional ratings shift toward DE (significant across all exps)
2. PPI in DN: directional ratings shift toward UE (significant in Exp 3)
3. UE and DE: no PI effects (ceiling/floor)
4. Scalar side-effect not the sole mechanism: the NPI effect holds across NPIs with heterogeneous scalar properties (e.g., "ever" lacks domain widening; §10.2)

Significance for linglib

The finding that PIs distinguish DN from UE challenges ContextPolarity, which maps both to .upward. The full EntailmentSig preserves the distinction (DN = addMult, simple UE = mono), suggesting PI-sensitive code should use EntailmentSig paths rather than ContextPolarity.

inductive Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv : Type

The four monotonicity environments tested.

A refinement of Core.NaturalLogic.ContextPolarity that keeps DN distinct from UE. ContextPolarity maps both to .upward; the paper shows PIs distinguish them empirically.

• UE : MonotonicityEnv
• DE : MonotonicityEnv
• NM : MonotonicityEnv
• DN : MonotonicityEnv

instance Phenomena.Polarity.Studies.DenicEtAl2021.instDecidableEqMonotonicityEnv : DecidableEq MonotonicityEnv

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instDecidableEqMonotonicityEnv x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMonotonicityEnv : BEq MonotonicityEnv

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMonotonicityEnv = { beq := Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMonotonicityEnv.beq }

def Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMonotonicityEnv.beq : MonotonicityEnv → MonotonicityEnv → Bool

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMonotonicityEnv.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Phenomena.Polarity.Studies.DenicEtAl2021.instReprMonotonicityEnv : Repr MonotonicityEnv

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instReprMonotonicityEnv = { reprPrec := Phenomena.Polarity.Studies.DenicEtAl2021.instReprMonotonicityEnv.repr }

def Phenomena.Polarity.Studies.DenicEtAl2021.instReprMonotonicityEnv.repr : MonotonicityEnv → ℕ → Std.Format

Equations

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

instance Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedMonotonicityEnv : Inhabited MonotonicityEnv

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedMonotonicityEnv = { default := Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedMonotonicityEnv.default }

def Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedMonotonicityEnv.default : MonotonicityEnv

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedMonotonicityEnv.default = Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.UE

def Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.isGloballyUE : MonotonicityEnv → Bool

Whether an environment is globally upward-entailing. DN and UE both return true — the crux of the coarsening problem.

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.UE.isGloballyUE = true
• Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.DN.isGloballyUE = true
• Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.DE.isGloballyUE = false
• Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.NM.isGloballyUE = false

inductive Phenomena.Polarity.Studies.DenicEtAl2021.PICondition : Type

The four PI conditions in the experimental design.

• npi : PICondition
• ppi : PICondition
• noPISimple : PICondition
• noPIComplex : PICondition

instance Phenomena.Polarity.Studies.DenicEtAl2021.instDecidableEqPICondition : DecidableEq PICondition

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instDecidableEqPICondition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Phenomena.Polarity.Studies.DenicEtAl2021.instBEqPICondition : BEq PICondition

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instBEqPICondition = { beq := Phenomena.Polarity.Studies.DenicEtAl2021.instBEqPICondition.beq }

def Phenomena.Polarity.Studies.DenicEtAl2021.instBEqPICondition.beq : PICondition → PICondition → Bool

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instBEqPICondition.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Phenomena.Polarity.Studies.DenicEtAl2021.instReprPICondition : Repr PICondition

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instReprPICondition = { reprPrec := Phenomena.Polarity.Studies.DenicEtAl2021.instReprPICondition.repr }

def Phenomena.Polarity.Studies.DenicEtAl2021.instReprPICondition.repr : PICondition → ℕ → Std.Format

Equations

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

instance Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedPICondition : Inhabited PICondition

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedPICondition = { default := Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedPICondition.default }

def Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedPICondition.default : PICondition

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instInhabitedPICondition.default = Phenomena.Polarity.Studies.DenicEtAl2021.PICondition.npi

structure Phenomena.Polarity.Studies.DenicEtAl2021.PIInfluence : Type

A finding about PI influence on directional ratings within an environment. The key observable: does PI presence significantly shift ratings relative to the no-PI baseline, and in which direction?

• experiment : ℕ
• environment : MonotonicityEnv
• piCondition : PICondition
• significant : Bool

  Significant difference from no-PI baseline?

• shiftDirection : Option MonotonicityEnv

  Direction of shift: .UE if toward UE, .DE if toward DE, none if n.s.

• evidence : String

instance Phenomena.Polarity.Studies.DenicEtAl2021.instReprPIInfluence : Repr PIInfluence

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instReprPIInfluence = { reprPrec := Phenomena.Polarity.Studies.DenicEtAl2021.instReprPIInfluence.repr }

def Phenomena.Polarity.Studies.DenicEtAl2021.instReprPIInfluence.repr : PIInfluence → ℕ → Std.Format

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.exp1_npi_NM : PIInfluence

NPI in NM: shifts directional ratings toward DE.

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.exp1_ppi_DN : PIInfluence

PPI in DN: shifts directional ratings toward UE (Exp 3, §6.3).

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.exp1_npi_UE : PIInfluence

NPI in UE: no effect (ceiling).

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.exp1_npi_DE : PIInfluence

NPI in DE: no effect (floor).

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.exp1_ppi_UE : PIInfluence

PPI in UE: no effect.

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.exp1_ppi_DE : PIInfluence

PPI in DE: no effect.

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.exp1_npi_DN : PIInfluence

NPI in DN: no significant effect (Exp 3, §6.3).

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.exp1_ppi_NM : PIInfluence

PPI in NM: no significant effect.

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.experiment1 : List PIInfluence

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.exp3_npi_NM_controlled : PIInfluence

NPI effect in NM replicates in Experiment 3 (§6.3). The NPI effect holds across NPIs with heterogeneous scalar properties (any = domain widening, ever = non-domain-widening), which argues against scalar side-effects as the sole mechanism (§10.2).

Equations

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

structure Phenomena.Polarity.Studies.DenicEtAl2021.ComplementaryPattern : Type

The complementary pattern: each PI type affects exactly the environment where its associated polarity is ambiguous.

• NPIs (associated with DE) affect NM but not DN
• PPIs (associated with UE) affect DN but not NM

• npi_affects_NM : Bool
• npi_affects_DN : Bool
• ppi_affects_NM : Bool
• ppi_affects_DN : Bool
• complementary : self.npi_affects_NM = true ∧ self.npi_affects_DN = false ∧ self.ppi_affects_NM = false ∧ self.ppi_affects_DN = true

def Phenomena.Polarity.Studies.DenicEtAl2021.observedPattern : ComplementaryPattern

Equations

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

inductive Phenomena.Polarity.Studies.DenicEtAl2021.Mechanism : Type

The three proposed mechanisms for PI influence on monotonicity.

• priming : Mechanism
• scalarSideEffect : Mechanism
• statisticalTracking : Mechanism

instance Phenomena.Polarity.Studies.DenicEtAl2021.instDecidableEqMechanism : DecidableEq Mechanism

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instDecidableEqMechanism x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMechanism.beq : Mechanism → Mechanism → Bool

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMechanism.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMechanism : BEq Mechanism

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMechanism = { beq := Phenomena.Polarity.Studies.DenicEtAl2021.instBEqMechanism.beq }

def Phenomena.Polarity.Studies.DenicEtAl2021.instReprMechanism.repr : Mechanism → ℕ → Std.Format

Equations

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

instance Phenomena.Polarity.Studies.DenicEtAl2021.instReprMechanism : Repr Mechanism

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instReprMechanism = { reprPrec := Phenomena.Polarity.Studies.DenicEtAl2021.instReprMechanism.repr }

structure Phenomena.Polarity.Studies.DenicEtAl2021.MechanismVerdict : Type

Experiment 3 rules out the scalar side-effect as the sole mechanism.

• mechanism : Mechanism
• ruledOutAsSole : Bool
• evidence : String

def Phenomena.Polarity.Studies.DenicEtAl2021.instReprMechanismVerdict.repr : MechanismVerdict → ℕ → Std.Format

Equations

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

instance Phenomena.Polarity.Studies.DenicEtAl2021.instReprMechanismVerdict : Repr MechanismVerdict

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.instReprMechanismVerdict = { reprPrec := Phenomena.Polarity.Studies.DenicEtAl2021.instReprMechanismVerdict.repr }

def Phenomena.Polarity.Studies.DenicEtAl2021.exp3_verdict : MechanismVerdict

Equations

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

def Phenomena.Polarity.Studies.DenicEtAl2021.npiItemsTested : List String

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.npiItemsTested = ["any", "ever", "at all"]

def Phenomena.Polarity.Studies.DenicEtAl2021.ppiItemTested : String

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.ppiItemTested = "some"

def Phenomena.Polarity.Studies.DenicEtAl2021.envSignature : MonotonicityEnv → Option Core.NaturalLogic.EntailmentSig

Map the paper's environments to canonical entailment signatures.

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.envSignature Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.UE = some Core.NaturalLogic.EntailmentSig.mono
• Phenomena.Polarity.Studies.DenicEtAl2021.envSignature Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.DE = some Core.NaturalLogic.EntailmentSig.antiAdd
• Phenomena.Polarity.Studies.DenicEtAl2021.envSignature Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.DN = some Core.NaturalLogic.EntailmentSig.addMult
• Phenomena.Polarity.Studies.DenicEtAl2021.envSignature Phenomena.Polarity.Studies.DenicEtAl2021.MonotonicityEnv.NM = none

theorem Phenomena.Polarity.Studies.DenicEtAl2021.de_env_is_de : Core.NaturalLogic.EntailmentSig.antiAdd.toContextPolarity = Core.NaturalLogic.ContextPolarity.downward

The DE environment maps to a DE-side signature.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.isGloballyUE_from_signature (env : MonotonicityEnv) : env.isGloballyUE = match envSignature env with | some sig => sig.toContextPolarity == Core.NaturalLogic.ContextPolarity.upward | none => false

isGloballyUE is derived from the signature map, not stipulated.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.de_composed_is_ue (φ ψ : Core.NaturalLogic.EntailmentSig) (hφ : φ.toContextPolarity = Core.NaturalLogic.ContextPolarity.downward) (hψ : ψ.toContextPolarity = Core.NaturalLogic.ContextPolarity.downward) : (φ * ψ).toContextPolarity = Core.NaturalLogic.ContextPolarity.upward

Any composition of two DE-side signatures is UE under ContextPolarity.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.contextPolarity_blind_to_dn (φ ψ : Core.NaturalLogic.EntailmentSig) (hφ : φ.toContextPolarity = Core.NaturalLogic.ContextPolarity.downward) (hψ : ψ.toContextPolarity = Core.NaturalLogic.ContextPolarity.downward) : (φ * ψ).toContextPolarity = Core.NaturalLogic.EntailmentSig.mono.toContextPolarity

ContextPolarity cannot distinguish ANY doubly-negative environment from simple UE.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.dn_signatures_vary : Core.NaturalLogic.EntailmentSig.antiAddMult.compose Core.NaturalLogic.EntailmentSig.antiAddMult ≠ Core.NaturalLogic.EntailmentSig.antiAdd.compose Core.NaturalLogic.EntailmentSig.antiMult

EntailmentSig preserves DN–UE distinctions that ContextPolarity erases.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.ue_strength_distinguishes_dn_ue : Core.NaturalLogic.EntailmentSig.addMult.toUEStrength = some Core.NaturalLogic.UEStrength.additive ∧ Core.NaturalLogic.EntailmentSig.mono.toUEStrength = some Core.NaturalLogic.UEStrength.weak

UE strength distinguishes DN from UE.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.dn_has_no_de_strength : Core.NaturalLogic.EntailmentSig.addMult.toDEStrength = none

DN has no DE strength.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.ppi_reveals_coarsening_failure : (∀ (φ ψ : Core.NaturalLogic.EntailmentSig), φ.toContextPolarity = Core.NaturalLogic.ContextPolarity.downward → ψ.toContextPolarity = Core.NaturalLogic.ContextPolarity.downward → (φ * ψ).toContextPolarity = Core.NaturalLogic.EntailmentSig.mono.toContextPolarity) ∧ Core.NaturalLogic.EntailmentSig.addMult.toUEStrength ≠ Core.NaturalLogic.EntailmentSig.mono.toUEStrength ∧ exp1_ppi_DN.significant = true ∧ exp1_ppi_UE.significant = false

Central theorem: PPI effect reveals a distinction that ContextPolarity provably cannot make.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.npi_targets_signatureless_env : envSignature MonotonicityEnv.NM = none ∧ exp1_npi_NM.significant = true ∧ exp1_npi_DN.significant = false ∧ exp1_npi_UE.significant = false ∧ exp1_npi_DE.significant = false

NPI effects target environments with no determinate signature.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.ppi_targets_composite_ue_env : envSignature MonotonicityEnv.DN = some Core.NaturalLogic.EntailmentSig.addMult ∧ Core.NaturalLogic.EntailmentSig.addMult ≠ Core.NaturalLogic.EntailmentSig.mono ∧ Core.NaturalLogic.EntailmentSig.addMult.toUEStrength ≠ Core.NaturalLogic.EntailmentSig.mono.toUEStrength ∧ exp1_ppi_DN.significant = true ∧ exp1_ppi_UE.significant = false ∧ exp1_ppi_DE.significant = false ∧ exp1_ppi_NM.significant = false

PPI effects target environments with composite UE signatures.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.tested_npis_are_npis : Fragments.English.PolarityItems.any.isNPI = true ∧ Fragments.English.PolarityItems.ever.isNPI = true ∧ Fragments.English.PolarityItems.atAll.isNPI = true

The NPIs tested are classified as NPIs in the Fragment lexicon.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.tested_ppi_is_ppi : Fragments.English.PolarityItems.some_ppi.isPPI = true

The PPI tested is classified as a PPI in the Fragment lexicon.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.tested_npis_all_strengthening : Fragments.English.PolarityItems.any.scalarDirection = Core.Lexical.PolarityItem.ScalarDirection.strengthening ∧ Fragments.English.PolarityItems.ever.scalarDirection = Core.Lexical.PolarityItem.ScalarDirection.strengthening ∧ Fragments.English.PolarityItems.atAll.scalarDirection = Core.Lexical.PolarityItem.ScalarDirection.strengthening

The tested NPIs are all strengthening (@cite{israel-2001} Figure 1) but have heterogeneous semantic bases — the mechanism isn't purely about domain widening (§10.2).

theorem Phenomena.Polarity.Studies.DenicEtAl2021.mechanism_constraints : exp1_npi_NM.significant = true ∧ Fragments.English.PolarityItems.atAll.baseForce ≠ Fragments.English.PolarityItems.any.baseForce ∧ exp3_npi_NM_controlled.significant = true ∧ Fragments.English.PolarityItems.ever.baseForce ≠ Fragments.English.PolarityItems.any.baseForce

Mechanism constraints: effect persists across semantically heterogeneous NPIs (different base forces) and without domain widening. The heterogeneity that matters for the non-scalar argument is in baseForce (existential vs temporal vs degree), not in scalar direction — all three are strengthening per @cite{israel-2001}.

def Phenomena.Polarity.Studies.DenicEtAl2021.predictNPIEffect (env : MonotonicityEnv) : Bool

Predict NPI significance from signature.

Equations

• Phenomena.Polarity.Studies.DenicEtAl2021.predictNPIEffect env = match Phenomena.Polarity.Studies.DenicEtAl2021.envSignature env with | none => true | some val => false

def Phenomena.Polarity.Studies.DenicEtAl2021.predictPPIEffect (env : MonotonicityEnv) : Bool

Predict PPI significance from signature.

Equations

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

theorem Phenomena.Polarity.Studies.DenicEtAl2021.npi_prediction_matches_data : predictNPIEffect MonotonicityEnv.NM = exp1_npi_NM.significant ∧ predictNPIEffect MonotonicityEnv.DN = exp1_npi_DN.significant ∧ predictNPIEffect MonotonicityEnv.UE = exp1_npi_UE.significant ∧ predictNPIEffect MonotonicityEnv.DE = exp1_npi_DE.significant

NPI prediction matches all 4 experimental environments.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.ppi_prediction_matches_data : predictPPIEffect MonotonicityEnv.NM = exp1_ppi_NM.significant ∧ predictPPIEffect MonotonicityEnv.DN = exp1_ppi_DN.significant ∧ predictPPIEffect MonotonicityEnv.UE = exp1_ppi_UE.significant ∧ predictPPIEffect MonotonicityEnv.DE = exp1_ppi_DE.significant

PPI prediction matches all 4 experimental environments.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.experiment1_predictions_match : (experiment1.all fun (f : PIInfluence) => (match f.piCondition with | PICondition.npi => predictNPIEffect f.environment | PICondition.ppi => predictPPIEffect f.environment | x => f.significant) == f.significant) = true

Algebraic predictions agree with all 8 empirical data points.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.observed_pattern_matches_predictions : observedPattern.npi_affects_NM = predictNPIEffect MonotonicityEnv.NM ∧ observedPattern.npi_affects_DN = predictNPIEffect MonotonicityEnv.DN ∧ observedPattern.ppi_affects_NM = predictPPIEffect MonotonicityEnv.NM ∧ observedPattern.ppi_affects_DN = predictPPIEffect MonotonicityEnv.DN

Observed pattern matches signature-based predictions.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.shift_directions_match_pi_polarity : exp1_npi_NM.shiftDirection = some MonotonicityEnv.DE ∧ exp1_npi_NM.piCondition = PICondition.npi ∧ exp1_ppi_DN.shiftDirection = some MonotonicityEnv.UE ∧ exp1_ppi_DN.piCondition = PICondition.ppi

Shift directions match PI polarity.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.significant_findings_environments : exp1_npi_NM.environment = MonotonicityEnv.NM ∧ exp1_ppi_DN.environment = MonotonicityEnv.DN

Significant findings' environments match predicted environments.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.mechanism_verdict_linked : exp3_verdict.mechanism = Mechanism.scalarSideEffect ∧ exp3_verdict.ruledOutAsSole = true

Mechanism verdict linked to data file.

theorem Phenomena.Polarity.Studies.DenicEtAl2021.npi_items_match_fragment : npiItemsTested = [Fragments.English.PolarityItems.any.form, Fragments.English.PolarityItems.ever.form, Fragments.English.PolarityItems.atAll.form]

NPI items match Fragment lexicon entries by surface form.