inductive Semantics.Lexical.Verb.SelectionalPreferences.SemClass : Type

Basic semantic classes for selectional restrictions.

• animate : SemClass
• inanimate : SemClass
• human : SemClass
• animal : SemClass
• plant : SemClass
• artifact : SemClass
• abstract_ : SemClass
• event : SemClass
• location : SemClass
• time : SemClass

instance Semantics.Lexical.Verb.SelectionalPreferences.instReprSemClass : Repr SemClass

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instReprSemClass = { reprPrec := Semantics.Lexical.Verb.SelectionalPreferences.instReprSemClass.repr }

def Semantics.Lexical.Verb.SelectionalPreferences.instReprSemClass.repr : SemClass → ℕ → Std.Format

Equations

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

instance Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemClass : BEq SemClass

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemClass = { beq := Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemClass.beq }

def Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemClass.beq : SemClass → SemClass → Bool

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemClass.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Semantics.Lexical.Verb.SelectionalPreferences.instDecidableEqSemClass : DecidableEq SemClass

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instDecidableEqSemClass x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Semantics.Lexical.Verb.SelectionalPreferences.subclassOf : SemClass → SemClass → Bool

Class hierarchy: subclassOf a b means a is a subclass of b.

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.subclassOf Semantics.Lexical.Verb.SelectionalPreferences.SemClass.human Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animate = true
• Semantics.Lexical.Verb.SelectionalPreferences.subclassOf Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animal Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animate = true
• Semantics.Lexical.Verb.SelectionalPreferences.subclassOf Semantics.Lexical.Verb.SelectionalPreferences.SemClass.plant Semantics.Lexical.Verb.SelectionalPreferences.SemClass.inanimate = true
• Semantics.Lexical.Verb.SelectionalPreferences.subclassOf Semantics.Lexical.Verb.SelectionalPreferences.SemClass.artifact Semantics.Lexical.Verb.SelectionalPreferences.SemClass.inanimate = true
• Semantics.Lexical.Verb.SelectionalPreferences.subclassOf x✝¹ x✝ = false

def Semantics.Lexical.Verb.SelectionalPreferences.isA : SemClass → SemClass → Bool

Transitive closure of subclass relation.

Equations

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

inductive Semantics.Lexical.Verb.SelectionalPreferences.SemRole : Type

Semantic roles (thematic roles).

• agent : SemRole
• patient : SemRole
• theme : SemRole
• experiencer : SemRole
• instrument : SemRole
• location : SemRole
• source : SemRole
• goal : SemRole
• beneficiary : SemRole

def Semantics.Lexical.Verb.SelectionalPreferences.instReprSemRole.repr : SemRole → ℕ → Std.Format

Equations

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

instance Semantics.Lexical.Verb.SelectionalPreferences.instReprSemRole : Repr SemRole

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instReprSemRole = { reprPrec := Semantics.Lexical.Verb.SelectionalPreferences.instReprSemRole.repr }

instance Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemRole : BEq SemRole

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemRole = { beq := Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemRole.beq }

def Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemRole.beq : SemRole → SemRole → Bool

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instBEqSemRole.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Semantics.Lexical.Verb.SelectionalPreferences.instDecidableEqSemRole : DecidableEq SemRole

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instDecidableEqSemRole x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

structure Semantics.Lexical.Verb.SelectionalPreferences.RoleWithConstraint (Concept : Type) : Type

A semantic role with its distribution over acceptable fillers.

• role : SemRole
• selectionalPref : Concept → ℚ

  Prior probability of each concept filling this role.

structure Semantics.Lexical.Verb.SelectionalPreferences.Frame (Concept : Type) : Type

A predicate frame: specifies argument slots with their constraints.

• predicate : String

  Name of the predicate

• arguments : List (RoleWithConstraint Concept)

  Argument slots with their selectional preferences

def Semantics.Lexical.Verb.SelectionalPreferences.Frame.selectionalFor {Concept : Type} (f : Frame Concept) (r : SemRole) : Option (Concept → ℚ)

Look up the selectional preference for a given role in a frame.

Equations

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

def Semantics.Lexical.Verb.SelectionalPreferences.sleepSubjectPref : SemClass → ℚ

