DenicEtAl2021: experimental results (generated)

Auto-generated from Linglib/Data/Experiments/DenicEtAl2021.json by scripts/gen_experiments.py. Do not edit by hand: edit the JSON and re-run the generator.

Four inference-rating experiments on Amazon Mechanical Turk. A premise and a conclusion differ in a superset and a subset verb phrase (see birds, see doves) inside one of ten environments, and participants rated on a continuous bar how far the conclusion follows. The premise carried a negative polarity item, the positive polarity item some, or none. A directional rating keeps a subset to superset rating and reverses a superset to subset one (100 minus the rating). Effects are Bayesian mixed-model coefficients with 95% credible intervals and the posterior probability of the reported sign.

Raw data

• https://github.com/milicaden/polarity-items-monotonicity-inferences: The material, data, analysis script and model output, as linked in §2.

References

• [DHRC21]

inductive DenicEtAl2021.Experiment : Type

An experiment of the paper.

• exp1 : Experiment

  Experiment 1: polarity items in the premise only

• exp2 : Experiment

  Experiment 2: a polarity item in the premise repeated in the conclusion

• exp3 : Experiment

  Experiment 3: Experiment 1 with the doubly negative environments added

• exp4 : Experiment

  Experiment 4: Experiment 3 with the polarity item condition of an environment between participants

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqExperiment : DecidableEq Experiment

Equations

• DenicEtAl2021.instDecidableEqExperiment x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DenicEtAl2021.instReprExperiment : Repr Experiment

Equations

• DenicEtAl2021.instReprExperiment = { reprPrec := DenicEtAl2021.instReprExperiment.repr }

def DenicEtAl2021.instReprExperiment.repr : Experiment → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instFintypeExperiment : Fintype Experiment

Equations

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

inductive DenicEtAl2021.Monotonicity : Type

The class of an environment.

• ue : Monotonicity

  UE: upward entailing

• de : Monotonicity

  DE: downward entailing

• nm : Monotonicity

  NM: non-monotone

• dn : Monotonicity

  DN: doubly negative, a downward-entailing operator inside another

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqMonotonicity : DecidableEq Monotonicity

Equations

• DenicEtAl2021.instDecidableEqMonotonicity x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DenicEtAl2021.instReprMonotonicity : Repr Monotonicity

Equations

• DenicEtAl2021.instReprMonotonicity = { reprPrec := DenicEtAl2021.instReprMonotonicity.repr }

def DenicEtAl2021.instReprMonotonicity.repr : Monotonicity → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instFintypeMonotonicity : Fintype Monotonicity

Equations

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

inductive DenicEtAl2021.Environment : Type

An environment the verb phrase of a premise and its conclusion occurs in.

• positive : Environment

  positive: The purple alien saw birds.

• every : Environment

  Every: Every alien saw birds.

• many : Environment

  Many: Many aliens saw birds.

• negative : Environment

  negative: The purple alien didn't see birds.

• no : Environment

  No: No alien saw birds.

• few : Environment

  Few: Few aliens saw birds.

• exactly12 : Environment

  Exactly 12: Exactly 12 aliens saw birds.

• only12 : Environment

  Only 12: Only 12 aliens saw birds.

• everyNot : Environment

  Every-not: Every alien who did not see birds is hairy.

• noWithout : Environment

  No-without: No alien spent a year without seeing birds.

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqEnvironment : DecidableEq Environment

Equations

• DenicEtAl2021.instDecidableEqEnvironment x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DenicEtAl2021.instReprEnvironment : Repr Environment

Equations

• DenicEtAl2021.instReprEnvironment = { reprPrec := DenicEtAl2021.instReprEnvironment.repr }

def DenicEtAl2021.instReprEnvironment.repr : Environment → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instFintypeEnvironment : Fintype Environment

Equations

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

inductive DenicEtAl2021.Direction : Type

The order of the verb phrases of the premise and the conclusion.

• supersetToSubset : Direction

  superset/subset: the superset verb phrase in the premise, the subset one in the conclusion

• subsetToSuperset : Direction

  subset/superset: the subset verb phrase in the premise, the superset one in the conclusion

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqDirection : DecidableEq Direction

Equations

• DenicEtAl2021.instDecidableEqDirection x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def DenicEtAl2021.instReprDirection.repr : Direction → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprDirection : Repr Direction

Equations

• DenicEtAl2021.instReprDirection = { reprPrec := DenicEtAl2021.instReprDirection.repr }

