Verbal Predicate Lexicon Fragment

English verb lexical entries with morphology, argument structure, semantic class, and links to compositional semantics (CoS, attitudes, causatives).

Semantic types (ComplementType, Attitude, etc.) and the cross-linguistic Verb structure live in Core/Verbs.lean. This file defines VerbEntry extends Verb with English-specific inflectional fields and provides smart constructors for regular verbs.

def English.Predicates.Verbal.regular3sg (stem : String) : String

Compute regular 3sg present form.

Equations

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

def English.Predicates.Verbal.regularPast (stem : String) : String

Compute regular past tense / past participle form.

Equations

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

def English.Predicates.Verbal.regularPresPart (stem : String) : String

Compute regular present participle form.

Equations

• English.Predicates.Verbal.regularPresPart stem = if (stem.endsWith "e" && !stem.endsWith "ee") = true then String.ofList (stem.toList.dropLast ++ "ing".toList) else stem ++ "ing"

structure English.Predicates.Verbal.VerbEntryextends Verb : Type

A complete English lexical entry for a verb.

Extends the cross-linguistic Verb (argument structure, semantic class, compositional links) with English-specific inflectional morphology.

• frames : List Frame
• subjectEntailments : Option ArgumentStructure.EntailmentProfile
• objectEntailments : Option ArgumentStructure.EntailmentProfile
• unaccusative : Bool
• voiceType : Option VoiceType
• passivizable : Bool
• implicitObj : Option ImplicitInterp
• implicitGoal : Option ImplicitInterp
• vendlerClass : Option Features.VendlerClass
• degreeAchievementScale : Option Features.DegreeAchievement.DegreeAchievementScale
• verbIncClass : Option Semantics.Aspect.Incremental.VerbIncClass
• cosType : Option Features.ChangeOfState.CoSType
• presupType : Option PresupTriggerType
• projectionBehavior : Option ProjectionBehavior
• implicative : Option Implicative
• causative : Option Causative
• causalSource : Option Causation.Psych.CausalSource
• opaqueContext : Bool
• attitude : Option Features.Attitude
• readings : List Reading
• complementSig : Option NaturalLogic.Signature
• levinClass : Option ArgumentStructure.LevinClass
• root : Root
• form : String
• speechActVerb : Bool
• senseTag : SenseTag
• form3sg : String

  Third person singular present (for agreement)

• formPast : String

  Past tense form

• formPastPart : String

  Past participle (for passives, perfects)

• formPresPart : String

  Present participle / gerund

• isRegular : Bool

  Are all inflected forms rule-predictable from the citation form?

def English.Predicates.Verbal.instReprVerbEntry.repr : VerbEntry → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance English.Predicates.Verbal.instReprVerbEntry : Repr VerbEntry

Equations

• English.Predicates.Verbal.instReprVerbEntry = { reprPrec := English.Predicates.Verbal.instReprVerbEntry.repr }

def English.Predicates.Verbal.instBEqVerbEntry.beq : VerbEntry → VerbEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• English.Predicates.Verbal.instBEqVerbEntry.beq x✝¹ x✝ = false

@[instance_reducible]

instance English.Predicates.Verbal.instBEqVerbEntry : BEq VerbEntry

Equations

• English.Predicates.Verbal.instBEqVerbEntry = { beq := English.Predicates.Verbal.instBEqVerbEntry.beq }

def English.Predicates.Verbal.VerbEntry.mkRegular (core : Verb) : VerbEntry

Construct a regular verb entry: inflected forms are computed from the citation form via English morphophonological rules.

Usage:

def kick : VerbEntry :=.mkRegular {
  form := "kick", frames := [Frame.np] }

Equations

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

def English.Predicates.Verbal.sleep : VerbEntry

"sleep" — intransitive, no presupposition

Equations

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

def English.Predicates.Verbal.run : VerbEntry

"run" — intransitive, no presupposition

Equations

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

def English.Predicates.Verbal.arrive : VerbEntry

"arrive" — unaccusative intransitive

Equations

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

def English.Predicates.Verbal.come : VerbEntry

"come" — Levin 51.1 inherently directed motion, like arrive.

Equations

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

def English.Predicates.Verbal.eat : VerbEntry

"eat" — transitive, implicit object is indefinite ("Have you eaten?")

Equations

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

def English.Predicates.Verbal.kick : VerbEntry

"kick" — transitive

Equations

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

def English.Predicates.Verbal.give : VerbEntry

"give" — ditransitive, alternates DOC/PP. Implicit goal is definite ([Fil86]: pragmatically recoverable). Neither object can be implicit alone.

Equations

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

def English.Predicates.Verbal.put : VerbEntry

"put" — locative

Equations

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

def English.Predicates.Verbal.weigh : VerbEntry

"weigh" — measure predicate selecting for mass/weight.

Equations

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

def English.Predicates.Verbal.cover : VerbEntry

"cover" — motion/extent predicate selecting for distance.

Equations

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

def English.Predicates.Verbal.measure : VerbEntry

"measure" — general measurement predicate.

Equations

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

def English.Predicates.Verbal.buy : VerbEntry

"buy" — irregular transitive

Equations

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

def English.Predicates.Verbal.meet : VerbEntry

"meet" — irregular transitive

Equations

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

def English.Predicates.Verbal.sell : VerbEntry

"sell" — change of possession, alternates DOC/PP. Implicit DO is definite; implicit goal is indefinite.

Equations

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

def English.Predicates.Verbal.leave : VerbEntry

"leave" — transitive (also used intransitively with argument drop)

Equations

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

def English.Predicates.Verbal.see : VerbEntry

"see" — transitive, can also embed clauses

Equations

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

def English.Predicates.Verbal.know : VerbEntry

"know" — factive, presupposes complement is true

Equations

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

def English.Predicates.Verbal.regret : VerbEntry

"regret" — factive, presupposes complement is true

Equations

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

def English.Predicates.Verbal.realize : VerbEntry

"realize" — factive, presupposes complement is true

Equations

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

def English.Predicates.Verbal.discover : VerbEntry

"discover" — semifactive, weaker projection

Equations

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

def English.Predicates.Verbal.notice : VerbEntry

"notice" — semifactive

Equations

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

def English.Predicates.Verbal.stop : VerbEntry

"stop" — CoS cessation, presupposes activity was happening

Equations

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

def English.Predicates.Verbal.quit : VerbEntry

"quit" — CoS cessation

Equations

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

def English.Predicates.Verbal.start : VerbEntry

"start" — CoS inception, presupposes activity wasn't happening

Equations

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

def English.Predicates.Verbal.begin_ : VerbEntry

"begin" — CoS inception

Equations

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

def English.Predicates.Verbal.continue_ : VerbEntry

"continue" — CoS continuation, presupposes activity was happening

Equations

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

def English.Predicates.Verbal.keep : VerbEntry

"keep" — CoS continuation

Equations

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

def English.Predicates.Verbal.manage : VerbEntry

"manage" — positive implicative: "managed to VP" entails "VP". Traditional analysis: agentive subject controls the complement. See also manage_occasion for the [SB24] analysis.

Equations

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

def English.Predicates.Verbal.fail : VerbEntry

"fail" — negative implicative: "failed to VP" entails "not VP"

Equations

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

def English.Predicates.Verbal.try_ : VerbEntry

"try" — subject control, no entailment

Equations

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

