Bridge: Auxiliary Selection × Vendler Aspect Classes

@cite{sorace-2000}

Connects the auxiliary selection data in Phenomena.AuxiliaryVerbs.Selection to Vendler's aspectual classification from Theories.Semantics.Tense.Aspect.LexicalAspect.

Predictions verified

• achievement_typically_unaccusative: Vendler achievements map to unaccusativity
• achievement_selects_be: Achievements therefore select be in split-auxiliary languages

Known gaps

• @cite{sorace-2000} gradient hierarchy not yet formalized

def Phenomena.AuxiliaryVerbs.Selection.Bridge.vendlerClassToTypicalTransitivity : Semantics.Tense.Aspect.LexicalAspect.VendlerClass → TransitivityClass

Vendler's achievement class (telic, punctual) typically corresponds to unaccusativity: canonical achievements are change-of-state verbs whose subject is a theme/patient.

Equations

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

theorem Phenomena.AuxiliaryVerbs.Selection.Bridge.achievement_typically_unaccusative : vendlerClassToTypicalTransitivity Semantics.Tense.Aspect.LexicalAspect.VendlerClass.achievement = TransitivityClass.unaccusative

Achievements are typically unaccusative.

theorem Phenomena.AuxiliaryVerbs.Selection.Bridge.achievement_selects_be : canonicalSelection (vendlerClassToTypicalTransitivity Semantics.Tense.Aspect.LexicalAspect.VendlerClass.achievement) = PerfectAux.be

Achievements typically select be in split-auxiliary languages.