BadeEtAl2022: experimental results (generated)

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

One inference-endorsement experiment crossing modal (epistemic might vs deontic allowed to, within subjects) with the structure of the reasoning problem (canonical, flat, reversed, between subjects) and the order of the conjuncts (within subjects). Participants judged whether the conclusion follows from the premises; targets had the illusory-inference form modal(a and b), a therefore b. Generalized linear mixed-effects contrasts are reported as printed, with Holm-corrected p-values; the qualitative verdict column is the paper's prose reading of each contrast.

References

• [BPCM22]

inductive BadeEtAl2022.Modal : Type

The modal of the target items; deontic is the models' reference level.

• deontic : Modal

  Deontic: was allowed to

• epistemic : Modal

  Epistemic: might have

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqModal : DecidableEq Modal

Equations

• BadeEtAl2022.instDecidableEqModal x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BadeEtAl2022.instReprModal.repr : Modal → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.
• BadeEtAl2022.instReprModal.repr BadeEtAl2022.Modal.deontic prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "BadeEtAl2022.Modal.deontic")).group prec✝

@[instance_reducible]

instance BadeEtAl2022.instReprModal : Repr Modal

Equations

• BadeEtAl2022.instReprModal = { reprPrec := BadeEtAl2022.instReprModal.repr }

@[instance_reducible]

instance BadeEtAl2022.instFintypeModal : Fintype Modal

Equations

• BadeEtAl2022.instFintypeModal = { elems := { val := ↑BadeEtAl2022.Modal.enumList, nodup := BadeEtAl2022.Modal.enumList_nodup }, complete := BadeEtAl2022.instFintypeModal._proof_1 }

inductive BadeEtAl2022.Structure : Type

The structure of the reasoning problem (12).

• canonical : Structure

  Canonical: modal(a and b); a, therefore b

• flat : Structure

  Flat: a and modal(a and b), therefore b: one sentence, no question-answer dynamic

• reversed : Structure

  Reversed: a; modal(a and b), therefore b

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqStructure : DecidableEq Structure

Equations

• BadeEtAl2022.instDecidableEqStructure x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BadeEtAl2022.instReprStructure : Repr Structure

Equations

• BadeEtAl2022.instReprStructure = { reprPrec := BadeEtAl2022.instReprStructure.repr }

def BadeEtAl2022.instReprStructure.repr : Structure → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instFintypeStructure : Fintype Structure

Equations

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

inductive BadeEtAl2022.Order : Type

Which conjunct of premise 1 appears in premise 2.

• left : Order

  Left: left conjunct in premise 2, right in the conclusion

• right : Order

  Right: right conjunct in premise 2, left in the conclusion

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqOrder : DecidableEq Order

Equations

• BadeEtAl2022.instDecidableEqOrder x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BadeEtAl2022.instReprOrder : Repr Order

Equations

• BadeEtAl2022.instReprOrder = { reprPrec := BadeEtAl2022.instReprOrder.repr }

def BadeEtAl2022.instReprOrder.repr : Order → ℕ → Std.Format

Equations

• BadeEtAl2022.instReprOrder.repr BadeEtAl2022.Order.left prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "BadeEtAl2022.Order.left")).group prec✝
• BadeEtAl2022.instReprOrder.repr BadeEtAl2022.Order.right prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "BadeEtAl2022.Order.right")).group prec✝

@[instance_reducible]

instance BadeEtAl2022.instFintypeOrder : Fintype Order

Equations

• BadeEtAl2022.instFintypeOrder = { elems := { val := ↑BadeEtAl2022.Order.enumList, nodup := BadeEtAl2022.Order.enumList_nodup }, complete := BadeEtAl2022.instFintypeOrder._proof_1 }

inductive BadeEtAl2022.Contrast : Type

The pairwise comparisons of Tables 1-4; the first member is named first.

• canonicalVsBaseline : Contrast

  Canon. vs. no-base.: canonical targets against no-baselines

• canonicalVsReversed : Contrast

  Canon. vs. rev.: canonical against reversed targets

• canonicalVsFlat : Contrast

  Canon. vs. flat: canonical against flat targets

• flatVsBaseline : Contrast

  Flat vs. no-baseline: flat targets against no-baselines

• reversedVsBaseline : Contrast

  Reversed vs. no-baseline: reversed targets against no-baselines

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqContrast : DecidableEq Contrast

Equations

• BadeEtAl2022.instDecidableEqContrast x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BadeEtAl2022.instReprContrast : Repr Contrast