@[instance_reducible]

instance DenicEtAl2021.instFintypeDirection : Fintype Direction

Equations

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

inductive DenicEtAl2021.PI : Type

The polarity item condition of a premise.

• npi : PI

  NPI: a negative polarity item, any or at all

• ppi : PI

  PPI: the positive polarity item some

• noPI : PI

  no PI: no polarity item

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqPI : DecidableEq PI

Equations

• DenicEtAl2021.instDecidableEqPI x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def DenicEtAl2021.instReprPI.repr : PI → ℕ → Std.Format

Equations

• DenicEtAl2021.instReprPI.repr DenicEtAl2021.PI.npi prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "DenicEtAl2021.PI.npi")).group prec✝
• DenicEtAl2021.instReprPI.repr DenicEtAl2021.PI.ppi prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "DenicEtAl2021.PI.ppi")).group prec✝
• DenicEtAl2021.instReprPI.repr DenicEtAl2021.PI.noPI prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "DenicEtAl2021.PI.noPI")).group prec✝

@[instance_reducible]

instance DenicEtAl2021.instReprPI : Repr PI

Equations

• DenicEtAl2021.instReprPI = { reprPrec := DenicEtAl2021.instReprPI.repr }

@[instance_reducible]

instance DenicEtAl2021.instFintypePI : Fintype PI

Equations

• DenicEtAl2021.instFintypePI = { elems := { val := ↑DenicEtAl2021.PI.enumList, nodup := DenicEtAl2021.PI.enumList_nodup }, complete := DenicEtAl2021.instFintypePI._proof_1 }

inductive DenicEtAl2021.Rating : Type

A rating of one inference direction.

• ueRating : Rating

  UE-rating: the rating of a subset to superset inference

• deRating : Rating

  DE-rating: the rating of a superset to subset inference

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqRating : DecidableEq Rating

Equations

• DenicEtAl2021.instDecidableEqRating x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DenicEtAl2021.instReprRating : Repr Rating

Equations

• DenicEtAl2021.instReprRating = { reprPrec := DenicEtAl2021.instReprRating.repr }

def DenicEtAl2021.instReprRating.repr : Rating → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instFintypeRating : Fintype Rating

Equations

• DenicEtAl2021.instFintypeRating = { elems := { val := ↑DenicEtAl2021.Rating.enumList, nodup := DenicEtAl2021.Rating.enumList_nodup }, complete := DenicEtAl2021.instFintypeRating._proof_1 }

inductive DenicEtAl2021.Tail : Type

The side of zero whose posterior probability is reported.

• belowZero : Tail

  P(β < 0): the probability that the coefficient is negative

• aboveZero : Tail

  P(β > 0): the probability that the coefficient is positive

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqTail : DecidableEq Tail

Equations

• DenicEtAl2021.instDecidableEqTail x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def DenicEtAl2021.instReprTail.repr : Tail → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprTail : Repr Tail

Equations

• DenicEtAl2021.instReprTail = { reprPrec := DenicEtAl2021.instReprTail.repr }

@[instance_reducible]

instance DenicEtAl2021.instFintypeTail : Fintype Tail

Equations

• DenicEtAl2021.instFintypeTail = { elems := { val := ↑DenicEtAl2021.Tail.enumList, nodup := DenicEtAl2021.Tail.enumList_nodup }, complete := DenicEtAl2021.instFintypeTail._proof_1 }

def DenicEtAl2021.verbPhrasePairs : ℕ

Superset and subset verb phrase pairs, Experiments 1 to 3. (§3.1.2, p. 3; checked against the page images.)

Equations

• DenicEtAl2021.verbPhrasePairs = 12

def DenicEtAl2021.verbPhrasePairsExp4 : ℕ

Superset and subset verb phrase pairs, Experiment 4. (§7.1.2, p. 7; checked against the page images.)

Equations

• DenicEtAl2021.verbPhrasePairsExp4 = 10

def DenicEtAl2021.minResponseTime : Data.Experiments.Decimal

Responses faster than this many seconds were removed. (§3.2, p. 4; checked against the page images.)

Equations

• DenicEtAl2021.minResponseTime = { mantissa := 14, exponent := 1 }

def DenicEtAl2021.maxResponseTime : Data.Experiments.Decimal

Responses slower than this many seconds were removed. (§3.2, p. 4; checked against the page images.)

