structure Fragments.English.Modifiers.Adjectives.AdjModifierEntry : Type

A lexical entry for an adjective modifier.

Includes morphological forms (comparative, superlative) and semantic properties (scale type, antonym relation).

• form : String

  Positive form

• formComp : Option String

  Comparative form

• formSuper : Option String

  Superlative form

• scaleType : Core.Scale.Boundedness

  Scale boundedness (from @cite{kennedy-2007})

• dimension : Core.Dimension

  What dimension is being measured?

• antonymForm : Option String

  Antonym form (if any)

• antonymRelation : Option Semantics.Lexical.Adjective.NegationType

  Antonym relation: contrary (gap) vs contradictory (no gap)

• isLowerEndpoint : Bool

  Does this adjective select the lower endpoint of its scale? E.g., "short" selects the low end of height, "empty" selects the low end of fullness. This is scale-endpoint polarity, distinct from evaluative polarity (@cite{sassoon-2013}): empty is lower-endpoint but evaluatively positive (total, max-standard).

instance Fragments.English.Modifiers.Adjectives.instReprAdjModifierEntry : Repr AdjModifierEntry

Equations

• Fragments.English.Modifiers.Adjectives.instReprAdjModifierEntry = { reprPrec := Fragments.English.Modifiers.Adjectives.instReprAdjModifierEntry.repr }

def Fragments.English.Modifiers.Adjectives.instReprAdjModifierEntry.repr : AdjModifierEntry → ℕ → Std.Format

Equations

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

instance Fragments.English.Modifiers.Adjectives.instBEqAdjModifierEntry : BEq AdjModifierEntry

Equations

• Fragments.English.Modifiers.Adjectives.instBEqAdjModifierEntry = { beq := Fragments.English.Modifiers.Adjectives.instBEqAdjModifierEntry.beq }

def Fragments.English.Modifiers.Adjectives.instBEqAdjModifierEntry.beq : AdjModifierEntry → AdjModifierEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.English.Modifiers.Adjectives.instBEqAdjModifierEntry.beq x✝¹ x✝ = false

def Fragments.English.Modifiers.Adjectives.tall : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.short : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.happy : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.unhappy : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.sad : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.expensive : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.cheap : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.good : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.bad : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.smart : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.hot : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.cold : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.full : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.empty_ : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.wet : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.dry : AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.dead : AdjModifierEntry

Equations

• Fragments.English.Modifiers.Adjectives.dead = { form := "dead", scaleType := Core.Scale.Boundedness.closed, dimension := Core.Dimension.alive }

def Fragments.English.Modifiers.Adjectives.pregnant : AdjModifierEntry

Equations

• Fragments.English.Modifiers.Adjectives.pregnant = { form := "pregnant", scaleType := Core.Scale.Boundedness.closed, dimension := Core.Dimension.pregnancy }

def Fragments.English.Modifiers.Adjectives.AdjModifierEntry.toWord (a : AdjModifierEntry) : Word

Equations

• a.toWord = { form := a.form, cat := UD.UPOS.ADJ }

def Fragments.English.Modifiers.Adjectives.AdjModifierEntry.toStem (a : AdjModifierEntry) (σ : Type) : Core.Morphology.Stem σ

Convert an adjective entry to a morphological stem with its comparative/superlative paradigm.

Periphrastic adjectives (e.g., "expensive" → "more expensive") work naturally: the full periphrastic form is stored as the irregular form string.

Equations

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

def Fragments.English.Modifiers.Adjectives.allEntries : List AdjModifierEntry

Equations

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

def Fragments.English.Modifiers.Adjectives.lookup (form : String) : Option AdjModifierEntry

Equations

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