Equations

• BadeEtAl2022.instReprContrast = { reprPrec := BadeEtAl2022.instReprContrast.repr }

def BadeEtAl2022.instReprContrast.repr : Contrast → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instFintypeContrast : Fintype Contrast

Equations

• BadeEtAl2022.instFintypeContrast = { elems := { val := ↑BadeEtAl2022.Contrast.enumList, nodup := BadeEtAl2022.Contrast.enumList_nodup }, complete := BadeEtAl2022.instFintypeContrast._proof_1 }

inductive BadeEtAl2022.Verdict : Type

The paper's prose reading of a contrast: whether the first member drew more yes-responses.

• higher : Verdict

  higher: significantly more yes-responses

• marginallyHigher : Verdict

  marginally higher: only marginally significant

• noDifference : Verdict

  no difference: no significant difference

• lower : Verdict

  lower: significantly fewer yes-responses

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqVerdict : DecidableEq Verdict

Equations

• BadeEtAl2022.instDecidableEqVerdict x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BadeEtAl2022.instReprVerdict : Repr Verdict

Equations

• BadeEtAl2022.instReprVerdict = { reprPrec := BadeEtAl2022.instReprVerdict.repr }

def BadeEtAl2022.instReprVerdict.repr : Verdict → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instFintypeVerdict : Fintype Verdict

Equations

• BadeEtAl2022.instFintypeVerdict = { elems := { val := ↑BadeEtAl2022.Verdict.enumList, nodup := BadeEtAl2022.Verdict.enumList_nodup }, complete := BadeEtAl2022.instFintypeVerdict._proof_1 }

inductive BadeEtAl2022.Bound : Type

How a p-value is printed.

• below : Bound

  <: an upper bound

• exact : Bound

  =: an exact value

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqBound : DecidableEq Bound

Equations

• BadeEtAl2022.instDecidableEqBound x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BadeEtAl2022.instReprBound : Repr Bound

Equations

• BadeEtAl2022.instReprBound = { reprPrec := BadeEtAl2022.instReprBound.repr }

def BadeEtAl2022.instReprBound.repr : Bound → ℕ → Std.Format

Equations

• BadeEtAl2022.instReprBound.repr BadeEtAl2022.Bound.below prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "BadeEtAl2022.Bound.below")).group prec✝
• BadeEtAl2022.instReprBound.repr BadeEtAl2022.Bound.exact prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "BadeEtAl2022.Bound.exact")).group prec✝

@[instance_reducible]

instance BadeEtAl2022.instFintypeBound : Fintype Bound

Equations

• BadeEtAl2022.instFintypeBound = { elems := { val := ↑BadeEtAl2022.Bound.enumList, nodup := BadeEtAl2022.Bound.enumList_nodup }, complete := BadeEtAl2022.instFintypeBound._proof_1 }

inductive BadeEtAl2022.Generator : Type

The alternative-generating item of an illusory-inference paradigm.

• disjunction : Generator

  disjunction: or else

• indefinite : Generator

  indefinite: some pilot

• might : Generator

  might: epistemic might

• allowedTo : Generator

  allowed to: deontic allowed to

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqGenerator : DecidableEq Generator

Equations

• BadeEtAl2022.instDecidableEqGenerator x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BadeEtAl2022.instReprGenerator.repr : Generator → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instReprGenerator : Repr Generator

Equations

• BadeEtAl2022.instReprGenerator = { reprPrec := BadeEtAl2022.instReprGenerator.repr }

@[instance_reducible]

instance BadeEtAl2022.instFintypeGenerator : Fintype Generator

Equations

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

inductive BadeEtAl2022.Criterion : Type

The anatomy of illusory inferences from alternatives (section 3.2).

• fallacy : Criterion

  A Fallacy: more fallacious conclusions than for invalid controls

• orderOfPremises : Criterion

  B Order of premises: fewer fallacious conclusions with reverse order

• dynamics : Criterion

  C Dynamics: no fallacious conclusions without dynamics

• rate : Criterion

  D Rate: rate reflects the available mechanisms

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqCriterion : DecidableEq Criterion

Equations

• BadeEtAl2022.instDecidableEqCriterion x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BadeEtAl2022.instReprCriterion : Repr Criterion

Equations

• BadeEtAl2022.instReprCriterion = { reprPrec := BadeEtAl2022.instReprCriterion.repr }

def BadeEtAl2022.instReprCriterion.repr : Criterion → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instFintypeCriterion : Fintype Criterion