Equations

• DenicEtAl2021.maxResponseTime = { mantissa := 10, exponent := 0 }

structure DenicEtAl2021.EnvironmentRow : Type

A row of §3.1.2 and (14)–(21), pp. 3–4; (23)–(24), p. 6: the class of each environment.

• monotonicity : Monotonicity

  Its class.

def DenicEtAl2021.instDecidableEqEnvironmentRow.decEq (x✝ x✝¹ : EnvironmentRow) : Decidable (x✝ = x✝¹)

Equations

• DenicEtAl2021.instDecidableEqEnvironmentRow.decEq { monotonicity := a } { monotonicity := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqEnvironmentRow : DecidableEq EnvironmentRow

Equations

• DenicEtAl2021.instDecidableEqEnvironmentRow = DenicEtAl2021.instDecidableEqEnvironmentRow.decEq

def DenicEtAl2021.instReprEnvironmentRow.repr : EnvironmentRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprEnvironmentRow : Repr EnvironmentRow

Equations

• DenicEtAl2021.instReprEnvironmentRow = { reprPrec := DenicEtAl2021.instReprEnvironmentRow.repr }

def DenicEtAl2021.environments : Environment → EnvironmentRow

The cells of §3.1.2 and (14)–(21), pp. 3–4; (23)–(24), p. 6, by environment; checked against the page images.

Equations

• DenicEtAl2021.environments DenicEtAl2021.Environment.positive = { monotonicity := DenicEtAl2021.Monotonicity.ue }
• DenicEtAl2021.environments DenicEtAl2021.Environment.every = { monotonicity := DenicEtAl2021.Monotonicity.ue }
• DenicEtAl2021.environments DenicEtAl2021.Environment.many = { monotonicity := DenicEtAl2021.Monotonicity.ue }
• DenicEtAl2021.environments DenicEtAl2021.Environment.negative = { monotonicity := DenicEtAl2021.Monotonicity.de }
• DenicEtAl2021.environments DenicEtAl2021.Environment.no = { monotonicity := DenicEtAl2021.Monotonicity.de }
• DenicEtAl2021.environments DenicEtAl2021.Environment.few = { monotonicity := DenicEtAl2021.Monotonicity.de }
• DenicEtAl2021.environments DenicEtAl2021.Environment.exactly12 = { monotonicity := DenicEtAl2021.Monotonicity.nm }
• DenicEtAl2021.environments DenicEtAl2021.Environment.only12 = { monotonicity := DenicEtAl2021.Monotonicity.nm }
• DenicEtAl2021.environments DenicEtAl2021.Environment.everyNot = { monotonicity := DenicEtAl2021.Monotonicity.dn }
• DenicEtAl2021.environments DenicEtAl2021.Environment.noWithout = { monotonicity := DenicEtAl2021.Monotonicity.dn }

structure DenicEtAl2021.Participants : Type

A row of §3.1.3, p. 4; §4.1.3, p. 5; §6.1.3, pp. 6–7; §7.1.3, p. 7: the participants of an experiment, recruited on Amazon Mechanical Turk.

• recruited : ℕ

  Recruited.

• female : ℕ

  Recruited and female.

• nonNative : ℕ

  Excluded as not native speakers of English.

• monotonicityCheck : ℕ

  Further excluded for not rating the upward and downward inferences higher in the upward and downward entailing environments respectively.

• kept : ℕ

  Kept for the analysis.

• keptFemale : ℕ

  Kept and female.

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqParticipants : DecidableEq Participants

Equations

• DenicEtAl2021.instDecidableEqParticipants = DenicEtAl2021.instDecidableEqParticipants.decEq

def DenicEtAl2021.instDecidableEqParticipants.decEq (x✝ x✝¹ : Participants) : Decidable (x✝ = x✝¹)

Equations

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

def DenicEtAl2021.instReprParticipants.repr : Participants → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprParticipants : Repr Participants

Equations

• DenicEtAl2021.instReprParticipants = { reprPrec := DenicEtAl2021.instReprParticipants.repr }

def DenicEtAl2021.participants : Experiment → Participants

The cells of §3.1.3, p. 4; §4.1.3, p. 5; §6.1.3, pp. 6–7; §7.1.3, p. 7, by experiment; checked against the page images.

Equations

• DenicEtAl2021.participants DenicEtAl2021.Experiment.exp1 = { recruited := 75, female := 38, nonNative := 1, monotonicityCheck := 8, kept := 66, keptFemale := 32 }
• DenicEtAl2021.participants DenicEtAl2021.Experiment.exp2 = { recruited := 72, female := 35, nonNative := 1, monotonicityCheck := 7, kept := 64, keptFemale := 28 }
• DenicEtAl2021.participants DenicEtAl2021.Experiment.exp3 = { recruited := 112, female := 69, nonNative := 7, monotonicityCheck := 13, kept := 92, keptFemale := 53 }
• DenicEtAl2021.participants DenicEtAl2021.Experiment.exp4 = { recruited := 81, female := 43, nonNative := 4, monotonicityCheck := 6, kept := 71, keptFemale := 36 }

structure DenicEtAl2021.ResponseExclusion : Type

A row of §3.2, p. 4; §4.2, p. 5; §6.2, p. 7; §7.2, p. 7: the responses removed for their response time, in percent of the data.

• fast : Data.Experiments.Decimal

  Faster than the minimum response time.

• slow : Data.Experiments.Decimal

  Slower than the maximum response time.

def DenicEtAl2021.instDecidableEqResponseExclusion.decEq (x✝ x✝¹ : ResponseExclusion) : Decidable (x✝ = x✝¹)

Equations

• DenicEtAl2021.instDecidableEqResponseExclusion.decEq { fast := a, slow := a_1 } { fast := b, slow := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqResponseExclusion : DecidableEq ResponseExclusion

Equations

• DenicEtAl2021.instDecidableEqResponseExclusion = DenicEtAl2021.instDecidableEqResponseExclusion.decEq

@[instance_reducible]

instance DenicEtAl2021.instReprResponseExclusion : Repr ResponseExclusion

Equations

• DenicEtAl2021.instReprResponseExclusion = { reprPrec := DenicEtAl2021.instReprResponseExclusion.repr }

def DenicEtAl2021.instReprResponseExclusion.repr : ResponseExclusion → ℕ → Std.Format

Equations

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

def DenicEtAl2021.responseExclusions : Experiment → ResponseExclusion

The cells of §3.2, p. 4; §4.2, p. 5; §6.2, p. 7; §7.2, p. 7, by experiment; checked against the page images.

Equations

• DenicEtAl2021.responseExclusions DenicEtAl2021.Experiment.exp1 = { fast := { mantissa := 1, exponent := 0 }, slow := { mantissa := 9, exponent := 0 } }
• DenicEtAl2021.responseExclusions DenicEtAl2021.Experiment.exp2 = { fast := { mantissa := 6, exponent := 0 }, slow := { mantissa := 7, exponent := 0 } }
• DenicEtAl2021.responseExclusions DenicEtAl2021.Experiment.exp3 = { fast := { mantissa := 4, exponent := 0 }, slow := { mantissa := 13, exponent := 0 } }
• DenicEtAl2021.responseExclusions DenicEtAl2021.Experiment.exp4 = { fast := { mantissa := 8, exponent := 0 }, slow := { mantissa := 10, exponent := 0 } }

structure DenicEtAl2021.Training : Type

A row of §3.2, p. 4; §4.2, p. 5; §6.2, p. 7; §7.2, p. 7: the mean ratings of the three training items (11)–(13), in percent.

• valid : Data.Experiments.Decimal

  The clearly valid inference (11).

• invalid : Data.Experiments.Decimal

  The clearly invalid inference (12).

• intermediate : Data.Experiments.Decimal

  The intermediate inference (13).

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqTraining : DecidableEq Training

Equations

• DenicEtAl2021.instDecidableEqTraining = DenicEtAl2021.instDecidableEqTraining.decEq

def DenicEtAl2021.instDecidableEqTraining.decEq (x✝ x✝¹ : Training) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprTraining : Repr Training

Equations

• DenicEtAl2021.instReprTraining = { reprPrec := DenicEtAl2021.instReprTraining.repr }

def DenicEtAl2021.instReprTraining.repr : Training → ℕ → Std.Format

Equations

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

def DenicEtAl2021.training : Experiment → Training

The cells of §3.2, p. 4; §4.2, p. 5; §6.2, p. 7; §7.2, p. 7, by experiment; checked against the page images.

Equations

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

structure DenicEtAl2021.ClassRating : Type

A row of §3.2, p. 4: the mean ratings of Experiment 1 by environment class, whatever the polarity item, in percent.

• monotonicity : Monotonicity

  The class.

• rating : Rating

  The rated direction.

• mean : Data.Experiments.Decimal

  The mean.

• sd : Data.Experiments.Decimal

  The standard deviation.

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqClassRating : DecidableEq ClassRating

Equations

• DenicEtAl2021.instDecidableEqClassRating = DenicEtAl2021.instDecidableEqClassRating.decEq

def DenicEtAl2021.instDecidableEqClassRating.decEq (x✝ x✝¹ : ClassRating) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprClassRating : Repr ClassRating

Equations

• DenicEtAl2021.instReprClassRating = { reprPrec := DenicEtAl2021.instReprClassRating.repr }

def DenicEtAl2021.instReprClassRating.repr : ClassRating → ℕ → Std.Format

Equations

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

def DenicEtAl2021.classRatings : List ClassRating

The 6 rows of §3.2, p. 4, in the paper's order; checked against the page images.

Equations

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

structure DenicEtAl2021.DirectionalMean : Type

A row of §3.2, p. 4; §4.2, p. 6; §6.2, p. 7; §7.2, p. 8: the mean directional ratings by polarity item condition, in percent.

• experiment : Experiment

  The experiment.

• monotonicity : Monotonicity

  The class.

• pi : PI

  The polarity item condition.

• mean : Data.Experiments.Decimal

  The mean.

• sd : Data.Experiments.Decimal

  The standard deviation.

def DenicEtAl2021.instDecidableEqDirectionalMean.decEq (x✝ x✝¹ : DirectionalMean) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqDirectionalMean : DecidableEq DirectionalMean

Equations

• DenicEtAl2021.instDecidableEqDirectionalMean = DenicEtAl2021.instDecidableEqDirectionalMean.decEq

@[instance_reducible]

instance DenicEtAl2021.instReprDirectionalMean : Repr DirectionalMean

Equations

• DenicEtAl2021.instReprDirectionalMean = { reprPrec := DenicEtAl2021.instReprDirectionalMean.repr }

def DenicEtAl2021.instReprDirectionalMean.repr : DirectionalMean → ℕ → Std.Format

Equations

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

def DenicEtAl2021.directionalMeans : List DirectionalMean

The 18 rows of §3.2, p. 4; §4.2, p. 6; §6.2, p. 7; §7.2, p. 8, in the paper's order; checked against the page images.

Equations

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

structure DenicEtAl2021.PIEffect : Type

A row of §3.4, p. 5; §4.3, p. 6; §6.3, p. 7; §7.3, p. 8; §8.1, p. 8: the effect of a polarity item against none on the directional ratings of a class, by experiment and in the meta- analysis over all four.

• experiment : Option Experiment

  The experiment, none for the meta-analysis.

• monotonicity : Monotonicity

  The class.

• pi : PI

  The polarity item.

• estimate : Data.Experiments.Decimal

  The posterior estimate E(μ).

• ciLow : Data.Experiments.Decimal

  The lower end of the 95% credible interval.

• ciHigh : Data.Experiments.Decimal

  The upper end of the 95% credible interval.

• tail : Tail

  The side of zero whose posterior probability is reported.

• posterior : Data.Experiments.Decimal

  That posterior probability.

def DenicEtAl2021.instDecidableEqPIEffect.decEq (x✝ x✝¹ : PIEffect) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqPIEffect : DecidableEq PIEffect

Equations

• DenicEtAl2021.instDecidableEqPIEffect = DenicEtAl2021.instDecidableEqPIEffect.decEq

@[instance_reducible]

instance DenicEtAl2021.instReprPIEffect : Repr PIEffect

Equations

• DenicEtAl2021.instReprPIEffect = { reprPrec := DenicEtAl2021.instReprPIEffect.repr }

def DenicEtAl2021.instReprPIEffect.repr : PIEffect → ℕ → Std.Format

Equations

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

def DenicEtAl2021.piEffects : List PIEffect

The 16 rows of §3.4, p. 5; §4.3, p. 6; §6.3, p. 7; §7.3, p. 8; §8.1, p. 8, in the paper's order; checked against the page images.

Equations

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

structure DenicEtAl2021.RatingEffect : Type

A row of Table 1, p. 9: the effect of a polarity item against none on one rating of a class, pooled over the four experiments, in Table 1.

• monotonicity : Monotonicity

  The class.

• pi : PI

  The polarity item.

• rating : Rating

  The rating.

• meanPI : Data.Experiments.Decimal

  The mean rating with the item, in percent.

• sdPI : Data.Experiments.Decimal

  Its standard deviation.

• meanNoPI : Data.Experiments.Decimal

  The mean rating without a polarity item, in percent.

• sdNoPI : Data.Experiments.Decimal

  Its standard deviation.

• estimate : Data.Experiments.Decimal

  The posterior estimate E(μ).

• ciLow : Data.Experiments.Decimal

  The lower end of the 95% credible interval.

• ciHigh : Data.Experiments.Decimal

  The upper end of the 95% credible interval.

• tail : Tail

  The side of zero whose posterior probability is reported.

• posterior : Data.Experiments.Decimal

  That posterior probability.

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqRatingEffect : DecidableEq RatingEffect

Equations

• DenicEtAl2021.instDecidableEqRatingEffect = DenicEtAl2021.instDecidableEqRatingEffect.decEq

def DenicEtAl2021.instDecidableEqRatingEffect.decEq (x✝ x✝¹ : RatingEffect) : Decidable (x✝ = x✝¹)

Equations

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

def DenicEtAl2021.instReprRatingEffect.repr : RatingEffect → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprRatingEffect : Repr RatingEffect

Equations

• DenicEtAl2021.instReprRatingEffect = { reprPrec := DenicEtAl2021.instReprRatingEffect.repr }

def DenicEtAl2021.ratingEffects : List RatingEffect

The 8 rows of Table 1, p. 9, in the paper's order; checked against the page images.

Equations

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

structure DenicEtAl2021.Interaction : Type

A row of §8.3, p. 9: the difference between two classes in the effect of a polarity item on directional ratings, the first class against the second.

• pi : PI

  The polarity item.

• first : Monotonicity

  The class whose effect is compared.

• second : Monotonicity

  The class it is compared with.

• estimate : Data.Experiments.Decimal

  The posterior estimate E(μ).

• ciLow : Data.Experiments.Decimal

  The lower end of the 95% credible interval.

• ciHigh : Data.Experiments.Decimal

  The upper end of the 95% credible interval.

• tail : Tail

  The side of zero whose posterior probability is reported.

• posterior : Data.Experiments.Decimal

  That posterior probability.

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqInteraction : DecidableEq Interaction

Equations

• DenicEtAl2021.instDecidableEqInteraction = DenicEtAl2021.instDecidableEqInteraction.decEq

def DenicEtAl2021.instDecidableEqInteraction.decEq (x✝ x✝¹ : Interaction) : Decidable (x✝ = x✝¹)

Equations

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

def DenicEtAl2021.instReprInteraction.repr : Interaction → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprInteraction : Repr Interaction

Equations

• DenicEtAl2021.instReprInteraction = { reprPrec := DenicEtAl2021.instReprInteraction.repr }

def DenicEtAl2021.interactions : List Interaction

The 6 rows of §8.3, p. 9, in the paper's order; checked against the page images.

Equations

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

structure DenicEtAl2021.ClassMean : Type

A row of Appendix A, Table A1, p. 13: the mean ratings of each class over the four experiments, whatever the polarity item, in percent, Table A1.

• meanDE : Data.Experiments.Decimal

  The mean DE-rating.

• sdDE : Data.Experiments.Decimal

  Its standard deviation.

• meanUE : Data.Experiments.Decimal

  The mean UE-rating.

• sdUE : Data.Experiments.Decimal

  Its standard deviation.

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqClassMean : DecidableEq ClassMean

Equations

• DenicEtAl2021.instDecidableEqClassMean = DenicEtAl2021.instDecidableEqClassMean.decEq

def DenicEtAl2021.instDecidableEqClassMean.decEq (x✝ x✝¹ : ClassMean) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprClassMean : Repr ClassMean

Equations

• DenicEtAl2021.instReprClassMean = { reprPrec := DenicEtAl2021.instReprClassMean.repr }

def DenicEtAl2021.instReprClassMean.repr : ClassMean → ℕ → Std.Format

Equations

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

def DenicEtAl2021.classMeans : Monotonicity → ClassMean

The cells of Appendix A, Table A1, p. 13, by monotonicity; checked against the page images.

Equations

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

structure DenicEtAl2021.ClassContrast : Type

A row of Appendix A, p. 13: the difference in one rating between two classes, the first against the second, pooled over the four experiments.

• rating : Rating

  The rating.

• first : Monotonicity

  The class rated lower by the estimate's sign.

• second : Monotonicity

  The class it is compared with.

• estimate : Data.Experiments.Decimal

  The posterior estimate E(μ).

• ciLow : Data.Experiments.Decimal

  The lower end of the 95% credible interval.

• ciHigh : Data.Experiments.Decimal

  The upper end of the 95% credible interval.

• tail : Tail

  The side of zero whose posterior probability is reported.

• posterior : Data.Experiments.Decimal

  That posterior probability.

def DenicEtAl2021.instDecidableEqClassContrast.decEq (x✝ x✝¹ : ClassContrast) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqClassContrast : DecidableEq ClassContrast

Equations

• DenicEtAl2021.instDecidableEqClassContrast = DenicEtAl2021.instDecidableEqClassContrast.decEq

def DenicEtAl2021.instReprClassContrast.repr : ClassContrast → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprClassContrast : Repr ClassContrast

Equations

• DenicEtAl2021.instReprClassContrast = { reprPrec := DenicEtAl2021.instReprClassContrast.repr }

def DenicEtAl2021.classContrasts : List ClassContrast

The 6 rows of Appendix A, p. 13, in the paper's order; checked against the page images.

Equations

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

structure DenicEtAl2021.InstanceInteraction : Type

A row of Appendix B, p. 13: the difference between the two environments of a class in the effect of a polarity item on directional ratings, pooled over the four experiments.

• pi : PI

  The polarity item.

• first : Environment

  The environment whose effect is compared.

• second : Environment

  The environment it is compared with.

• estimate : Data.Experiments.Decimal

  The posterior estimate E(μ).

• ciLow : Data.Experiments.Decimal

  The lower end of the 95% credible interval.

• ciHigh : Data.Experiments.Decimal

  The upper end of the 95% credible interval.

• tail : Tail

  The side of zero whose posterior probability is reported.

• posterior : Data.Experiments.Decimal

  That posterior probability.

def DenicEtAl2021.instDecidableEqInstanceInteraction.decEq (x✝ x✝¹ : InstanceInteraction) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqInstanceInteraction : DecidableEq InstanceInteraction

Equations

• DenicEtAl2021.instDecidableEqInstanceInteraction = DenicEtAl2021.instDecidableEqInstanceInteraction.decEq

def DenicEtAl2021.instReprInstanceInteraction.repr : InstanceInteraction → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprInstanceInteraction : Repr InstanceInteraction

Equations

• DenicEtAl2021.instReprInstanceInteraction = { reprPrec := DenicEtAl2021.instReprInstanceInteraction.repr }

def DenicEtAl2021.instanceInteractions : List InstanceInteraction

The 4 rows of Appendix B, p. 13, in the paper's order; checked against the page images.

Equations

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

structure DenicEtAl2021.InstanceEffect : Type

A row of Appendix B, p. 14: the effect of a polarity item against none on the directional ratings of one environment, pooled over the four experiments.

• pi : PI

  The polarity item.

• environment : Environment

  The environment.

• estimate : Data.Experiments.Decimal

  The posterior estimate E(μ).

• ciLow : Data.Experiments.Decimal

  The lower end of the 95% credible interval.

• ciHigh : Data.Experiments.Decimal

  The upper end of the 95% credible interval.

• tail : Tail

  The side of zero whose posterior probability is reported.

• posterior : Data.Experiments.Decimal

  That posterior probability.

@[instance_reducible]

instance DenicEtAl2021.instDecidableEqInstanceEffect : DecidableEq InstanceEffect

Equations

• DenicEtAl2021.instDecidableEqInstanceEffect = DenicEtAl2021.instDecidableEqInstanceEffect.decEq

def DenicEtAl2021.instDecidableEqInstanceEffect.decEq (x✝ x✝¹ : InstanceEffect) : Decidable (x✝ = x✝¹)

Equations

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

def DenicEtAl2021.instReprInstanceEffect.repr : InstanceEffect → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance DenicEtAl2021.instReprInstanceEffect : Repr InstanceEffect

Equations

• DenicEtAl2021.instReprInstanceEffect = { reprPrec := DenicEtAl2021.instReprInstanceEffect.repr }

def DenicEtAl2021.instanceEffects : List InstanceEffect

The 4 rows of Appendix B, p. 14, in the paper's order; checked against the page images.

Equations

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