def English.Predicates.Verbal.persuade : VerbEntry

"persuade" — object control: "persuade X to VP" (X = agent of VP). Psychological attitude verb: causes the object to form an intention. Projects AUTHOR coordinate → obligatory de se ([Lan15] table (36)).

Equations

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

def English.Predicates.Verbal.promise : VerbEntry

"promise" — subject control with object: "promise X to VP". Desiderative attitude verb: the subject commits to a future action. [Lan15] (5c) classifies it as desiderative → logophoric control.

Equations

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

def English.Predicates.Verbal.remember : VerbEntry

"remember" — implicative with infinitival ("remember to call")

Equations

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

def English.Predicates.Verbal.forget : VerbEntry

"forget" — negative implicative with infinitival

Equations

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

def English.Predicates.Verbal.neglect : VerbEntry

"neglect" — negative implicative ([Kar71] §10, ex. 38): "John neglected to lock his door" entails "John didn't lock his door."

Equations

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

def English.Predicates.Verbal.believe : VerbEntry

"believe" — doxastic attitude verb, creates opaque context

Equations

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

def English.Predicates.Verbal.think : VerbEntry

"think" — doxastic attitude verb

Equations

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

def English.Predicates.Verbal.want : VerbEntry

"want" — preferential attitude verb with infinitival complement

Equations

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

def English.Predicates.Verbal.intend : VerbEntry