Distribution over SemClass for SLEEP's subject.

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.sleepSubjectPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animate = 9 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.sleepSubjectPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.human = 9 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.sleepSubjectPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animal = 9 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.sleepSubjectPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.plant = 1 / 100
• Semantics.Lexical.Verb.SelectionalPreferences.sleepSubjectPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.artifact = 1 / 100
• Semantics.Lexical.Verb.SelectionalPreferences.sleepSubjectPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.abstract_ = 1 / 1000
• Semantics.Lexical.Verb.SelectionalPreferences.sleepSubjectPref x✝ = 1 / 100

def Semantics.Lexical.Verb.SelectionalPreferences.sleepFrame : Frame SemClass

Equations

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

def Semantics.Lexical.Verb.SelectionalPreferences.marryAgentPref : SemClass → ℚ

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.marryAgentPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.human = 95 / 100
• Semantics.Lexical.Verb.SelectionalPreferences.marryAgentPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animate = 5 / 100
• Semantics.Lexical.Verb.SelectionalPreferences.marryAgentPref x✝ = 1 / 1000

def Semantics.Lexical.Verb.SelectionalPreferences.marryPatientPref : SemClass → ℚ

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.marryPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.human = 95 / 100
• Semantics.Lexical.Verb.SelectionalPreferences.marryPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animate = 4 / 100
• Semantics.Lexical.Verb.SelectionalPreferences.marryPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.abstract_ = 1 / 100
• Semantics.Lexical.Verb.SelectionalPreferences.marryPatientPref x✝ = 1 / 1000

def Semantics.Lexical.Verb.SelectionalPreferences.marryFrame : Frame SemClass

Equations

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

def Semantics.Lexical.Verb.SelectionalPreferences.holdAgentPref : SemClass → ℚ

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.holdAgentPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.human = 9 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.holdAgentPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animal = 7 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.holdAgentPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animate = 8 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.holdAgentPref x✝ = 1 / 100

def Semantics.Lexical.Verb.SelectionalPreferences.holdPatientPref : SemClass → ℚ

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.holdPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.artifact = 9 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.holdPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.inanimate = 8 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.holdPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animal = 5 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.holdPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.human = 3 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.holdPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animate = 4 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.holdPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.abstract_ = 1 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.holdPatientPref x✝ = 2 / 10

def Semantics.Lexical.Verb.SelectionalPreferences.holdFrame : Frame SemClass

Equations

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

def Semantics.Lexical.Verb.SelectionalPreferences.drawPicturePatientPref : SemClass → ℚ

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.drawPicturePatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.artifact = 9 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.drawPicturePatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.abstract_ = 3 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.drawPicturePatientPref x✝ = 1 / 10

def Semantics.Lexical.Verb.SelectionalPreferences.drawWeaponPatientPref : SemClass → ℚ

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.drawWeaponPatientPref Semantics.Lexical.Verb.SelectionalPreferences.SemClass.artifact = 9 / 10
• Semantics.Lexical.Verb.SelectionalPreferences.drawWeaponPatientPref x✝ = 1 / 100

def Semantics.Lexical.Verb.SelectionalPreferences.drawPictureFrame : Frame SemClass

Equations

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

def Semantics.Lexical.Verb.SelectionalPreferences.drawWeaponFrame : Frame SemClass

Equations

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

structure Semantics.Lexical.Verb.SelectionalPreferences.AmbiguousConcept (Denotation : Type) : Type

An ambiguous concept: multiple possible denotations.

• form : String
• senses : List (String × Denotation)

structure Semantics.Lexical.Verb.SelectionalPreferences.Disambiguation : Type

Disambiguation result: distribution over senses.

• senseDist : String → ℚ

def Semantics.Lexical.Verb.SelectionalPreferences.disambiguateBySelection (senseToClass : String → SemClass) (selPref : SemClass → ℚ) (senses : List String) : String → ℚ

Disambiguate a concept given a selectional preference over semantic classes.

Equations

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

def Semantics.Lexical.Verb.SelectionalPreferences.sdsDisambiguate (senseToClass : String → SemClass) (selPref scenarioPref : SemClass → ℚ) (senses : List String) : String → ℚ

Combined disambiguation using selectional + scenario constraints (SDS-style PoE).

