Verb arguments

Verb.Argument: an argument slot of a verb entry — core or oblique, with its proto-role entailment profile — read off the citation frame by Verb.arguments. The slots are the primitive; role labels are derived classifications of them: Argument.thetaLabel gives the Dowty cluster label, and Verb.codingRoles gives the comparative S/A/P/R/T classification, which is a function of the frame (A is defined as the more agent-like core argument of a two-place frame), never a stored feature.

References

• [Com78]
• [Dow91]
• [haspelmath-2021]

structure Verb.Argument : Type

An argument slot of a verb entry: whether the citation frame realizes it as a core nominal or an oblique, and its proto-role entailment profile (none when the entry leaves it unspecified).

• core : Bool

  Core nominal (true) vs oblique/adpositional realization.

• entailments : Option ArgumentStructure.EntailmentProfile

  Proto-role entailment profile.

def Verb.instReprArgument.repr : Argument → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Verb.instReprArgument : Repr Argument

Equations

• Verb.instReprArgument = { reprPrec := Verb.instReprArgument.repr }

def Verb.instBEqArgument.beq : Argument → Argument → Bool

Equations

• Verb.instBEqArgument.beq { core := a, entailments := a_1 } { core := b, entailments := b_1 } = (a == b && a_1 == b_1)
• Verb.instBEqArgument.beq x✝¹ x✝ = false

@[instance_reducible]

instance Verb.instBEqArgument : BEq Argument

Equations

• Verb.instBEqArgument = { beq := Verb.instBEqArgument.beq }

def Verb.Argument.thetaLabel (a : Argument) : Option ThetaRole

Derived semantic-role label: the cluster label of the slot's entailment profile (EntailmentProfile.toRole).

Equations

• a.thetaLabel = a.entailments.bind ArgumentStructure.EntailmentProfile.toRole

def Verb.arguments (v : Verb) : List Argument

The argument slots of the entry's citation frame: the subject, the nominal objects, then one oblique slot per adpositional position, with entailments read from the entry (object entailments sit on the theme — the sole object of a monotransitive, the second object of a double-object frame). Clausal complements are not argument slots here; they stay in the frames/readings API.

Equations

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

def Verb.coreArguments (v : Verb) : List Argument

The core argument slots of the citation frame.

Equations

• v.coreArguments = List.filter (fun (x : Verb.Argument) => x.core) v.arguments

def Verb.codingRoles (v : Verb) : List ArgumentRole

The derived comparative classification of the core slots, positionally parallel to coreArguments ([Com78]): the sole core argument of a one-place frame is S; a two-place frame has A and P; a double-object frame has A, R, and T. A function of the frame's arity — coding roles are read off argument structure, not assigned to it. This classifies the citation clause; the general clause-token classification is Clause.Arguments.codingRole (a passive clause of the same verb has an S).

Equations

• v.codingRoles = match v.coreArguments.length with | 0 => [] | 1 => [ArgumentRole.S] | 2 => [ArgumentRole.A, ArgumentRole.P] | x => [ArgumentRole.A, ArgumentRole.R, ArgumentRole.T]