PVC–DOC Structural Priming

@cite{haddican-tamminga-dendikken-wade-2026} @cite{dendikken-1995} @cite{halle-marantz-1993} @cite{johnson-1991} @cite{aarts-1989} @cite{bruening-2010a}

English Particle Verbs Prime Double Object Constructions in Production. Linguistic Inquiry. doi:10.1162/LING.a.558

Production priming experiment (N=238) testing whether PVCs prime DOCs.

Design

Sentence completion task. Two subdesigns (Table 1, p.7):

• Baseline: DOC vs PD primes → DOC/PD target completions
• PV: PVC vs non-PVC primes → DOC/PD target completions

PVC primes used particle-object order ("put down the vase") to control for surface string similarity with DOC targets (p.5).

Results

PVCs prime DOCs (β=0.296, p=.005). PVC and DOC primes do not differ in priming magnitude (β=−0.069, p=.503). Consistent with identical structural representations under the SC analysis.

Cross-references

• Phenomena.WordOrder.Studies.ArnoldEtAl2000: The same two constructions (dative alternation + particle placement) studied from a processing perspective — heaviness drives linearization while abstract structure drives priming.
• Phenomena.ArgumentStructure.DativeAlternation: Records both DOC and PD frames as grammatical — the precondition for the priming study.

structure Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.PrimingContrast : Type

A priming contrast between two prime conditions.

• primeA : String
• primeB : String
• target : String
• aFavorsTarget : Bool
• significant : Bool

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instReprPrimingContrast.repr : PrimingContrast → ℕ → Std.Format

Equations

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

instance Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instReprPrimingContrast : Repr PrimingContrast

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instReprPrimingContrast = { reprPrec := Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instReprPrimingContrast.repr }

instance Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqPrimingContrast : BEq PrimingContrast

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqPrimingContrast = { beq := Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqPrimingContrast.beq }

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqPrimingContrast.beq : PrimingContrast → PrimingContrast → Bool

Equations

• One or more equations did not get rendered due to their size.
• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqPrimingContrast.beq x✝¹ x✝ = false

structure Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.CellRate : Type

DOC production rate by prime condition. Table 1, p.7. Percentages are integers (e.g., 59 = 59%).

• condition : String
• docPct : ℕ
• pdPct : ℕ

instance Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instReprCellRate : Repr CellRate

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instReprCellRate = { reprPrec := Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instReprCellRate.repr }

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instReprCellRate.repr : CellRate → ℕ → Std.Format

Equations

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

instance Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqCellRate : BEq CellRate

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqCellRate = { beq := Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqCellRate.beq }

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqCellRate.beq : CellRate → CellRate → Bool

Equations

• One or more equations did not get rendered due to their size.
• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.instBEqCellRate.beq x✝¹ x✝ = false

Table 1 cell rates

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.baseline_doc : CellRate

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.baseline_doc = { condition := "DOC prime", docPct := 59, pdPct := 41 }

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.baseline_pd : CellRate

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.baseline_pd = { condition := "PD prime", docPct := 49, pdPct := 51 }

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pv_pvc : CellRate

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pv_pvc = { condition := "PVC prime", docPct := 58, pdPct := 42 }

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pv_nonpvc : CellRate

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pv_nonpvc = { condition := "non-PVC prime", docPct := 52, pdPct := 48 }

Regression contrasts

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.baseline : PrimingContrast

Baseline replication: DOC primes boost DOC production relative to PD primes (β=0.569, SE=0.114, p<.001).

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.baseline = { primeA := "DOC", primeB := "PD", target := "DOC", aFavorsTarget := true, significant := true }

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_primes_doc : PrimingContrast

Key finding: PVC primes boost DOC production relative to non-PVC control primes (β=0.296, SE=0.105, p=.005).

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_primes_doc = { primeA := "PVC", primeB := "non-PVC", target := "DOC", aFavorsTarget := true, significant := true }

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_doc_equivalent : PrimingContrast