Equations

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

inductive Semantics.Lexical.Verb.SelectionalPreferences.BladeSense : Type

• weapon : BladeSense
• grass : BladeSense
• propeller : BladeSense

instance Semantics.Lexical.Verb.SelectionalPreferences.instReprBladeSense : Repr BladeSense

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instReprBladeSense = { reprPrec := Semantics.Lexical.Verb.SelectionalPreferences.instReprBladeSense.repr }

def Semantics.Lexical.Verb.SelectionalPreferences.instReprBladeSense.repr : BladeSense → ℕ → Std.Format

Equations

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

def Semantics.Lexical.Verb.SelectionalPreferences.instBEqBladeSense.beq : BladeSense → BladeSense → Bool

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instBEqBladeSense.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Semantics.Lexical.Verb.SelectionalPreferences.instBEqBladeSense : BEq BladeSense

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instBEqBladeSense = { beq := Semantics.Lexical.Verb.SelectionalPreferences.instBEqBladeSense.beq }

instance Semantics.Lexical.Verb.SelectionalPreferences.instDecidableEqBladeSense : DecidableEq BladeSense

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.instDecidableEqBladeSense x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Semantics.Lexical.Verb.SelectionalPreferences.bladeSenseToClass : BladeSense → SemClass

Equations

• One or more equations did not get rendered due to their size.
• Semantics.Lexical.Verb.SelectionalPreferences.bladeSenseToClass Semantics.Lexical.Verb.SelectionalPreferences.BladeSense.weapon = Semantics.Lexical.Verb.SelectionalPreferences.SemClass.artifact
• Semantics.Lexical.Verb.SelectionalPreferences.bladeSenseToClass Semantics.Lexical.Verb.SelectionalPreferences.BladeSense.grass = Semantics.Lexical.Verb.SelectionalPreferences.SemClass.plant

def Semantics.Lexical.Verb.SelectionalPreferences.bladeSelectional : BladeSense → ℚ

Equations

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

def Semantics.Lexical.Verb.SelectionalPreferences.combatScenario : BladeSense → ℚ

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.combatScenario Semantics.Lexical.Verb.SelectionalPreferences.BladeSense.weapon = 95 / 100
• Semantics.Lexical.Verb.SelectionalPreferences.combatScenario Semantics.Lexical.Verb.SelectionalPreferences.BladeSense.grass = 1 / 100
• Semantics.Lexical.Verb.SelectionalPreferences.combatScenario Semantics.Lexical.Verb.SelectionalPreferences.BladeSense.propeller = 4 / 100

def Semantics.Lexical.Verb.SelectionalPreferences.bladeDisambiguated : BladeSense → ℚ

Equations

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

def Semantics.Lexical.Verb.SelectionalPreferences.selectionalEpsilon : ℚ

Minimum probability for "impossible" selectional violations (allows metaphor/coercion).

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.selectionalEpsilon = 1 / 1000

def Semantics.Lexical.Verb.SelectionalPreferences.softenConstraint (hard : SemClass → Bool) : SemClass → ℚ

Convert a hard selectional constraint to soft.

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.softenConstraint hard c = if hard c = true then 1 else Semantics.Lexical.Verb.SelectionalPreferences.selectionalEpsilon

def Semantics.Lexical.Verb.SelectionalPreferences.sleepHard : SemClass → Bool

SLEEP hard constraint (animate only).

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.sleepHard Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animate = true
• Semantics.Lexical.Verb.SelectionalPreferences.sleepHard Semantics.Lexical.Verb.SelectionalPreferences.SemClass.human = true
• Semantics.Lexical.Verb.SelectionalPreferences.sleepHard Semantics.Lexical.Verb.SelectionalPreferences.SemClass.animal = true
• Semantics.Lexical.Verb.SelectionalPreferences.sleepHard x✝ = false

def Semantics.Lexical.Verb.SelectionalPreferences.sleepSoftened : SemClass → ℚ

Equations

• Semantics.Lexical.Verb.SelectionalPreferences.sleepSoftened = Semantics.Lexical.Verb.SelectionalPreferences.softenConstraint Semantics.Lexical.Verb.SelectionalPreferences.sleepHard