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 : Features.Dimension

  What dimension is being measured?

• antonymForm : Option String

  Antonym form (if any)

• antonymRelation : Option Features.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).

• suppletion : Core.Morphology.DegreeContainment.DegreePattern

  Suppletive pattern across positive, comparative, and superlative grades (@cite{bobaljik-2012}). Default aaa = regular (same root throughout). Set to abb for suppletive entries like good/better/best. See DegreeContainment.lean for pattern definitions and the *ABA constraint.

@[implicit_reducible]

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.

@[implicit_reducible]

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.confident : AdjModifierEntry

confident: gradable attitude adjective on an upper-bounded confidence scale. Denotes a positive region of a holder-relativized confidence ordering (CSW §4.2, Figure 2).

Equations

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

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

certain: gradable attitude adjective picking out the maximal elements of the confidence ordering (CSW §5.2, Figure 3). Scale-mate of confident with a higher contrast point.

Equations

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

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

sure: near-synonym of confident on the confidence scale.

Equations

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

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

doubtful: negative-polarity counterpart of confident on the confidence scale. Picks out the lower portion of the holder's confidence ordering (CSW §5.2 (63c) "Ann doubts that..." adjectival form).

Equations

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

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

unsure: negative-polarity counterpart of sure.

Equations

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

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

uncertain: negative-polarity counterpart of certain.

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 := Features.Dimension.alive }

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

Equations

• Fragments.English.Modifiers.Adjectives.pregnant = { form := "pregnant", scaleType := Core.Scale.Boundedness.closed, dimension := Features.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.