French Predicate Lexicon Fragment

@cite{song-1996}

French causative predicates, centered on the faire causative. @cite{song-1996} classifies faire as a COMPACT causative with free morpheme realization: the causative and effect verbs form a tight syntactic unit despite being separate words.

"Je ferai lire le livre à Nicole" = "I will make Nicole read the book" (faire + infinitive = single predicate for case marking purposes)

structure Fragments.French.Predicates.FrenchVerbEntryextends Semantics.Lexical.VerbCore : Type

French verb entry: extends VerbCore with French inflectional paradigm.

• form : String
• complementType : ComplementType
• subjectEntailments : Option ArgumentStructure.EntailmentProfile.EntailmentProfile
• objectEntailments : Option ArgumentStructure.EntailmentProfile.EntailmentProfile
• controlType : ControlType
• altComplementType : Option ComplementType
• altControlType : ControlType
• unaccusative : Bool
• voiceType : Option VoiceType
• passivizable : Bool
• implicitObj : Option ImplicitInterp
• implicitGoal : Option ImplicitInterp
• speechActVerb : Bool
• vendlerClass : Option Features.VendlerClass
• degreeAchievementScale : Option Features.DegreeAchievement.DegreeAchievementScale
• verbIncClass : Option Aspect.Incremental.VerbIncClass
• presupType : Option PresupTriggerType
• postsupType : Option PostsupType
• projectionBehavior : Option ProjectionBehavior
• selectsDimension : Option Features.Dimension.Dimension
• cosType : Option Features.ChangeOfState.CoSType
• implicative : Option Features.Implicative
• causative : Option Features.Causative
• causalSource : Option Causation.Psych.CausalSource
• opaqueContext : Bool
• attitude : Option Features.Attitude
• takesQuestionBase : Bool
• complementSig : Option Core.NaturalLogic.EntailmentSig
• senseTag : SenseTag
• levinClass : Option LevinClass
• rootProfile : Option Roots.RootProfile
• form3sg : String

  3sg present

• formPasse : String

  Passé simple

• formPartPasse : String

  Participe passé

• formPartPres : String

  Participe présent

@[implicit_reducible]

instance Fragments.French.Predicates.instReprFrenchVerbEntry : Repr FrenchVerbEntry

Equations

• Fragments.French.Predicates.instReprFrenchVerbEntry = { reprPrec := Fragments.French.Predicates.instReprFrenchVerbEntry.repr }

def Fragments.French.Predicates.instReprFrenchVerbEntry.repr : FrenchVerbEntry → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Fragments.French.Predicates.instBEqFrenchVerbEntry : BEq FrenchVerbEntry

Equations

• Fragments.French.Predicates.instBEqFrenchVerbEntry = { beq := Fragments.French.Predicates.instBEqFrenchVerbEntry.beq }

def Fragments.French.Predicates.instBEqFrenchVerbEntry.beq : FrenchVerbEntry → FrenchVerbEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.French.Predicates.instBEqFrenchVerbEntry.beq x✝¹ x✝ = false

def Fragments.French.Predicates.faire : FrenchVerbEntry

faire — COMPACT causative (free morpheme).

Equations

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

def Fragments.French.Predicates.laisser : FrenchVerbEntry

laisser — permissive causative ("let").

Equations

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

theorem Fragments.French.Predicates.faire_is_make : faire.causative = some Features.Causative.make

French faire uses .make builder.

theorem Fragments.French.Predicates.laisser_is_enable : laisser.causative = some Features.Causative.enable

French laisser uses .enable builder (permissive).

theorem Fragments.French.Predicates.faire_laisser_different : faire.causative ≠ laisser.causative

faire and laisser have different builders (make vs enable).

def Fragments.French.Predicates.cosSubjectProfile : Semantics.ArgumentStructure.EntailmentProfile.EntailmentProfile

Entailment profile for anticausative subjects of property-change verbs. Shared by both limited-control (rougir, brunir) and in-control (durcir, refroidir) property-change verbs — the control classification reflects world knowledge, not lexical entailments. Sentience is false: non-sentient subjects are possible (le mur rougit 'the wall reddened'). Stationary is false: Dowty's stationary is relative to another participant, not applicable to sole arguments of intransitive verbs.

Equations

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

def Fragments.French.Predicates.brunir : FrenchVerbEntry

brunir — 'turn brown(er)'. Limited-control ±se AC-verb.

Equations

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

def Fragments.French.Predicates.noircir : FrenchVerbEntry

noircir — 'blacken, darken'. Limited-control ±se AC-verb.

Equations

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

def Fragments.French.Predicates.palir : FrenchVerbEntry

pâlir — 'get pale'. Limited-control ±se AC-verb.

Equations

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

def Fragments.French.Predicates.rajeunir : FrenchVerbEntry

rajeunir — 'get young(er), rejuvenate'. Limited-control ±se AC-verb.

Equations

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

def Fragments.French.Predicates.rougir : FrenchVerbEntry

rougir — 'redden, blush'. Limited-control ±se AC-verb.

Equations

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