Equations

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

inductive BadeEtAl2022.CriterionVerdict : Type

The paper's verdict on a criterion for a generator.

• satisfied : CriterionVerdict

  satisfied: the criterion holds

• failed : CriterionVerdict

  failed: the criterion fails

• doubtful : CriterionVerdict

  doubtful: the paper calls the status doubtful

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqCriterionVerdict : DecidableEq CriterionVerdict

Equations

• BadeEtAl2022.instDecidableEqCriterionVerdict x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BadeEtAl2022.instReprCriterionVerdict.repr : CriterionVerdict → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instReprCriterionVerdict : Repr CriterionVerdict

Equations

• BadeEtAl2022.instReprCriterionVerdict = { reprPrec := BadeEtAl2022.instReprCriterionVerdict.repr }

@[instance_reducible]

instance BadeEtAl2022.instFintypeCriterionVerdict : Fintype CriterionVerdict

Equations

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

inductive BadeEtAl2022.PriorContrast : Type

The contrasts Mascarenhas and Picat (2019) report, as this paper summarizes them (11).

• canonicalVsControls : PriorContrast

  canonical vs. invalid controls:

• reversedVsControls : PriorContrast

  reversed vs. invalid controls:

• canonicalVsFlat : PriorContrast

  canonical vs. flat:

• flatVsControls : PriorContrast

  flat vs. invalid controls:

• canonicalVsP1 : PriorContrast

  canonical vs. P1: P1: the first premise alone

• canonicalVsReversed : PriorContrast

  canonical vs. reversed: the null result

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqPriorContrast : DecidableEq PriorContrast

Equations

• BadeEtAl2022.instDecidableEqPriorContrast x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def BadeEtAl2022.instReprPriorContrast.repr : PriorContrast → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instReprPriorContrast : Repr PriorContrast

Equations

• BadeEtAl2022.instReprPriorContrast = { reprPrec := BadeEtAl2022.instReprPriorContrast.repr }

@[instance_reducible]

instance BadeEtAl2022.instFintypePriorContrast : Fintype PriorContrast

Equations

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

def BadeEtAl2022.recruited : ℕ

