Theta Roles

Theory-neutral semantic role labels classifying the relationship between a verb's arguments and the event it describes. Used by all syntactic frameworks (Minimalism, HPSG, CCG, Construction Grammar) and all language fragments.

These are cluster concepts (@cite{dowty-1991}): each label names a typical combination of entailments, not a primitive. The fine-grained decomposition lives in Theories/Semantics/Events/EntailmentProfile.lean.

inductive ThetaRole : Type

Theta roles for argument structure. Language-independent semantic categories classifying the relationship between a verb's arguments and the event it describes. Used by both Theory-layer modules (Semantics.Events.ThematicRoles) and Fragment-layer modules (English/Korean/Japanese/... Predicates).

• agent : ThetaRole
• patient : ThetaRole
• theme : ThetaRole
• experiencer : ThetaRole
• goal : ThetaRole
• source : ThetaRole
• instrument : ThetaRole
• stimulus : ThetaRole

instance instDecidableEqThetaRole : DecidableEq ThetaRole

Equations

• instDecidableEqThetaRole x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def instReprThetaRole.repr : ThetaRole → Nat → Std.Format

Equations

• instReprThetaRole.repr ThetaRole.agent prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ThetaRole.agent")).group prec✝
• instReprThetaRole.repr ThetaRole.patient prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ThetaRole.patient")).group prec✝
• instReprThetaRole.repr ThetaRole.theme prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ThetaRole.theme")).group prec✝
• instReprThetaRole.repr ThetaRole.experiencer prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ThetaRole.experiencer")).group prec✝
• instReprThetaRole.repr ThetaRole.goal prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ThetaRole.goal")).group prec✝
• instReprThetaRole.repr ThetaRole.source prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ThetaRole.source")).group prec✝
• instReprThetaRole.repr ThetaRole.instrument prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ThetaRole.instrument")).group prec✝
• instReprThetaRole.repr ThetaRole.stimulus prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "ThetaRole.stimulus")).group prec✝

instance instReprThetaRole : Repr ThetaRole

Equations

• instReprThetaRole = { reprPrec := instReprThetaRole.repr }

def instBEqThetaRole.beq : ThetaRole → ThetaRole → Bool

Equations

• instBEqThetaRole.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance instBEqThetaRole : BEq ThetaRole

Equations

• instBEqThetaRole = { beq := instBEqThetaRole.beq }