def Fragments.French.Predicates.motionCosSubjectProfile : Semantics.ArgumentStructure.EntailmentProfile.EntailmentProfile

Entailment profile for anticausative subjects of motion/posture change-of-state verbs: like cosSubjectProfile but with movement (the change involves physical displacement or posture reconfiguration). Used for approcher 'get close' and plier 'bend', both in-control verbs. Non-motion in-control verbs (durcir, refroidir) use cosSubjectProfile instead.

Equations

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

def Fragments.French.Predicates.approcher : FrenchVerbEntry

approcher (de) — 'get close(r) to'. In-control ±se AC-verb (motion).

Equations

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

def Fragments.French.Predicates.durcir : FrenchVerbEntry

durcir — 'harden'. In-control ±se AC-verb (property-change).

Equations

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

def Fragments.French.Predicates.plier : FrenchVerbEntry

plier — 'bend, fold'. In-control ±se AC-verb (motion).

Equations

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

def Fragments.French.Predicates.radoucir : FrenchVerbEntry

radoucir — 'get soft(er)'. In-control ±se AC-verb (property-change).

Equations

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

def Fragments.French.Predicates.refroidir : FrenchVerbEntry

refroidir — 'get cold(er)'. In-control ±se AC-verb (property-change).

Equations

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

@[reducible, inline]

abbrev Fragments.French.Predicates.protoTransSubjectProfile : Semantics.ArgumentStructure.EntailmentProfile.EntailmentProfile

Prototypical transitive subject: V+S+C+M+IE (5 P-Ag). Identical to @cite{dowty-1991}'s canonical agent (kickSubjectProfile). Used for laver, écrire, construire, tuer, etc.

Equations

• Fragments.French.Predicates.protoTransSubjectProfile = Semantics.ArgumentStructure.EntailmentProfile.kickSubjectProfile

def Fragments.French.Predicates.protoTransObjectProfile : Semantics.ArgumentStructure.EntailmentProfile.EntailmentProfile

Prototypical transitive object: CoS+CA (2 P-Pat). Used for laver, tuer, etc.

Equations

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

@[reducible, inline]

abbrev Fragments.French.Predicates.experiencerSubjectProfile : Semantics.ArgumentStructure.EntailmentProfile.EntailmentProfile

Experiencer subject: S+IE (2 P-Ag). Identical to @cite{dowty-1991}'s perception profile (seeSubjectProfile). Used for aimer, adorer, respecter.

Equations

• Fragments.French.Predicates.experiencerSubjectProfile = Semantics.ArgumentStructure.EntailmentProfile.seeSubjectProfile

def Fragments.French.Predicates.minimalParticipantProfile : Semantics.ArgumentStructure.EntailmentProfile.EntailmentProfile

Minimal participant: IE only (1 P-Ag, 0 P-Pat). The participant exists independently of the event but has no agentive involvement (no volition, causation, movement) and no patientive involvement (no change, affectedness).

Used for:

• Objects of psych verbs (aimer, adorer, respecter): the stimulus
• Objects of accompaniment/following verbs (accompagner, suivre, précéder): the co-participant
• Subjects of stative positional verbs (précéder, stative suivre): the entity in a fixed relation

Equations

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

@[reducible, inline]

abbrev Fragments.French.Predicates.stativePositionalSubjectProfile : Semantics.ArgumentStructure.EntailmentProfile.EntailmentProfile

Stative positional subjects have the same profile as minimal participants: IE only. The subject of précéder and the object of aimer occupy the same proto-role space — both have no agentive or patientive entailments beyond independent existence.

Equations

• Fragments.French.Predicates.stativePositionalSubjectProfile = Fragments.French.Predicates.minimalParticipantProfile

@[reducible, inline]

abbrev Fragments.French.Predicates.dynamicFollowSubjectProfile : Semantics.ArgumentStructure.EntailmentProfile.EntailmentProfile

Dynamic motion subject: V+S+M+IE (4 P-Ag). Identical to runSubjectProfile — volitional self-propelled motion without causing a change in another participant. Used for dynamic suivre ('follow' with volition).

Equations

• Fragments.French.Predicates.dynamicFollowSubjectProfile = Semantics.ArgumentStructure.EntailmentProfile.runSubjectProfile

def Fragments.French.Predicates.accompanySubjectProfile : Semantics.ArgumentStructure.EntailmentProfile.EntailmentProfile

Accompany subject: S+M+IE (3 P-Ag). Used for accompagner. Movement without obligatory volition: the accompaniment may or may not be volitional (parents accompanying children may be passive observers).

Equations

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

def Fragments.French.Predicates.laver : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.ecrire : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.construire : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.tuer : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.aimer : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.adorer : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.respecter : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.accompagner : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.suivreDyn : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.suivreStat : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.preceder : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.abandonner : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.delaisser : FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.allVerbs : List FrenchVerbEntry

Equations

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

def Fragments.French.Predicates.lookup (form : String) : Option FrenchVerbEntry

Equations

• Fragments.French.Predicates.lookup form = List.find? (fun (x : Fragments.French.Predicates.FrenchVerbEntry) => x.form == form) Fragments.French.Predicates.allVerbs