Participants recruited via Prolific. (§2.3.1, p. 2:13; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.recruited = 183

def BadeEtAl2022.excluded : ℕ

Participants excluded (14.2%). (§2.3.1, p. 2:13; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.excluded = 26

def BadeEtAl2022.analyzed : ℕ

Participants analyzed. (§2.3.1, p. 2:13; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.analyzed = 157

def BadeEtAl2022.itemsPerWithinCondition : ℕ

Items per within-subjects condition. (§2.3.1, p. 2:12; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.itemsPerWithinCondition = 6

def BadeEtAl2022.criticalItems : ℕ

Critical items, distributed over four lists per structure group. (§2.3.1, p. 2:13; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.criticalItems = 24

def BadeEtAl2022.controlItems : ℕ

Control items: valid and invalid modus ponens and disjunctive syllogism. (§2.3.1, p. 2:13; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.controlItems = 12

def BadeEtAl2022.baselineItems : ℕ

Baseline items: conjunction elimination, for the error-rate baseline. (§2.3.1, p. 2:13; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.baselineItems = 12

def BadeEtAl2022.problemsPerParticipant : ℕ

Reasoning problems each participant solved. (§2.3.1, p. 2:13; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.problemsPerParticipant = 48

def BadeEtAl2022.experimentalLists : ℕ

Sub-experiments participants were randomly assigned to. (§2.3.1, p. 2:13; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.experimentalLists = 12

def BadeEtAl2022.chiSqStructureModal : Data.Experiments.Decimal

Log-likelihood-ratio chi-square for the structure-by-modal interaction, df 2. (§2.3.2, p. 2:14; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.chiSqStructureModal = { mantissa := 33887, exponent := 3 }

def BadeEtAl2022.chiSqOrderInteraction : Data.Experiments.Decimal

Log-likelihood-ratio chi-square for the modal-by-order-by-structure interaction, df 6. (§2.3.2, fn. 9, p. 2:17; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.chiSqOrderInteraction = { mantissa := 13683, exponent := 3 }

def BadeEtAl2022.disjunctionAcceptanceLowPct : ℕ

Lower bound of the acceptance rate of illusory inferences from disjunction. (§1.1, p. 2:3; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.disjunctionAcceptanceLowPct = 80

def BadeEtAl2022.disjunctionAcceptanceHighPct : ℕ

Upper bound of the acceptance rate of illusory inferences from disjunction. (§1.1, p. 2:3; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.disjunctionAcceptanceHighPct = 85

def BadeEtAl2022.indefiniteAcceptancePct : ℕ

Acceptance rate of illusory inferences with indefinites (Mascarenhas and Koralus 2017). (§1.3, p. 2:5; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.indefiniteAcceptancePct = 35

def BadeEtAl2022.deonticFallacyRatePct : ℕ

About half the participants drew the fallacious deontic conclusion. (§3.1, p. 2:20; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.deonticFallacyRatePct = 50

def BadeEtAl2022.orderDropPoints : ℕ

The drop in acceptance, in percentage points, under reversed premise order for disjunctions and indefinites. (§3.2, p. 2:21; checked against the PDF text layer only.)

Equations

• BadeEtAl2022.orderDropPoints = 10

structure BadeEtAl2022.Contrast10 : Type

A row of Tables 1-4, pp. 2:14-2:17; verdicts §2.3.2-§2.4, pp. 2:13-2:18: a mixed-effects contrast of Tables 1-4, with the paper's prose verdict.

• table : ℕ

  The printed table the row is from.

• est : Data.Experiments.Decimal

  The estimate.

• se : Data.Experiments.Decimal

  The standard error.

• pBound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

• pCorrBound : Bound

  How the corrected p-value is printed.

• pCorr : Data.Experiments.Decimal

  The Holm-corrected p-value.

• verdict : Verdict

  The paper's reading of the contrast.

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqContrast10 : DecidableEq Contrast10

Equations

• BadeEtAl2022.instDecidableEqContrast10 = BadeEtAl2022.instDecidableEqContrast10.decEq

def BadeEtAl2022.instDecidableEqContrast10.decEq (x✝ x✝¹ : Contrast10) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instReprContrast10 : Repr Contrast10

Equations

• BadeEtAl2022.instReprContrast10 = { reprPrec := BadeEtAl2022.instReprContrast10.repr }

def BadeEtAl2022.instReprContrast10.repr : Contrast10 → ℕ → Std.Format

Equations

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

def BadeEtAl2022.contrasts : Modal → Contrast → Contrast10

The cells of Tables 1-4, pp. 2:14-2:17; verdicts §2.3.2-§2.4, pp. 2:13-2:18, by modal and contrast; checked against the PDF text layer only.

Equations

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

structure BadeEtAl2022.ModalContrast : Type

A row of Table 5, p. 2:17; §2.3.2, p. 2:17: the epistemic-against-deontic contrast within each structure (Table 5); epistemic is named first.

• est : Data.Experiments.Decimal

  The estimate.

• se : Data.Experiments.Decimal

  The standard error.

• pBound : Bound

  How the p-value is printed.

• p : Data.Experiments.Decimal

  The p-value.

• pCorrBound : Bound

  How the corrected p-value is printed.

• pCorr : Data.Experiments.Decimal

  The Holm-corrected p-value.

• verdict : Verdict

  Whether epistemics drew fewer yes-responses.

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqModalContrast : DecidableEq ModalContrast

Equations

• BadeEtAl2022.instDecidableEqModalContrast = BadeEtAl2022.instDecidableEqModalContrast.decEq

def BadeEtAl2022.instDecidableEqModalContrast.decEq (x✝ x✝¹ : ModalContrast) : Decidable (x✝ = x✝¹)

Equations

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

def BadeEtAl2022.instReprModalContrast.repr : ModalContrast → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instReprModalContrast : Repr ModalContrast

Equations

• BadeEtAl2022.instReprModalContrast = { reprPrec := BadeEtAl2022.instReprModalContrast.repr }

def BadeEtAl2022.modalContrasts : Structure → ModalContrast

The cells of Table 5, p. 2:17; §2.3.2, p. 2:17, by structure; checked against the PDF text layer only.

Equations

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

structure BadeEtAl2022.PriorFinding : Type

A row of §2.1, p. 2:10: the findings of Mascarenhas and Picat (2019) as this paper reports them.

• verdict : Verdict

  The reported outcome.

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqPriorFinding : DecidableEq PriorFinding

Equations

• BadeEtAl2022.instDecidableEqPriorFinding = BadeEtAl2022.instDecidableEqPriorFinding.decEq

def BadeEtAl2022.instDecidableEqPriorFinding.decEq (x✝ x✝¹ : PriorFinding) : Decidable (x✝ = x✝¹)

Equations

• BadeEtAl2022.instDecidableEqPriorFinding.decEq { verdict := a } { verdict := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance BadeEtAl2022.instReprPriorFinding : Repr PriorFinding

Equations

• BadeEtAl2022.instReprPriorFinding = { reprPrec := BadeEtAl2022.instReprPriorFinding.repr }

def BadeEtAl2022.instReprPriorFinding.repr : PriorFinding → ℕ → Std.Format

Equations

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

def BadeEtAl2022.priorFindings : PriorContrast → PriorFinding

The cells of §2.1, p. 2:10, by contrast; checked against the PDF text layer only.

Equations

• BadeEtAl2022.priorFindings BadeEtAl2022.PriorContrast.canonicalVsControls = { verdict := BadeEtAl2022.Verdict.higher }
• BadeEtAl2022.priorFindings BadeEtAl2022.PriorContrast.reversedVsControls = { verdict := BadeEtAl2022.Verdict.higher }
• BadeEtAl2022.priorFindings BadeEtAl2022.PriorContrast.canonicalVsFlat = { verdict := BadeEtAl2022.Verdict.higher }
• BadeEtAl2022.priorFindings BadeEtAl2022.PriorContrast.flatVsControls = { verdict := BadeEtAl2022.Verdict.noDifference }
• BadeEtAl2022.priorFindings BadeEtAl2022.PriorContrast.canonicalVsP1 = { verdict := BadeEtAl2022.Verdict.higher }
• BadeEtAl2022.priorFindings BadeEtAl2022.PriorContrast.canonicalVsReversed = { verdict := BadeEtAl2022.Verdict.noDifference }

structure BadeEtAl2022.AnatomyRow : Type

A row of §3.2, pp. 2:21-2:22: the paper's verdict on each anatomy criterion for each alternative generator.

• verdict : CriterionVerdict

  The paper's verdict.

@[instance_reducible]

instance BadeEtAl2022.instDecidableEqAnatomyRow : DecidableEq AnatomyRow

Equations

• BadeEtAl2022.instDecidableEqAnatomyRow = BadeEtAl2022.instDecidableEqAnatomyRow.decEq

def BadeEtAl2022.instDecidableEqAnatomyRow.decEq (x✝ x✝¹ : AnatomyRow) : Decidable (x✝ = x✝¹)

Equations

• BadeEtAl2022.instDecidableEqAnatomyRow.decEq { verdict := a } { verdict := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def BadeEtAl2022.instReprAnatomyRow.repr : AnatomyRow → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance BadeEtAl2022.instReprAnatomyRow : Repr AnatomyRow

Equations

• BadeEtAl2022.instReprAnatomyRow = { reprPrec := BadeEtAl2022.instReprAnatomyRow.repr }

def BadeEtAl2022.anatomy : Generator → Criterion → AnatomyRow

The cells of §3.2, pp. 2:21-2:22, by generator and criterion; checked against the PDF text layer only.

Equations

• BadeEtAl2022.anatomy BadeEtAl2022.Generator.disjunction BadeEtAl2022.Criterion.fallacy = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.disjunction BadeEtAl2022.Criterion.orderOfPremises = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.disjunction BadeEtAl2022.Criterion.dynamics = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.disjunction BadeEtAl2022.Criterion.rate = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.indefinite BadeEtAl2022.Criterion.fallacy = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.indefinite BadeEtAl2022.Criterion.orderOfPremises = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.indefinite BadeEtAl2022.Criterion.dynamics = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.indefinite BadeEtAl2022.Criterion.rate = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.might BadeEtAl2022.Criterion.fallacy = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.might BadeEtAl2022.Criterion.orderOfPremises = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.might BadeEtAl2022.Criterion.dynamics = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.might BadeEtAl2022.Criterion.rate = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.allowedTo BadeEtAl2022.Criterion.fallacy = { verdict := BadeEtAl2022.CriterionVerdict.satisfied }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.allowedTo BadeEtAl2022.Criterion.orderOfPremises = { verdict := BadeEtAl2022.CriterionVerdict.failed }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.allowedTo BadeEtAl2022.Criterion.dynamics = { verdict := BadeEtAl2022.CriterionVerdict.failed }
• BadeEtAl2022.anatomy BadeEtAl2022.Generator.allowedTo BadeEtAl2022.Criterion.rate = { verdict := BadeEtAl2022.CriterionVerdict.doubtful }