"intend" — intention-reporting attitude verb ([Gra24]). Primary frame: infinitival with subject control ("intend to leave"). Alternate frame: for-to non-control ("intend for Ben to come along"). Rejects indicative complements cross-linguistically: "Kim intends that Sandy leaves." Requires eventuality abstraction (CAUSE binds the complement's event argument).

Equations

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

def English.Predicates.Verbal.decide_ : VerbEntry

"decide" — belief/intention hybrid attitude verb ([Gra24], §6.2). Nonfinite complement → intention formation: "Kim decided to quit smoking" Finite complement → belief formation: "Kim decided that smoking is harmful" The complement type determines the reading, as with Italian convincere ([FS26]).

Equations

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

def English.Predicates.Verbal.hope : VerbEntry

"hope" — preferential attitude verb (Class 3: anti-rogative). Primary frame: finite clause ("hope that John leaves"). Alternate frame: infinitival with subject control ("hope to leave").

Equations

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

def English.Predicates.Verbal.pray : VerbEntry

"pray" — preferential attitude verb, permits future temporal orientation. [Kle16]: like hope, pray can take a circumstantial modal base, allowing future-oriented readings under past tense morphology. Primary frame: finite clause ("pray that God helps"). Alternate frame: infinitival with subject control ("pray to be saved").

Equations

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

def English.Predicates.Verbal.expect : VerbEntry

"expect" — preferential attitude verb (Class 3: anti-rogative)

Equations

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

def English.Predicates.Verbal.wish : VerbEntry

"wish" — preferential attitude verb (Class 3: anti-rogative)

Equations

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

def English.Predicates.Verbal.fear : VerbEntry

"fear" — preferential attitude verb (Class 2: takes questions)

Equations

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

def English.Predicates.Verbal.dread : VerbEntry

"dread" — preferential attitude verb (Class 2: takes questions)

Equations

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

def English.Predicates.Verbal.worry : VerbEntry

"worry" — preferential attitude verb (Class 1: takes questions, non-C-distributive)

Equations

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

def English.Predicates.Verbal.seem : VerbEntry

"seem" — raising verb (no theta role for subject, unaccusative)

Equations

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

def English.Predicates.Verbal.cause : VerbEntry

"cause" — counterfactual dependence (necessity semantics)

Equations

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

def English.Predicates.Verbal.make : VerbEntry

"make" — direct sufficient guarantee

Equations

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

def English.Predicates.Verbal.let_ : VerbEntry

"let" — permissive causative (barrier removal)

Equations

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

def English.Predicates.Verbal.have_caus : VerbEntry

"have" — causative use (directive causation)

Equations

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

def English.Predicates.Verbal.get_caus : VerbEntry

"get" — causative use (persuasive causation)

Equations

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

def English.Predicates.Verbal.force : VerbEntry

"force" — coercive causative (overcome resistance)

Equations

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

def English.Predicates.Verbal.prevent : VerbEntry

"prevent" — blocking causative (barrier addition). "X prevented Y from V-ing" entails the effect did NOT occur (¬p in w₀) but would have without X's intervention. [NL20]: preventSem (dual of causeSem).

Equations

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

def English.Predicates.Verbal.kill : VerbEntry

"kill" — thin lexical causative (kill = cause-to-die, COMPACT type).

Equations

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

def English.Predicates.Verbal.break_ : VerbEntry

"break" — thick lexical causative (Levin 45.1 Break Verbs; [Emb09] break-class). Pure change-of-state verb: change in "material integrity" with no specification of how the change comes about ([Lev93]:242).

Equations

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

def English.Predicates.Verbal.tear_ : VerbEntry

"tear" — Levin 45.1 Break Verbs. Contrary-direction separation with force. Unlike break, tear implies a specific directionality (bidirectional / pulling apart) and is compatible with careful controlled action. Patient restriction: any solid capable of irregular separation. [SMcN26] (§3.1–3.2). [MBB08]: Dimension 2 — tearing consistently distinguished from break/cut across 10/28 languages.

Equations

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

def English.Predicates.Verbal.crack : VerbEntry

"crack" — Levin 45.1 Break verbs. Physical disturbance CoS verb. [Tha25]: closed scale (contra [RH14] two-point classification), but allows BOTH telic ("cracked in a minute") and atelic ("cracked for two days") readings. Compatible with completely, partially, badly. The verb is NOT a standard degree achievement: its variable telicity does not reduce to scale boundedness alone.

Equations

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

def English.Predicates.Verbal.dent : VerbEntry

"dent" — Levin 45.1 Break verbs. Physical disturbance CoS verb. [Tha25]: closed scale, compatible with more dented, completely dented, badly dented.

Equations

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

def English.Predicates.Verbal.scratch : VerbEntry

"scratch" — Levin 45.1 Break verbs. Physical disturbance CoS verb. [Tha25]: closed scale, compatible with more scratched, completely scratched, badly scratched. Note: also has a manner reading (Levin §10.4.1 wipe verbs: "The cat scratched the sofa") distinct from the CoS reading formalized here.

Equations

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

def English.Predicates.Verbal.shatter : VerbEntry

"shatter" — Levin 45.1 Break verbs. NOT a physical disturbance verb. Punctual, non-gradable: shatter in two minutes (after, not duration), #shatter for two minutes, ??more shattered ([Tha25] (12)).

Equations

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

def English.Predicates.Verbal.burn : VerbEntry

"burn" — thick lexical causative (manner = by fire/heat).

Equations

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

def English.Predicates.Verbal.destroy : VerbEntry

"destroy" — thin lexical causative (result-only, no manner).

Equations

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

def English.Predicates.Verbal.melt : VerbEntry

"melt" — thick lexical causative (manner = by heat). Base transitive that productively takes DOC ("melt me some ice cream"). Implicit obj is indefinite ("the ice cream melted" / "we're melting").

Equations

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

def English.Predicates.Verbal.activate : VerbEntry

"activate" — thin causative, CoS without manner.

Equations

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

def English.Predicates.Verbal.affect : VerbEntry

"affect" — thin causative, general effect.

Equations

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

def English.Predicates.Verbal.change : VerbEntry

"change" — thin causative, transformation (§26.6).

Equations

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

def English.Predicates.Verbal.damage : VerbEntry

"damage" — thin causative, partial destruction.

Equations

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

def English.Predicates.Verbal.eliminate : VerbEntry

"eliminate" — thin causative, removal/destruction.

Equations

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

def English.Predicates.Verbal.hurt : VerbEntry

"hurt" — thin causative, generic harm.

Equations

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

def English.Predicates.Verbal.restore : VerbEntry

"restore" — thin causative, reverse transformation (§26.6).

Equations

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

def English.Predicates.Verbal.trigger : VerbEntry

"trigger" — thin causative, engender class (§27).

Equations

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

def English.Predicates.Verbal.bury : VerbEntry

"bury" — thick causative (state), concealment (§16).

Equations

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

def English.Predicates.Verbal.drop : VerbEntry

"drop" — thick causative, caused falling (§45.4).

Equations

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

def English.Predicates.Verbal.lift : VerbEntry

"lift" — thick causative, caused upward motion (§11.4 carry).

Equations

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

def English.Predicates.Verbal.lock : VerbEntry

"lock" — thick causative, caused secured state (§45.4).

Equations

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

def English.Predicates.Verbal.shut : VerbEntry

"shut" — thick causative, caused closed state (§45.4).

Equations

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

def English.Predicates.Verbal.spread : VerbEntry

"spread" — thick causative, spray/load class (§9.7).

Equations

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

def English.Predicates.Verbal.stretch : VerbEntry

"stretch" — thick causative, bend class (§45.2).

Equations

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

def English.Predicates.Verbal.switch : VerbEntry

"switch" — thick causative, CoS (§45.4).

Equations

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

def English.Predicates.Verbal.devour : VerbEntry

"devour" — transitive, no presupposition

Equations

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

def English.Predicates.Verbal.read : VerbEntry

"read" — transitive, no presupposition

Equations

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

def English.Predicates.Verbal.build : VerbEntry

"build" — creation verb, strictly incremental theme. Base transitive that productively takes DOC ("build us a house").

Equations

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

def English.Predicates.Verbal.write : VerbEntry

"write" — creation verb, strictly incremental theme. Alternates DOC/PP. Implicit DO in both frames (indefinite). Uniquely allows implicit DO in both DOC and PP ([Bru21]).

Equations

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

def English.Predicates.Verbal.sweep : VerbEntry

"sweep" — motion + sustained contact, variable agentivity (default sense).

Equations

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

def English.Predicates.Verbal.sweep_instr : VerbEntry

"sweep" instrument sense — obligatorily agentive, broom lexicalized.

Equations

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

def English.Predicates.Verbal.say : VerbEntry

"say" — communication verb, not factive

Equations

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

def English.Predicates.Verbal.tell : VerbEntry

"tell" — communication verb with recipient. Also ditransitive ("tell me a story"). Implicit second obj is definite ([Bru21]: recoverable). Implicit goal (PP) is indefinite.

Equations

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

def English.Predicates.Verbal.claim : VerbEntry

"claim" — communication verb, speaker doesn't endorse

Equations

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

The 20 clause-embedding predicates from [DT21]. Predicates already defined above: know, discover, see, think, say, hear. "be annoyed" and "be right" are copular constructions, not simple verbs.

def English.Predicates.Verbal.reveal : VerbEntry

"reveal" — factive communication verb ([DT22]: canonically factive)

Equations

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

def English.Predicates.Verbal.acknowledge : VerbEntry

"acknowledge" — optionally factive communication verb

Equations

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

def English.Predicates.Verbal.admit : VerbEntry

"admit" — optionally factive communication verb

Equations

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

def English.Predicates.Verbal.announce : VerbEntry

"announce" — communication verb

Equations

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

def English.Predicates.Verbal.confess : VerbEntry

"confess" — optionally factive communication verb

Equations

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

def English.Predicates.Verbal.inform : VerbEntry

"inform" — optionally factive communication verb with recipient

Equations

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

def English.Predicates.Verbal.suggest : VerbEntry

"suggest" — non-factive communication verb

Equations

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

def English.Predicates.Verbal.pretend : VerbEntry

"pretend" — anti-veridical attitude verb

Equations

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

def English.Predicates.Verbal.confirm : VerbEntry

"confirm" — evidential verb

Equations

• English.Predicates.Verbal.confirm = English.Predicates.Verbal.VerbEntry.mkRegular { frames := [Frame.finiteClause], vendlerClass := some Features.VendlerClass.achievement, form := "confirm" }

def English.Predicates.Verbal.demonstrate : VerbEntry

"demonstrate" — evidential verb

Equations

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

def English.Predicates.Verbal.establish : VerbEntry

"establish" — evidential verb

Equations

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

def English.Predicates.Verbal.prove : VerbEntry

"prove" — evidential verb

Equations

• English.Predicates.Verbal.prove = English.Predicates.Verbal.VerbEntry.mkRegular { frames := [Frame.finiteClause], vendlerClass := some Features.VendlerClass.achievement, form := "prove" }

Manner-of-speaking (MoS) verbs specify how something is said. [Sto26c] shows these divide into two classes: - QI-permitting (unaccusative): whisper, murmur, mumble, mutter, shout, cry, scream, shriek, yell, groan, grumble, hiss, sigh, whimper, snap - Non-QI (unergative): speak, talk

def English.Predicates.Verbal.whisper : VerbEntry

"whisper" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.murmur : VerbEntry

"murmur" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.shout : VerbEntry

"shout" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.cry : VerbEntry

"cry" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.scream : VerbEntry

"scream" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.mumble : VerbEntry

"mumble" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.mutter : VerbEntry

"mutter" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.shriek : VerbEntry

"shriek" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.yell : VerbEntry

"yell" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.groan : VerbEntry

"groan" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.grumble : VerbEntry

"grumble" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.hiss : VerbEntry

"hiss" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.sigh : VerbEntry

"sigh" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.whimper : VerbEntry

"whimper" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.snap : VerbEntry

"snap" — MoS verb, permits quotative inversion (unaccusative)

Equations

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

def English.Predicates.Verbal.speak : VerbEntry

"speak" — agentive communication verb, blocks quotative inversion (unergative)

Equations

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

def English.Predicates.Verbal.talk : VerbEntry

"talk" — agentive communication verb, blocks quotative inversion (unergative)

Equations

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

def English.Predicates.Verbal.wonder : VerbEntry

"wonder" — embeds questions only

Equations

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

def English.Predicates.Verbal.ask : VerbEntry

"ask" — embeds questions

Equations

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

def English.Predicates.Verbal.investigate : VerbEntry

"investigate" — rogative, embeds interrogatives only

Equations

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

def English.Predicates.Verbal.depend_on : VerbEntry

"depend_on" — rogative, embeds interrogatives only ([Day25]: rogativeCP)

Equations

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

def English.Predicates.Verbal.remember_rog : VerbEntry

"remember" in factive/question-embedding sense.

Equations

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

def English.Predicates.Verbal.forget_rog : VerbEntry

"forget" in factive/question-embedding sense.

Equations

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

Occasion verbs presuppose a prior occasioning eventuality and have experiencer (agent-evocator) subjects. They pattern with AgExp verbs for implicit causality bias.

"manage" has two entries: `manage` (`.default`, agentive subject — traditional
implicative analysis) and `manage_occasion` (`.occasion`, experiencer subject —
Solstad & Bott's agent-evocator analysis). This mirrors [kim-2024]'s observation
that the same verb can project different effective argument structures
depending on the interpretive context. 

def English.Predicates.Verbal.manage_occasion : VerbEntry

"manage" occasion sense — agent-evocator subject. Same implicative semantics as manage, but subject is experiencer (sentience + independent existence, no entailed volition/causation). The do-test passes pragmatically because the complement denotes a volitional action, not because the matrix verb entails agentivity.

Equations

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

def English.Predicates.Verbal.dare : VerbEntry

"dare" — positive implicative with prerequisite presupposition: courage. "Ana dared to enter the cave" → "Ana entered the cave." Presupposes that daring/courageous action was required for complement realization ([Nad23b] §5.2, ex. 3–4, 26).

Equations

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

def English.Predicates.Verbal.bother : VerbEntry

"bother" — positive implicative with prerequisite presupposition: engagement. "He bothered to answer" → "He answered." Presupposes that overcoming apathy/effort was required ([Nad23b] §2, ex. 10, 28).

Equations

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

def English.Predicates.Verbal.hesitate : VerbEntry

"hesitate" — polarity-reversing one-way implicative. "Amira hesitated to drink a beer" ↛ "Amira did not drink a beer." "Amira did not hesitate to drink a beer" → "Amira drank a beer." The paper does not explicitly name the prerequisite for hesitate; it is treated as a polarity-reversing analog of dare ([Nad23b] §6.4, ex. 45–47).

Equations

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

def English.Predicates.Verbal.venture : VerbEntry

"venture" — positive implicative ([Kar71] ex. 2): "John ventured to speak" entails "John spoke."

Equations

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

def English.Predicates.Verbal.condescend : VerbEntry

"condescend" — positive implicative ([Kar71] ex. 2): "John condescended to help" entails "John helped."

Equations

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

def English.Predicates.Verbal.happen : VerbEntry

"happen" — raising verb, positive implicative ([Kar71] ex. 2): "John happened to see Mary" entails "John saw Mary." Raising: "It happened to rain" — no theta role for matrix subject.

Equations

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

[Lev93] class 31.2 (admire). Subject = experiencer, object = stimulus. NP1 (subject) IC bias.

def English.Predicates.Verbal.enjoy : VerbEntry

"enjoy" — AgExp verb (experiencer-subject)

Equations

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

def English.Predicates.Verbal.like : VerbEntry

"like" — AgExp verb (experiencer-subject)

Equations

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

def English.Predicates.Verbal.love : VerbEntry

"love" — AgExp verb (experiencer-subject)

Equations

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

def English.Predicates.Verbal.hate : VerbEntry

"hate" — AgExp verb (experiencer-subject)

Equations

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

def English.Predicates.Verbal.admire : VerbEntry

"admire" — AgExp verb (experiencer-subject)

Equations

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

def English.Predicates.Verbal.envy : VerbEntry

"envy" — AgExp verb (experiencer-subject). DOC-only ditransitive ("He envies me the car"). Implicit goal is definite (familiar). Implicit second obj is indefinite.

Equations

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

def English.Predicates.Verbal.respect : VerbEntry

"respect" — AgExp verb (experiencer-subject)

Equations

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

def English.Predicates.Verbal.value : VerbEntry

"value" — AgExp verb (experiencer-subject)

Equations

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

def English.Predicates.Verbal.fear_np : VerbEntry

"fear" (NP complement) — Class I psych verb (B&R temere). "John fears snakes." Experiencer subject, stimulus object. Note: fear (attitude verb, clausal complement) is defined separately.

Equations

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

def English.Predicates.Verbal.dread_np : VerbEntry

"dread" (NP complement) — Class I psych verb. "John dreads exams." Note: dread (attitude, clausal) defined separately.

Equations

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

[Lev93] class 31.1 (amuse). Subject = stimulus, object = experiencer. NP2 (object) IC bias.

def English.Predicates.Verbal.frighten : VerbEntry

"frighten" — StimExp verb (stimulus-subject, eventive: [Kim24] UPH)

Equations

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

def English.Predicates.Verbal.amuse : VerbEntry

"amuse" — StimExp verb (stimulus-subject, eventive: [Kim24] UPH)

Equations

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

def English.Predicates.Verbal.fascinate : VerbEntry

"fascinate" — StimExp verb (stimulus-subject, eventive: [Kim24] UPH)

Equations

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

def English.Predicates.Verbal.irritate : VerbEntry

"irritate" — StimExp verb (stimulus-subject, eventive: [Kim24] UPH)

Equations

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

def English.Predicates.Verbal.annoy : VerbEntry

"annoy" — StimExp verb (stimulus-subject, eventive: [Kim24] UPH)

Equations

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

def English.Predicates.Verbal.bore : VerbEntry

"bore" — StimExp verb (stimulus-subject, eventive: [Kim24] UPH)

Equations

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

def English.Predicates.Verbal.charm : VerbEntry

"charm" — StimExp verb (stimulus-subject, eventive: [Kim24] UPH)

Equations

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

def English.Predicates.Verbal.impress : VerbEntry

"impress" — StimExp verb (stimulus-subject, eventive: [Kim24] UPH)

Equations

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

def English.Predicates.Verbal.concern : VerbEntry

"concern" — stative Class II psych verb ([Kim24] UPH, internal cause)

Equations

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

def English.Predicates.Verbal.interest : VerbEntry

"interest" — stative Class II psych verb ([Kim24] UPH, internal cause)

Equations

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

def English.Predicates.Verbal.surprise : VerbEntry

"surprise" — eventive Class II (Levin 31.1). "The news surprised John."

Equations

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

def English.Predicates.Verbal.scare : VerbEntry

"scare" — eventive Class II (Levin 31.1). "The noise scared John."

Equations

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

def English.Predicates.Verbal.delight : VerbEntry

"delight" — eventive Class II (Levin 31.1). "The gift delighted Mary."

Equations

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

def English.Predicates.Verbal.embarrass : VerbEntry

"embarrass" — eventive Class II (Levin 31.1). "The remark embarrassed John."

Equations

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

def English.Predicates.Verbal.upset_psych : VerbEntry

"upset" — eventive Class II (Levin 31.1). "The news upset Mary."

Equations

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

def English.Predicates.Verbal.disgust : VerbEntry

"disgust" — eventive Class II (Levin 31.1). "The smell disgusted John."

Equations

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

def English.Predicates.Verbal.shock : VerbEntry

"shock" — eventive Class II (Levin 31.1). "The revelation shocked everyone."

Equations

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

def English.Predicates.Verbal.confuse : VerbEntry

"confuse" — eventive Class II (Levin 31.1). "The instructions confused John."

Equations

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

def English.Predicates.Verbal.disappoint : VerbEntry

"disappoint" — eventive Class II (Levin 31.1). "The result disappointed Mary."

Equations

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

def English.Predicates.Verbal.worry_eventive : VerbEntry

"worry" (eventive) — Class II, external cause. "The noise worried John." Note: worry (attitude, clausal) defined separately.

Equations

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

def English.Predicates.Verbal.worry_stative : VerbEntry

"worry" (stative) — Class II, internal cause. "The situation worries John." [Kim24] UPH: same theta grid as worry_eventive, different causal source.

Equations

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

def English.Predicates.Verbal.please_psych : VerbEntry

"please" — stative Class II ([Kim24] UPH, internal cause). "The idea pleases John." Related to B&R Class III It. piacere.

Equations

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

def English.Predicates.Verbal.trouble : VerbEntry

"trouble" — stative Class II ([Kim24] UPH, internal cause). "The thought troubles John."

Equations

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

def English.Predicates.Verbal.puzzle : VerbEntry

"puzzle" — stative Class II ([Kim24] UPH, internal cause). "The problem puzzles John."

Equations

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

Agent-patient verbs with full agentive subjects. NP1 IC bias (default). "kick" already defined above.

def English.Predicates.Verbal.chase : VerbEntry

"chase" — AgPat verb (Levin 51.6)

Equations

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

def English.Predicates.Verbal.hit : VerbEntry

"hit" — AgPat verb (Levin 18.1)

Equations

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

def English.Predicates.Verbal.push : VerbEntry

"push" — AgPat verb (Levin 12)

Equations

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

def English.Predicates.Verbal.pull : VerbEntry

"pull" — AgPat verb (Levin 12)

Equations

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

def English.Predicates.Verbal.shove : VerbEntry

"shove" — verb of exerting force (Levin 12, [Lev26] (31))

Equations

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

def English.Predicates.Verbal.tug : VerbEntry

"tug" — verb of exerting force (Levin 12, [Lev26] (31))

Equations

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

def English.Predicates.Verbal.yank : VerbEntry

"yank" — verb of exerting force (Levin 12, [Lev26] (31))

Equations

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

def English.Predicates.Verbal.jerk : VerbEntry

"jerk" — verb of exerting force (Levin 12, [Lev26] (31))

Equations

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

def English.Predicates.Verbal.wrench : VerbEntry

"wrench" — verb of exerting force (Levin 12, [Lev26] (31))

Equations

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

def English.Predicates.Verbal.fling : VerbEntry

"fling" — verb of exerting force / throwing (Levin 12/17, [Lev26] (31)). Irregular past.

Equations

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

def English.Predicates.Verbal.slam : VerbEntry

"slam" — verb of surface contact, hitting (Levin 18.1, [Lev26] (32a)). Irregular doubling.

Equations

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

def English.Predicates.Verbal.punch : VerbEntry

"punch" — verb of surface contact, hitting (Levin 18.1, [Lev26] (32a))

Equations

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

def English.Predicates.Verbal.smack : VerbEntry

"smack" — verb of surface contact, hitting (Levin 18.1, [Lev26] (32a))

Equations

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

def English.Predicates.Verbal.thump : VerbEntry

"thump" — verb of surface contact, hitting (Levin 18.1, [Lev26] (32a))

Equations

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

def English.Predicates.Verbal.bang : VerbEntry

"bang" — verb of surface contact, hitting (Levin 18.1, [Lev26] (32a))

Equations

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

def English.Predicates.Verbal.thrash : VerbEntry

"thrash" — verb of surface contact, hitting (Levin 18.1, [Lev26] (32a))

Equations

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

def English.Predicates.Verbal.scrape : VerbEntry

"scrape" — verb of surface contact, wiping (Levin 10.4, [Lev26] (32b)). In intr-push-open, enters through surface-contact sense, not removing sense.

Equations

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

def English.Predicates.Verbal.carry : VerbEntry

"carry" — AgPat verb (Levin 11.4)

Equations

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

def English.Predicates.Verbal.drag : VerbEntry

"drag" — AgPat verb (Levin 11.4/12)

Equations

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

def English.Predicates.Verbal.call : VerbEntry

"call" — AgPat verb (communication + agent-patient frame)

Equations

• English.Predicates.Verbal.call = English.Predicates.Verbal.VerbEntry.mkRegular { frames := [Frame.np], vendlerClass := some Features.VendlerClass.activity, form := "call" }

def English.Predicates.Verbal.place : VerbEntry

"place" — Levin 9.1 Put verbs. Instantaneous placement.

Equations

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

def English.Predicates.Verbal.pour : VerbEntry

"pour" — Levin 9.5 Pour verbs. Manner of caused motion.

Equations

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

def English.Predicates.Verbal.spray : VerbEntry

"spray" — Levin 9.7 Spray/Load verbs. Locative alternation.

Equations

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

def English.Predicates.Verbal.load : VerbEntry

"load" — Levin 9.7 Spray/Load verbs. Locative alternation.

Equations

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

def English.Predicates.Verbal.remove : VerbEntry

"remove" — Levin 10.1 Remove verbs.

Equations

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

def English.Predicates.Verbal.clean : VerbEntry

"clean" — Levin 10.3 Clear verbs. Incremental by surface area. Also a degree achievement: closed scale (maximally clean).

Equations

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

def English.Predicates.Verbal.steal : VerbEntry

"steal" — Levin 10.5 Steal verbs.

Equations

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

def English.Predicates.Verbal.send : VerbEntry

"send" — Levin 11.1 Send verbs. Alternates DOC/PP. Goal does not entail possession (prospective). Neither object implicit alone.

Equations

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

def English.Predicates.Verbal.drive : VerbEntry

"drive" — Levin 11.5 Drive verbs (vehicle-mediated motion).

Equations

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

def English.Predicates.Verbal.donate : VerbEntry

"donate" — Levin 13.2 Contribute verbs.

Equations

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

def English.Predicates.Verbal.obtain : VerbEntry

"obtain" — Levin 13.5 Get verbs.

Equations

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

def English.Predicates.Verbal.trade : VerbEntry

"trade" — Levin 13.6 Exchange verbs.

Equations

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

def English.Predicates.Verbal.learn : VerbEntry

"learn" — Levin 14 Learn verbs.

Equations

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

def English.Predicates.Verbal.hold : VerbEntry

"hold" — Levin 15.1 Hold verbs. Stative.

Equations

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

def English.Predicates.Verbal.hide : VerbEntry

"hide" — Levin 16 Conceal verbs.

Equations

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

def English.Predicates.Verbal.throw : VerbEntry

"throw" — Levin 17.1 Throw verbs. Ballistic motion. Alternates DOC/PP. Implicit DO in PP frame only (definite).

Equations

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

def English.Predicates.Verbal.poke : VerbEntry

"poke" — Levin 19 Poke verbs. Punctual contact.

Equations

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

def English.Predicates.Verbal.touch : VerbEntry

"touch" — Levin 20 Touch verbs. Surface contact.

Equations

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

def English.Predicates.Verbal.cut : VerbEntry

"cut" — Levin 21.1 Cut verbs. Incremental by length of cut. [MBB08]: Dimension 1 high predictability — sharp instrument on yielding object → predictable locus of separation.

Equations

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

def English.Predicates.Verbal.chop : VerbEntry

"chop" — Levin 21.2 Carve verbs.

Equations

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

def English.Predicates.Verbal.mix : VerbEntry

"mix" — Levin 22.1 Mix verbs. Incremental by proportion combined.

Equations

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

def English.Predicates.Verbal.separate : VerbEntry

"separate" — Levin 23.1 Separate verbs.

Equations

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

def English.Predicates.Verbal.paint : VerbEntry

"paint" — Levin 24 Color verbs. Incremental by surface area.

Equations

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

def English.Predicates.Verbal.draw : VerbEntry

"draw" — Levin 25 Image Creation verbs. Incremental by extent.

Equations

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

def English.Predicates.Verbal.create : VerbEntry

"create" — Levin 26.4 Create verbs.

Equations

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

def English.Predicates.Verbal.grow : VerbEntry

"grow" — Levin 26.2 Grow verbs. Incremental by size.

Equations

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

def English.Predicates.Verbal.perform : VerbEntry

"perform" — Levin 26.7 Performance verbs.

Equations

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

def English.Predicates.Verbal.appoint : VerbEntry

"appoint" — Levin 29.1 Appoint verbs.

Equations

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

def English.Predicates.Verbal.hear : VerbEntry

"hear" — Levin 30.1 See verbs. Stative perception. Also embeds finite clauses (optionally factive per [DT22]).

Equations

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

def English.Predicates.Verbal.blame : VerbEntry

"blame" — Levin 33 Judgment verbs.

Equations

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

def English.Predicates.Verbal.evaluate : VerbEntry

"evaluate" — Levin 34 Assessment verbs.

Equations

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

def English.Predicates.Verbal.marry : VerbEntry

"marry" — Levin 36 Social Interaction verbs.

Equations

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

def English.Predicates.Verbal.bark : VerbEntry

"bark" — Levin 38 Animal Sound verbs.

Equations

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

def English.Predicates.Verbal.breathe : VerbEntry

"breathe" — Levin 40.1 Body Process verbs.

Equations

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

def English.Predicates.Verbal.cough : VerbEntry

"cough" — Levin 40.1 Body Process verbs. Semelfactive: single involuntary event, no result state ([Smi97] §2.4.3).

Equations

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

def English.Predicates.Verbal.hiccup : VerbEntry

"hiccup" — Levin 40.1 Body Process verbs. Semelfactive: single involuntary body event ([Smi97] §2.4.3).

Equations

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

def English.Predicates.Verbal.blink : VerbEntry

"blink" — Levin 40.3 Body-Internal Motion. Semelfactive: single instantaneous eye movement ([Smi97] §2.4.3).

Equations

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

def English.Predicates.Verbal.knock : VerbEntry

"knock" — Levin 18.1 Hit verbs (intransitive use). Semelfactive: single percussive contact event ([Smi97] §2.4.3: "Guy knocked at the door").

Equations

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

def English.Predicates.Verbal.tap : VerbEntry

"tap" — Levin 18.1 Hit verbs (intransitive use). Semelfactive: single light percussive contact event ([Smi97] §2.4.3).

Equations

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

def English.Predicates.Verbal.flash : VerbEntry

"flash" — Levin 43.1 Light Emission verbs. Semelfactive: single instantaneous light event ([Smi97] §2.4.3).

Equations

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

def English.Predicates.Verbal.flinch : VerbEntry

"flinch" — Levin 40.5 Flinch verbs. Involuntary reaction.

Equations

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

def English.Predicates.Verbal.dress : VerbEntry

"dress" — Levin 41.1 Dress verbs.

Equations

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

def English.Predicates.Verbal.drown : VerbEntry

"drown" — Levin 42.2 Poison verbs. Manner-of-killing.

Equations

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

def English.Predicates.Verbal.glow : VerbEntry

"glow" — Levin 43.1 Light Emission verbs.

Equations

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

def English.Predicates.Verbal.buzz : VerbEntry

"buzz" — Levin 43.2 Sound Emission verbs.

Equations

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

def English.Predicates.Verbal.bleed : VerbEntry

"bleed" — Levin 43.4 Substance Emission verbs.

Equations

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

def English.Predicates.Verbal.bend : VerbEntry

"bend" — Levin 45.2 Bend verbs. Causative/inchoative alternation. Degree achievement: closed scale (straight → bent, has maximal endpoint).

Equations

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

def English.Predicates.Verbal.boil : VerbEntry

"boil" — Levin 45.3 Cooking verbs. Causative/inchoative alternation. Degree achievement: closed scale (reaches boiling point).

Equations

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

def English.Predicates.Verbal.rust : VerbEntry

"rust" — Levin 45.5 Entity-Specific CoS verbs. Inchoative only. Degree achievement: open scale (no maximum rustedness).

Equations

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

def English.Predicates.Verbal.increase : VerbEntry

"increase" — Levin 45.6 Calibratable CoS verbs (degree achievements). Degree achievement: open scale (no maximum quantity).

Equations

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

def English.Predicates.Verbal.straighten : VerbEntry

"straighten" — Closed-scale degree achievement (base adj: straight). Accomplishment: "straightened the wire in 10 seconds."

Equations

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

def English.Predicates.Verbal.flatten : VerbEntry

"flatten" — Closed-scale degree achievement (base adj: flat). Accomplishment: "flattened the dough in 2 minutes."

Equations

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

def English.Predicates.Verbal.open_ : VerbEntry

"open" — Closed-scale degree achievement (base adj: open, closed scale). Accomplishment: "opened the door in 3 seconds."

Equations

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

def English.Predicates.Verbal.lengthen : VerbEntry

"lengthen" — Open-scale degree achievement (base adj: long, open scale). Activity: "lengthened the rope for hours."

Equations

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

def English.Predicates.Verbal.widen : VerbEntry

"widen" — Open-scale degree achievement (base adj: wide, open scale). Activity: "widened the road for months."

Equations

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

def English.Predicates.Verbal.cool : VerbEntry

"cool" — Open-scale degree achievement (base adj: cool, open scale). Activity: "cooled for an hour."

Equations

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

def English.Predicates.Verbal.warm : VerbEntry

"warm" — Open-scale degree achievement (base adj: warm, open scale). Activity: "warmed for an hour."

Equations

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

def English.Predicates.Verbal.exist : VerbEntry

"exist" — Levin 47.1 Exist verbs. Pure state.

Equations

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

def English.Predicates.Verbal.appear : VerbEntry

"appear" — Levin 48.1 Appear verbs. Punctual emergence.

Equations

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

def English.Predicates.Verbal.fidget : VerbEntry

"fidget" — Levin 49 Body-Internal Motion verbs.

Equations

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

def English.Predicates.Verbal.sit : VerbEntry

"sit" — Levin 50 Assume Position verbs. Stative.

Equations

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

def English.Predicates.Verbal.stand : VerbEntry

"stand" — Levin 50 Assume Position verbs. Stative.

Equations

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

def English.Predicates.Verbal.walk : VerbEntry

"walk" — Levin 51.3 Manner of Motion verbs.

Equations

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

def English.Predicates.Verbal.swim : VerbEntry

"swim" — Levin 51.3 Manner of Motion verbs.

Equations

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

def English.Predicates.Verbal.fly : VerbEntry

"fly" — Levin 51.4 Vehicle Motion verbs.

Equations

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

def English.Predicates.Verbal.avoid : VerbEntry

"avoid" — Levin 52 Avoid verbs. Stative.

Equations

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

def English.Predicates.Verbal.linger : VerbEntry

"linger" — Levin 53.1 Linger verbs.

Equations

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

def English.Predicates.Verbal.rush : VerbEntry

"rush" — Levin 53.2 Rush verbs.

Equations

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

def English.Predicates.Verbal.rain : VerbEntry

"rain" — Levin 57 Weather verbs. Expletive subject.

Equations

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

Ditransitive verbs classified by their implicit argument behavior, following [Bru21] Table (56). The classification is theory-neutral: it records surface optionality and interpretation without committing to a specific structural analysis.

def English.Predicates.Verbal.charge : VerbEntry

"charge" — DOC-only. Implicit second obj indef, implicit goal def (addressee).

Equations

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

def English.Predicates.Verbal.cost : VerbEntry

"cost" — DOC-only. Implicit second obj indef, implicit goal def.

Equations

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

def English.Predicates.Verbal.fine : VerbEntry

"fine" — DOC-only. Implicit second obj indef, implicit goal def.

Equations

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

def English.Predicates.Verbal.tip : VerbEntry

"tip" — DOC-only. Implicit second obj indef, implicit goal def (unique).

Equations

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

def English.Predicates.Verbal.pay : VerbEntry

"pay" — DOC-only. Implicit second obj indef, implicit goal def.

Equations

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

def English.Predicates.Verbal.strike_ : VerbEntry

"strike" — DOC-only. Implicit second obj indef, implicit goal def (familiar).

Equations

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

def English.Predicates.Verbal.forgive : VerbEntry

"forgive" — DOC-only. Implicit second obj def, implicit goal def (addressee).

Equations

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

def English.Predicates.Verbal.spare : VerbEntry

"spare" — DOC-only. Implicit second obj def, no implicit goal.

Equations

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

def English.Predicates.Verbal.deny : VerbEntry

"deny" — DOC-only. Implicit goal def; second object obligatory ([Bru21] Table 56 row 3 col 1, ex. (32d) p. 1032).

Equations

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

def English.Predicates.Verbal.permit : VerbEntry

"permit" — DOC-only. Implicit goal def (addressee); second object obligatory ([Bru21] Table 56 row 3 col 1, ex. (32e) p. 1032).

Equations

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

def English.Predicates.Verbal.assign : VerbEntry

"assign" — alternating (DOC + PP). Implicit goal def; second object obligatory (Pesetsky 1995:157 ex. (3a-c); [Bru21] Table 56 row 3).

Equations

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

def English.Predicates.Verbal.begrudge : VerbEntry

"begrudge" — DOC-only. Neither object implicit.

Equations

• English.Predicates.Verbal.begrudge = English.Predicates.Verbal.VerbEntry.mkRegular { frames := [Frame.np_np], vendlerClass := some Features.VendlerClass.state, form := "begrudge" }

def English.Predicates.Verbal.bet : VerbEntry

"bet" — DOC-only. Neither object implicit.

Equations

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

def English.Predicates.Verbal.serve : VerbEntry

"serve" — alternates DOC/PP. Implicit second obj indef (DOC). Implicit goal def (PP).

Equations

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

def English.Predicates.Verbal.teach : VerbEntry

"teach" — alternates DOC/PP. Implicit goal indef (PP). When both implicit, both are indefinite.

Equations

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

def English.Predicates.Verbal.feed : VerbEntry

"feed" — alternates DOC/PP. Implicit second obj indef (DOC). No implicit goal.

Equations

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

def English.Predicates.Verbal.show_ : VerbEntry

"show" — alternates DOC/PP. Implicit second obj def. No implicit goal.

Equations

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

def English.Predicates.Verbal.award : VerbEntry

"award" — alternates DOC/PP. Implicit goal def (PP).

Equations

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

def English.Predicates.Verbal.forward_ : VerbEntry

"forward" — alternates DOC/PP. Implicit goal def (PP).

Equations

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

def English.Predicates.Verbal.grant : VerbEntry

"grant" — alternates DOC/PP. Implicit goal def (PP).

Equations

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

def English.Predicates.Verbal.offer : VerbEntry

"offer" — alternates DOC/PP. Implicit goal def (PP).

Equations

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

def English.Predicates.Verbal.reserve : VerbEntry

"reserve" — alternates DOC/PP. Implicit goal def (PP).

Equations

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

def English.Predicates.Verbal.pass : VerbEntry

"pass" — alternates DOC/PP. Implicit DO def in PP frame only.

Equations

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

def English.Predicates.Verbal.hand : VerbEntry

"hand" — alternates DOC/PP. Neither argument implicit.

Equations

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

def English.Predicates.Verbal.lend : VerbEntry

"lend" — alternates DOC/PP. Neither argument implicit.

Equations

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

def English.Predicates.Verbal.allVerbs : List VerbEntry

Get all verb entries as a list (for enumeration).

Equations

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

def English.Predicates.Verbal.lookup (form : String) : Option VerbEntry

Look up a verb entry by citation form.

Equations

• English.Predicates.Verbal.lookup form = List.find? (fun (v : English.Predicates.Verbal.VerbEntry) => v.form == form) English.Predicates.Verbal.allVerbs

def English.Predicates.Verbal.VerbEntry.toWord3sg (v : VerbEntry) : Morphology.Word

Convert a verb entry to a Word (from Core.Basic) in 3sg present form.

Equations

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

def English.Predicates.Verbal.VerbEntry.toWordPl (v : VerbEntry) : Morphology.Word

Convert a verb entry to a Word in base/plural present form.

Equations

• v.toWordPl = { form := v.form, cat := UD.UPOS.VERB, features := { number := some UD.Number.Plur, tense := some UD.Tense.Pres } }

def English.Predicates.Verbal.VerbEntry.toWordBase (v : VerbEntry) : Morphology.Word

Convert a verb entry to a Word in base/infinitive form.

Equations

• v.toWordBase = { form := v.form, cat := UD.UPOS.VERB, features := { verbForm := some UD.VerbForm.Inf } }

def English.Predicates.Verbal.VerbEntry.toWordPast (v : VerbEntry) : Morphology.Word

Convert a verb entry to a Word in past tense (active finite) form.

Equations

• v.toWordPast = { form := v.formPast, cat := UD.UPOS.VERB, features := { verbForm := some UD.VerbForm.Fin, tense := some UD.Tense.Past, voice := some UD.Voice.Act } }

def English.Predicates.Verbal.VerbEntry.toWordPastPart (v : VerbEntry) : Morphology.Word

The past participle as a Word; original valence retained (perfects: "has kicked the ball").

Equations

• v.toWordPastPart = { form := v.formPastPart, cat := UD.UPOS.VERB, features := { verbForm := some UD.VerbForm.Part } }

def English.Predicates.Verbal.VerbEntry.toWordPassive (v : VerbEntry) : Morphology.Word

The passive participle as a Word.

Equations

• v.toWordPassive = { form := v.formPastPart, cat := UD.UPOS.VERB, features := { verbForm := some UD.VerbForm.Part, voice := some UD.Voice.Pass } }

def English.Predicates.Verbal.VerbEntry.toWordPresPart (v : VerbEntry) : Morphology.Word

Convert a verb entry to a Word in present participle form.

Equations

• v.toWordPresPart = { form := v.formPresPart, cat := UD.UPOS.VERB, features := { verbForm := some UD.VerbForm.Part } }

These verify that the Fragment's causative annotations are consistent with the formal semantics in Causation.

The semantic-dispatch grounding theorems (e.g., make_semantics, cause_semantics, prevent_semantics, sufficiency_verbs_share_truth_conditions, lexical_causatives_match_make) are in the V2 sub-namespace below, parameterized by an arbitrary SEM V α. The legacy versions (which referenced Causative.toSemantics over CausalDynamics) were removed in Phase D-G in favor of the polymorphic V2 versions.

theorem English.Predicates.Verbal.make_asserts_sufficiency : make.AssertsSufficiency

"make" asserts sufficiency — derived from its builder.

theorem English.Predicates.Verbal.cause_not_sufficiency : ¬cause.AssertsSufficiency

"cause" does NOT assert sufficiency.

theorem English.Predicates.Verbal.make_type_verbs_share_semantics : make.causative = have_caus.causative ∧ make.causative = get_caus.causative

make-type verbs (make, have, get) share the .make builder.

theorem English.Predicates.Verbal.prevent_not_sufficiency : ¬prevent.AssertsSufficiency

"prevent" asserts neither sufficiency nor necessity — it uses the dual preventSem (blocking).

theorem English.Predicates.Verbal.prevent_is_en_trigger : prevent.isENTrigger = true

"prevent" is an EN trigger — it entails ¬p in w₀ (complement falsity), satisfying the FORGET class licensing condition ([JK21], §6.1.4).

theorem English.Predicates.Verbal.causative_builders_distinguished : make.causative ≠ force.causative ∧ make.causative ≠ let_.causative ∧ force.causative ≠ let_.causative

make, force, and let have different builders despite shared truth conditions.

Lexical causative theorems

theorem English.Predicates.Verbal.lexical_causatives_use_make : kill.causative = some Causative.make ∧ break_.causative = some Causative.make ∧ burn.causative = some Causative.make ∧ destroy.causative = some Causative.make ∧ melt.causative = some Causative.make

All lexical causatives use the .make builder.

theorem English.Predicates.Verbal.lexical_causatives_assert_sufficiency : kill.AssertsSufficiency ∧ break_.AssertsSufficiency ∧ burn.AssertsSufficiency ∧ destroy.AssertsSufficiency ∧ melt.AssertsSufficiency

Lexical causatives all assert sufficiency — like periphrastic "make".

theorem English.Predicates.Verbal.lexical_causatives_differ_from_cause : kill.causative ≠ cause.causative ∧ break_.causative ≠ cause.causative

Lexical causatives differ from periphrastic "cause" in truth conditions.

Semantic-dispatch grounding for implicatives is in the V2 sub-namespace (manage_semantics_implicative, fail_semantics_implicative) parameterized by an arbitrary SEM V α. The legacy versions were removed in Phase D-G.

theorem English.Predicates.Verbal.manage_positive_implicative : manage.implicative = some Implicative.positive

"manage" is a positive implicative: success entails the complement (Implicative.manageSem).

theorem English.Predicates.Verbal.fail_negative_implicative : fail.implicative = some Implicative.negative

"fail" is a negative implicative: success entails the complement's negation (Implicative.failSem).

theorem English.Predicates.Verbal.remember_positive_implicative : remember.implicative = some Implicative.positive

"remember" is a positive implicative: success entails the complement.

theorem English.Predicates.Verbal.forget_negative_implicative : forget.implicative = some Implicative.negative

"forget" is a negative implicative: success entails the complement's negation.

V2 mirror of the rfl theorems above on the BoolSEM substrate. Each statement is parameterized by an arbitrary deterministic acyclic SEM M; Causative.toSemantics M dispatches to the V2 hub predicates (Sufficiency.makeSem, Necessity.causeSem, Prevention.preventSem). The legacy CausalDynamics-based theorems above remain intact.

theorem English.Predicates.Verbal.V2.make_semantics {V : Type u_1} {α : V → Type u_2} [Fintype V] [DecidableEq V] [Causation.DecidableValuation α] [(v : V) → Fintype (α v)] (M : Causation.SEM V α) [M.graph.IsDAG] [M.IsDeterministic] : Option.map (Causative.toSemantics M) make.causative = some (Causation.Sufficiency.makeSem M)

V2 "make" → Sufficiency.makeSem (polymorphic).

theorem English.Predicates.Verbal.V2.cause_semantics {V : Type u_1} {α : V → Type u_2} [Fintype V] [DecidableEq V] [Causation.DecidableValuation α] [(v : V) → Fintype (α v)] (M : Causation.SEM V α) [M.graph.IsDAG] [M.IsDeterministic] : Option.map (Causative.toSemantics M) cause.causative = some (Causation.Necessity.causeSem M)

V2 "cause" → Necessity.causeSem (polymorphic).

theorem English.Predicates.Verbal.V2.prevent_semantics {V : Type u_1} {α : V → Type u_2} [Fintype V] [DecidableEq V] [Causation.DecidableValuation α] [(v : V) → Fintype (α v)] (M : Causation.SEM V α) [M.graph.IsDAG] [M.IsDeterministic] : Option.map (Causative.toSemantics M) prevent.causative = some (Causation.Prevention.preventSem M)

V2 "prevent" → Prevention.preventSem (polymorphic).

theorem English.Predicates.Verbal.V2.sufficiency_verbs_share_truth_conditions {V : Type u_1} {α : V → Type u_2} [Fintype V] [DecidableEq V] [Causation.DecidableValuation α] [(v : V) → Fintype (α v)] (M : Causation.SEM V α) [M.graph.IsDAG] [M.IsDeterministic] : Option.map (Causative.toSemantics M) make.causative = Option.map (Causative.toSemantics M) force.causative ∧ Option.map (Causative.toSemantics M) make.causative = Option.map (Causative.toSemantics M) let_.causative ∧ Option.map (Causative.toSemantics M) make.causative = Option.map (Causative.toSemantics M) have_caus.causative ∧ Option.map (Causative.toSemantics M) make.causative = Option.map (Causative.toSemantics M) get_caus.causative

V2: make/force/let/have/get share Sufficiency.makeSem truth conditions.

theorem English.Predicates.Verbal.V2.lexical_causatives_match_make {V : Type u_1} {α : V → Type u_2} [Fintype V] [DecidableEq V] [Causation.DecidableValuation α] [(v : V) → Fintype (α v)] (M : Causation.SEM V α) [M.graph.IsDAG] [M.IsDeterministic] : Option.map (Causative.toSemantics M) kill.causative = Option.map (Causative.toSemantics M) make.causative ∧ Option.map (Causative.toSemantics M) break_.causative = Option.map (Causative.toSemantics M) make.causative

V2: lexical causatives (kill, break) share truth conditions with periphrastic "make".

theorem English.Predicates.Verbal.V2.manage_semantics_implicative {V : Type u_1} {α : V → Type u_2} [Fintype V] [DecidableEq V] [Causation.DecidableValuation α] [(v : V) → Fintype (α v)] (M : Causation.SEM V α) [M.graph.IsDAG] [M.IsDeterministic] : Option.map (Implicative.toSemantics M) manage.implicative = some (Implicative.manageSem M)

"manage" → polymorphic Implicative.manageSem.

theorem English.Predicates.Verbal.V2.fail_semantics_implicative {V : Type u_1} {α : V → Type u_2} [Fintype V] [DecidableEq V] [Causation.DecidableValuation α] [(v : V) → Fintype (α v)] (M : Causation.SEM V α) [M.graph.IsDAG] [M.IsDeterministic] : Option.map (Implicative.toSemantics M) fail.implicative = some (Implicative.failSem M)

"fail" → polymorphic Implicative.failSem.