theorem NadathurLauer2020.make_cause_truth_conditionally_distinct : ∃ (dyn : CausalDynamics) (s : Situation) (c : Variable) (e : Variable), makeSem dyn s c e ≠ causeSem dyn s c e

Main Linguistic Claim: "make" and "cause" are truth-conditionally distinct.

There exist scenarios where "X made Y happen" is true but "X caused Y" is false, and vice versa.

This is demonstrated by the overdetermination examples in Examples.lean.