Documentation

Linglib.Phenomena.ArgumentStructure.Studies.Levin1993

Diathesis Alternation Bridge @cite{levin-1993} #

Connects empirical alternation data to the LevinClass.participatesIn prediction function and Fragment verb entries.

Agreement #

All 40 data points agree with the LevinClass.participatesIn prediction function. The CI rule correctly blocks cut via !instrumentSpec (Levin p. 9–10: instrument specification requires an agent, blocking the agentless inchoative).

source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.break_class_matches :
Fragments.English.Predicates.Verbal.break_.levinClass = some Data.ci_break.verbClass
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.cut_class_matches :
Fragments.English.Predicates.Verbal.cut.levinClass = some Data.ci_cut.verbClass
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.hit_class_matches :
Fragments.English.Predicates.Verbal.hit.levinClass = some Data.ci_hit.verbClass
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.touch_class_matches :
Fragments.English.Predicates.Verbal.touch.levinClass = some Data.ci_touch.verbClass
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.push_class_matches :
Fragments.English.Predicates.Verbal.push.levinClass = some Data.con_push.verbClass
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.spray_class_matches :
Fragments.English.Predicates.Verbal.spray.levinClass = some Data.loc_spray.verbClass
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.load_class_matches :
Fragments.English.Predicates.Verbal.load.levinClass = some Data.loc_load.verbClass
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.give_class_matches :
Fragments.English.Predicates.Verbal.give.levinClass = some Data.dat_give.verbClass
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.send_class_matches :
Fragments.English.Predicates.Verbal.send.levinClass = some Data.dat_send.verbClass

Each theorem connects a datum's result to the output of LevinClass.participatesIn. Changing either the data or the prediction breaks exactly one theorem.