PVC and DOC primes do not differ in their priming of DOCs (β=−0.069, SE=0.104, p=.503; combined 2×4 model, n.9).

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_doc_equivalent = { primeA := "PVC", primeB := "DOC", target := "DOC", aFavorsTarget := false, significant := false }

Verification theorems

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.baseline_effect_direction : baseline.aFavorsTarget = true ∧ baseline.significant = true

DOC priming is strictly stronger than PD non-priming (baseline effect).

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_effect : pvc_primes_doc.aFavorsTarget = true ∧ pvc_primes_doc.significant = true

PVC primes DO boost DOC production.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_doc_equivalence : pvc_doc_equivalent.significant = false

PVC and DOC primes yield equivalent magnitude — no significant difference.

Lexical items

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.V_give : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.V_give = Minimalism.mkLeafPhon Minimalism.Cat.V [Minimalism.Cat.D, Minimalism.Cat.D] "give" 0

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.V_lift : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.V_lift = Minimalism.mkLeafPhon Minimalism.Cat.V [Minimalism.Cat.D] "lift" 1

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.DP_hsu : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.DP_hsu = Minimalism.mkLeafPhon Minimalism.Cat.D [] "Hsu" 2

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.DP_book : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.DP_book = Minimalism.mkLeafPhon Minimalism.Cat.D [] "the book" 3

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.Prt_up : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.Prt_up = Minimalism.mkLeafPhon Minimalism.Cat.P [] "up" 4

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.Appl_h : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.Appl_h = Minimalism.mkLeafPhon Minimalism.Cat.Appl [Minimalism.Cat.V] "∅" 5

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.P_to : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.P_to = Minimalism.mkLeafPhon Minimalism.Cat.P [Minimalism.Cat.D] "to" 6

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.V_hammer : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.V_hammer = Minimalism.mkLeafPhon Minimalism.Cat.V [Minimalism.Cat.D] "hammer" 8

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.DP_metal : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.DP_metal = Minimalism.mkLeafPhon Minimalism.Cat.D [] "the metal" 9

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.AP_flat : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.AP_flat = Minimalism.mkLeafPhon Minimalism.Cat.A [] "flat" 10

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.V_make : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.V_make = Minimalism.mkLeafPhon Minimalism.Cat.V [Minimalism.Cat.D] "make" 11

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.DP_child : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.DP_child = Minimalism.mkLeafPhon Minimalism.Cat.D [] "the child" 12

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.VP_laugh : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.VP_laugh = Minimalism.mkLeafPhon Minimalism.Cat.V [] "laugh" 13

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.experimental_pvcs_in_inventory : (Constructions.ParticleVerbs.inventory.any fun (x : Constructions.ParticleVerbs.ParticleVerb) => x == Constructions.ParticleVerbs.lift_up) = true ∧ (Constructions.ParticleVerbs.inventory.any fun (x : Constructions.ParticleVerbs.ParticleVerb) => x == Constructions.ParticleVerbs.put_down) = true

Experimental PVC primes derive from the ParticleVerbs inventory.

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_appl_type : Minimalism.ApplType

The ApplP analysis uses a LOW applicative.

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_appl_type = Minimalism.ApplType.lowRecipient

Structural analyses

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_sc : Minimalism.SyntacticObject

DOC, Small Clause: [VP V [SC DP_goal DP_theme]]

Equations

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

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_appl : Minimalism.SyntacticObject

