@cite{solstad-bott-2024} — Presupposition Bridge

@cite{solstad-bott-2024}

Bridge theorems connecting English occasion verb fragment entries to the presupposition analysis from @cite{solstad-bott-2024}.

For the deeper projectivity analysis (Tonhauser classification, cataphoric resolution, symmetric filtering), see Projectivity.lean.

theorem Phenomena.ImplicitCausality.Studies.SolstadBott2024.Presupposition.all_occasion_verbs_prerequisite : Fragments.English.Predicates.Verbal.manage_occasion.presupType = some Core.Verbs.PresupTriggerType.prerequisiteSoft ∧ Fragments.English.Predicates.Verbal.dare.presupType = some Core.Verbs.PresupTriggerType.prerequisiteSoft ∧ Fragments.English.Predicates.Verbal.bother.presupType = some Core.Verbs.PresupTriggerType.prerequisiteSoft ∧ Fragments.English.Predicates.Verbal.hesitate.presupType = some Core.Verbs.PresupTriggerType.prerequisiteSoft

All occasion verbs have prerequisite presuppositions (soft triggers whose content is a causal prerequisite, not complement truth). @cite{nadathur-2024} explains this as the presupposition of a causally necessary and/or sufficient condition for the complement.

theorem Phenomena.ImplicitCausality.Studies.SolstadBott2024.Presupposition.manage_default_prerequisite : Fragments.English.Predicates.Verbal.manage.presupType = some Core.Verbs.PresupTriggerType.prerequisiteSoft

The default manage has a prerequisite presupposition (32i), though the prerequisite is underspecified (@cite{nadathur-2024}).

theorem Phenomena.ImplicitCausality.Studies.SolstadBott2024.Presupposition.manage_senses_share_implicative : Fragments.English.Predicates.Verbal.manage.implicativeBuilder = Fragments.English.Predicates.Verbal.manage_occasion.implicativeBuilder

Both senses share the same implicative semantics.

theorem Phenomena.ImplicitCausality.Studies.SolstadBott2024.Presupposition.occasion_verbs_infinitival : Fragments.English.Predicates.Verbal.manage_occasion.complementType = Core.Verbs.ComplementType.infinitival ∧ Fragments.English.Predicates.Verbal.dare.complementType = Core.Verbs.ComplementType.infinitival ∧ Fragments.English.Predicates.Verbal.bother.complementType = Core.Verbs.ComplementType.infinitival ∧ Fragments.English.Predicates.Verbal.hesitate.complementType = Core.Verbs.ComplementType.infinitival

All four occasion verbs take infinitival complements.

theorem Phenomena.ImplicitCausality.Studies.SolstadBott2024.Presupposition.occasion_verbs_subject_control : Fragments.English.Predicates.Verbal.manage_occasion.controlType = Core.Verbs.ControlType.subjectControl ∧ Fragments.English.Predicates.Verbal.dare.controlType = Core.Verbs.ControlType.subjectControl ∧ Fragments.English.Predicates.Verbal.bother.controlType = Core.Verbs.ControlType.subjectControl ∧ Fragments.English.Predicates.Verbal.hesitate.controlType = Core.Verbs.ControlType.subjectControl

All four occasion verbs are subject-control.