source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ci_break_agrees :
Data.ci_break.result = Data.AlternationResult.participates ∧ LevinClass.break_.participatesIn DiathesisAlternation.causativeInchoative = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.mid_break_agrees :
Data.mid_break.result = Data.AlternationResult.participates ∧ LevinClass.break_.participatesIn DiathesisAlternation.middle = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.con_break_agrees :
Data.con_break.result = Data.AlternationResult.blocked ∧ LevinClass.break_.participatesIn DiathesisAlternation.conative = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.bppa_break_agrees :
Data.bppa_break.result = Data.AlternationResult.blocked ∧ LevinClass.break_.participatesIn DiathesisAlternation.bodyPartPossessorAscension = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ci_hit_agrees :
Data.ci_hit.result = Data.AlternationResult.blocked ∧ LevinClass.hit.participatesIn DiathesisAlternation.causativeInchoative = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.mid_hit_agrees :
Data.mid_hit.result = Data.AlternationResult.blocked ∧ LevinClass.hit.participatesIn DiathesisAlternation.middle = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.con_hit_agrees :
Data.con_hit.result = Data.AlternationResult.participates ∧ LevinClass.hit.participatesIn DiathesisAlternation.conative = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.bppa_hit_agrees :
Data.bppa_hit.result = Data.AlternationResult.participates ∧ LevinClass.hit.participatesIn DiathesisAlternation.bodyPartPossessorAscension = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ci_touch_agrees :
Data.ci_touch.result = Data.AlternationResult.blocked ∧ LevinClass.touch.participatesIn DiathesisAlternation.causativeInchoative = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.mid_touch_agrees :
Data.mid_touch.result = Data.AlternationResult.blocked ∧ LevinClass.touch.participatesIn DiathesisAlternation.middle = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.con_touch_agrees :
Data.con_touch.result = Data.AlternationResult.blocked ∧ LevinClass.touch.participatesIn DiathesisAlternation.conative = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.bppa_touch_agrees :
Data.bppa_touch.result = Data.AlternationResult.participates ∧ LevinClass.touch.participatesIn DiathesisAlternation.bodyPartPossessorAscension = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.con_push_agrees :
Data.con_push.result = Data.AlternationResult.participates ∧ LevinClass.pushPull.participatesIn DiathesisAlternation.conative = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.loc_spray_agrees :
Data.loc_spray.result = Data.AlternationResult.participates ∧ LevinClass.sprayLoad.participatesIn DiathesisAlternation.locative = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.loc_load_agrees :
Data.loc_load.result = Data.AlternationResult.participates ∧ LevinClass.sprayLoad.participatesIn DiathesisAlternation.locative = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.dat_give_agrees :
Data.dat_give.result = Data.AlternationResult.participates ∧ LevinClass.give.participatesIn DiathesisAlternation.dative = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.dat_send_agrees :
Data.dat_send.result = Data.AlternationResult.participates ∧ LevinClass.send.participatesIn DiathesisAlternation.dative = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ci_cut_agrees :
Data.ci_cut.result = Data.AlternationResult.blocked ∧ LevinClass.cut.participatesIn DiathesisAlternation.causativeInchoative = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.mid_cut_agrees :
Data.mid_cut.result = Data.AlternationResult.participates ∧ LevinClass.cut.participatesIn DiathesisAlternation.middle = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.con_cut_agrees :
Data.con_cut.result = Data.AlternationResult.participates ∧ LevinClass.cut.participatesIn DiathesisAlternation.conative = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.bppa_cut_agrees :
Data.bppa_cut.result = Data.AlternationResult.participates ∧ LevinClass.cut.participatesIn DiathesisAlternation.bodyPartPossessorAscension = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ben_carve_agrees :
Data.ben_carve.result = Data.AlternationResult.participates ∧ LevinClass.build.participatesIn DiathesisAlternation.benefactive = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ss_radiate_agrees :
Data.ss_radiate.result = Data.AlternationResult.participates ∧ LevinClass.substanceEmission.participatesIn DiathesisAlternation.substanceSource = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.mp_carve_agrees :
Data.mp_carve.result = Data.AlternationResult.participates ∧ LevinClass.build.participatesIn DiathesisAlternation.materialProduct = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.uo_eat_agrees :
Data.uo_eat.result = Data.AlternationResult.participates ∧ LevinClass.eat.participatesIn DiathesisAlternation.unspecifiedObject = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.uo_devour_agrees :
Data.uo_devour.result = Data.AlternationResult.blocked ∧ LevinClass.devour.participatesIn DiathesisAlternation.unspecifiedObject = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.uro_meet_agrees :
Data.uro_meet.result = Data.AlternationResult.participates ∧ LevinClass.socialInteraction.participatesIn DiathesisAlternation.understoodReciprocalObject = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ti_develop_agrees :
Data.ti_develop.result = Data.AlternationResult.participates ∧ LevinClass.appear.participatesIn DiathesisAlternation.thereInsertion = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ti_appear_agrees :
Data.ti_appear.result = Data.AlternationResult.participates ∧ LevinClass.appear.participatesIn DiathesisAlternation.thereInsertion = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.li_live_agrees :
Data.li_live.result = Data.AlternationResult.participates ∧ LevinClass.exist.participatesIn DiathesisAlternation.locativeInversion = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.is_break_agrees :
Data.is_break.result = Data.AlternationResult.participates ∧ LevinClass.break_.participatesIn DiathesisAlternation.instrumentSubject = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.is_eat_agrees :
Data.is_eat.result = Data.AlternationResult.blocked ∧ LevinClass.eat.participatesIn DiathesisAlternation.instrumentSubject = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ia_run_agrees :
Data.ia_run.result = Data.AlternationResult.participates ∧ LevinClass.mannerOfMotion.participatesIn DiathesisAlternation.inducedAction = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ubpo_wave_agrees :
Data.ubpo_wave.result = Data.AlternationResult.participates ∧ LevinClass.bodyProcess.participatesIn DiathesisAlternation.understoodBodyPartObject = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.uro_wash_agrees :
Data.uro_wash.result = Data.AlternationResult.participates ∧ LevinClass.dress.participatesIn DiathesisAlternation.understoodReflexiveObject = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.tt_turn_agrees :
Data.tt_turn.result = Data.AlternationResult.participates ∧ LevinClass.turn.participatesIn DiathesisAlternation.totalTransformation = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.way_elbow_agrees :
Data.way_elbow.result = Data.AlternationResult.participates ∧ LevinClass.mannerOfMotion.participatesIn DiathesisAlternation.wayConstruction = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.co_laugh_agrees :
Data.co_laugh.result = Data.AlternationResult.participates ∧ LevinClass.mannerOfSpeaking.participatesIn DiathesisAlternation.cognateObject = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.co_run_agrees :
Data.co_run.result = Data.AlternationResult.participates ∧ LevinClass.mannerOfMotion.participatesIn DiathesisAlternation.cognateObject = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.dp_run_agrees :
Data.dp_run.result = Data.AlternationResult.participates ∧ LevinClass.mannerOfMotion.participatesIn DiathesisAlternation.directionalPhrase = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.vp_break_agrees :
Data.vp_break.result = Data.AlternationResult.participates ∧ LevinClass.break_.participatesIn DiathesisAlternation.verbalPassive = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.vp_give_agrees :
Data.vp_give.result = Data.AlternationResult.participates ∧ LevinClass.give.participatesIn DiathesisAlternation.verbalPassive = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.vp_eat_agrees :
Data.vp_eat.result = Data.AlternationResult.participates ∧ LevinClass.eat.participatesIn DiathesisAlternation.verbalPassive = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.vp_see_agrees :
Data.vp_see.result = Data.AlternationResult.participates ∧ LevinClass.see.participatesIn DiathesisAlternation.verbalPassive = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.vp_measure_agrees :
Data.vp_measure.result = Data.AlternationResult.blocked ∧ LevinClass.measure.participatesIn DiathesisAlternation.verbalPassive = false
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.pp_sleep_agrees :
Data.pp_sleep.result = Data.AlternationResult.participates ∧ LevinClass.assumePosition.participatesIn DiathesisAlternation.prepositionalPassive = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.pp_talk_agrees :
Data.pp_talk.result = Data.AlternationResult.participates ∧ LevinClass.mannerOfSpeaking.participatesIn DiathesisAlternation.prepositionalPassive = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.sw_swarm_agrees :
Data.sw_swarm.result = Data.AlternationResult.participates ∧ LevinClass.exist.participatesIn DiathesisAlternation.swarm = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.sw_crawl_agrees :
Data.sw_crawl.result = Data.AlternationResult.participates ∧ LevinClass.mannerOfMotion.participatesIn DiathesisAlternation.swarm = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ia_walk_agrees :
Data.ia_walk.result = Data.AlternationResult.participates ∧ LevinClass.mannerOfMotion.participatesIn DiathesisAlternation.inducedAction = true
source
theorem Phenomena.ArgumentStructure.DiathesisAlternations.Bridge.ia_appear_agrees :
Data.ia_appear.result = Data.AlternationResult.blocked ∧ LevinClass.appear.participatesIn DiathesisAlternation.inducedAction = false