DOC, Applicative (@cite{halle-marantz-1993}; @cite{bruening-2010a}): [ApplP DP_goal [Appl' Appl [VP V DP_theme]]]

Equations

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

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_sc : Minimalism.SyntacticObject

PVC, Small Clause (@cite{aarts-1989}; @cite{dendikken-1995}): [VP V [SC DP Prt]]

Equations

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

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_complexPred : Minimalism.SyntacticObject

PVC, Complex predicate: [VP [V lift+up] DP]

Equations

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

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pd : Minimalism.SyntacticObject

PD, Prepositional dative (control): [VP [V' V DP_theme] [PP P DP_goal]]

Equations

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

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.transitive_control : Minimalism.SyntacticObject

Non-PVC transitive control: [VP V DP]

Equations

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

@cite{dendikken-1995} SC family

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.resultative_sc : Minimalism.SyntacticObject

Resultative, Small Clause: [VP V [SC DP AP]]

Equations

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

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.causative_sc : Minimalism.SyntacticObject

Causative, Small Clause: [VP V [SC DP VP]]

Equations

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

Explicit shapes

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_sc_shape : doc_sc.shape = Minimalism.TreeShape.leaf.node (Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf)

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_appl_shape : doc_appl.shape = Minimalism.TreeShape.leaf.node (Minimalism.TreeShape.leaf.node (Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf))

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_sc_shape : pvc_sc.shape = Minimalism.TreeShape.leaf.node (Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf)

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_complexPred_shape : pvc_complexPred.shape = Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pd_shape : pd.shape = (Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf).node (Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf)

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.transitive_control_shape : transitive_control.shape = Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.resultative_sc_shape : resultative_sc.shape = Minimalism.TreeShape.leaf.node (Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf)

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.causative_sc_shape : causative_sc.shape = Minimalism.TreeShape.leaf.node (Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf)

Structural isomorphism

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_doc_pvc_isomorphic : Minimalism.structurallyIsomorphic doc_sc pvc_sc = true

SC-DOC and SC-PVC share tree shape.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.appl_complexPred_not_isomorphic : Minimalism.structurallyIsomorphic doc_appl pvc_complexPred = false

ApplP-DOC and ComplexPred-PVC have different shapes.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_appl_doc_not_isomorphic : Minimalism.structurallyIsomorphic doc_sc doc_appl = false

SC-DOC differs from ApplP-DOC.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_doc_pd_not_isomorphic : Minimalism.structurallyIsomorphic doc_sc pd = false

SC-DOC differs from PD.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_pvc_pd_not_isomorphic : Minimalism.structurallyIsomorphic pvc_sc pd = false

SC-PVC differs from PD.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.control_doc_not_isomorphic : Minimalism.structurallyIsomorphic transitive_control doc_sc = false

The non-PVC transitive control has a different shape from SC-DOC.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.control_matches_complexPred : Minimalism.structurallyIsomorphic transitive_control pvc_complexPred = true

The non-PVC control has the SAME shape as the complex predicate PVC.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_unique_among_haddican_analyses : Minimalism.structurallyIsomorphic doc_sc pvc_sc = true ∧ Minimalism.structurallyIsomorphic doc_sc doc_appl = false ∧ Minimalism.structurallyIsomorphic doc_sc pvc_complexPred = false ∧ Minimalism.structurallyIsomorphic doc_sc pd = false ∧ Minimalism.structurallyIsomorphic doc_appl pvc_sc = false ∧ Minimalism.structurallyIsomorphic doc_appl pvc_complexPred = false ∧ Minimalism.structurallyIsomorphic doc_appl pd = false ∧ Minimalism.structurallyIsomorphic pvc_sc pvc_complexPred = false ∧ Minimalism.structurallyIsomorphic pvc_sc pd = false ∧ Minimalism.structurallyIsomorphic pvc_complexPred pd = false

SC is the unique source of DOC/PVC tree-shape isomorphism.

Den Dikken SC family isomorphism

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_family_same_shape : doc_sc.shape = pvc_sc.shape ∧ doc_sc.shape = resultative_sc.shape ∧ doc_sc.shape = causative_sc.shape

The SC family shares a single tree shape.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_family_all_isomorphic : Minimalism.structurallyIsomorphic doc_sc pvc_sc = true ∧ Minimalism.structurallyIsomorphic doc_sc resultative_sc = true ∧ Minimalism.structurallyIsomorphic doc_sc causative_sc = true ∧ Minimalism.structurallyIsomorphic pvc_sc resultative_sc = true ∧ Minimalism.structurallyIsomorphic pvc_sc causative_sc = true ∧ Minimalism.structurallyIsomorphic resultative_sc causative_sc = true

All four SC constructions are pairwise isomorphic.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_family_all_differ_from_pd : Minimalism.structurallyIsomorphic pvc_sc pd = false ∧ Minimalism.structurallyIsomorphic resultative_sc pd = false ∧ Minimalism.structurallyIsomorphic causative_sc pd = false

None of the SC family members are isomorphic with PD.

SC family categorization

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_category : Minimalism.SCPredCategory

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_category = Minimalism.SCPredCategory.P

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_category : Minimalism.SCPredCategory

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_category = Minimalism.SCPredCategory.P

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.resultative_category : Minimalism.SCPredCategory

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.resultative_category = Minimalism.SCPredCategory.A

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.causative_category : Minimalism.SCPredCategory

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.causative_category = Minimalism.SCPredCategory.V

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.copular_category : Minimalism.SCPredCategory

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.copular_category = Minimalism.SCPredCategory.N

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_pvc_share_P : doc_category = pvc_category

DOC and PVC share SC predicate category P.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_family_covers_all_categories : pvc_category = Minimalism.SCPredCategory.P ∧ resultative_category = Minimalism.SCPredCategory.A ∧ causative_category = Minimalism.SCPredCategory.V ∧ copular_category = Minimalism.SCPredCategory.N

The SC family spans all four lexical categories {A, N, P, V}.

Nested SC for DOC

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_nested : Minimalism.SyntacticObject

Nested SC DOC: give [SC book [PP to Hsu]].

Equations

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

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_nested_shape : doc_nested.shape = Minimalism.TreeShape.leaf.node (Minimalism.TreeShape.leaf.node (Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf))

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_nested_not_flat : Minimalism.structurallyIsomorphic doc_nested doc_sc = false

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_nested_matches_appl : Minimalism.structurallyIsomorphic doc_nested doc_appl = true

@cite{bruening-2021}: process-level isomorphism

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_bruening : Minimalism.SyntacticObject

Equations

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

def Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_bruening : Minimalism.SyntacticObject

Equations

• Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_bruening = Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.pvc_complexPred

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.doc_bruening_shape : doc_bruening.shape = Minimalism.TreeShape.leaf.node (Minimalism.TreeShape.leaf.node Minimalism.TreeShape.leaf)

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.bruening_shapes_differ : Minimalism.structurallyIsomorphic doc_bruening pvc_bruening = false

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.bruening_both_use_incorporation : (match doc_bruening with | (Minimalism.SyntacticObject.leaf tok).node a => tok.item.isComplex | x => false) = true ∧ (match pvc_bruening with | (Minimalism.SyntacticObject.leaf tok).node a => tok.item.isComplex | x => false) = true

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.bruening_doc_matches_sc_doc : Minimalism.structurallyIsomorphic doc_bruening doc_sc = true

Bridge to experimental data

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_predictions : Minimalism.structurallyIsomorphic doc_sc pvc_sc = true ∧ Minimalism.structurallyIsomorphic doc_sc pd = false

The SC analysis predicts DOC/PVC isomorphism and DOC/PD non-isomorphism.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.appl_complexPred_no_isomorphism : Minimalism.structurallyIsomorphic doc_appl pvc_complexPred = false

The ApplP + ComplexPred combination predicts DOC/PVC non-isomorphism.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.sc_predicts_equal_magnitude : pvc_doc_equivalent.significant = false ∧ doc_sc.shape = pvc_sc.shape

PVC priming magnitude equals DOC priming magnitude, as SC predicts.

theorem Phenomena.ArgumentStructure.Studies.HaddicanEtAl2026.complexPred_fails_at_control : pvc_primes_doc.significant = true ∧ Minimalism.structurallyIsomorphic pvc_complexPred transitive_control = true

The complex predicate PVC analysis cannot explain the priming asymmetry.