Adjectival Predicate Lexicon Fragment

Gradable adjective entries following @cite{kennedy-2007}. Scale type, dimension, antonyms.

@[reducible, inline]

abbrev Fragments.English.Predicates.Adjectival.AdjectivalPredicateEntry : Type

@cite{kennedy-2007} An adjectival predicate entry.

This is an alias for GradableAdjEntry from the Theory module, re-exported here for the Fragments organization.

Equations

• Fragments.English.Predicates.Adjectival.AdjectivalPredicateEntry = Semantics.Lexical.Adjective.GradableAdjEntry

def Fragments.English.Predicates.Adjectival.tall : AdjectivalPredicateEntry

"tall" — open scale, contrary to "short"

Equations

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

def Fragments.English.Predicates.Adjectival.short : AdjectivalPredicateEntry

"short" — open scale, contrary to "tall"

Equations

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

def Fragments.English.Predicates.Adjectival.happy : AdjectivalPredicateEntry

"happy" — open scale, contrary to "unhappy"

Note: This is the 1-place adjectival predicate "x is happy". For the 2-place attitude predicate "x is happy that p", see Theories/Semantics/Attitudes/Preferential.lean.

Equations

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

def Fragments.English.Predicates.Adjectival.unhappy : AdjectivalPredicateEntry

"unhappy" — open scale, contrary to "happy"

Equations

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

def Fragments.English.Predicates.Adjectival.sad : AdjectivalPredicateEntry

"sad" — open scale, contrary to "happy" (near-synonym of unhappy)

Equations

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

def Fragments.English.Predicates.Adjectival.full : AdjectivalPredicateEntry

"full" — closed scale, contradictory to "empty"

Equations

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

def Fragments.English.Predicates.Adjectival.empty : AdjectivalPredicateEntry

"empty" — closed scale, contradictory to "full"

Equations

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

def Fragments.English.Predicates.Adjectival.hot : AdjectivalPredicateEntry

"hot" — open scale, contrary to "cold"

Equations

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

def Fragments.English.Predicates.Adjectival.cold : AdjectivalPredicateEntry

"cold" — open scale, contrary to "hot"

Equations

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

def Fragments.English.Predicates.Adjectival.expensive : AdjectivalPredicateEntry

"expensive" — open scale, contrary to "cheap"

Equations

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

def Fragments.English.Predicates.Adjectival.cheap : AdjectivalPredicateEntry

"cheap" — open scale, contrary to "expensive"

Equations

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

def Fragments.English.Predicates.Adjectival.wet : AdjectivalPredicateEntry

"wet" — lower-closed scale (minimum at 0)

Equations

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

def Fragments.English.Predicates.Adjectival.dry : AdjectivalPredicateEntry

"dry" — upper-closed scale (maximum at top)

Equations

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

def Fragments.English.Predicates.Adjectival.clean : AdjectivalPredicateEntry

"clean" — closed scale (maximally clean), contradictory to "dirty"

Equations

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

def Fragments.English.Predicates.Adjectival.dirty : AdjectivalPredicateEntry

"dirty" — closed scale (maximally dirty), contradictory to "clean"

Equations

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

def Fragments.English.Predicates.Adjectival.straight : AdjectivalPredicateEntry

"straight" — closed scale (maximally straight), contradictory to "bent"

Equations

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

def Fragments.English.Predicates.Adjectival.flat : AdjectivalPredicateEntry

"flat" — closed scale (maximally flat), contradictory to "bumpy"

Equations

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

def Fragments.English.Predicates.Adjectival.open_ : AdjectivalPredicateEntry

"open" — closed scale (maximally open), contradictory to "closed"

Equations

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

def Fragments.English.Predicates.Adjectival.closed_ : AdjectivalPredicateEntry

"closed" — closed scale, contradictory to "open"

Equations

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

def Fragments.English.Predicates.Adjectival.shut : AdjectivalPredicateEntry

"shut" — closed scale, contradictory to "open" (near-synonym of "closed")

Equations

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

def Fragments.English.Predicates.Adjectival.free_ : AdjectivalPredicateEntry

"free" — closed scale (maximally free = unattached), contradictory to "stuck"

Equations

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

def Fragments.English.Predicates.Adjectival.loose : AdjectivalPredicateEntry

"loose" — closed scale (maximally loose), contradictory to "tight"

Equations

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

def Fragments.English.Predicates.Adjectival.tight : AdjectivalPredicateEntry

"tight" — closed scale (maximally tight), contradictory to "loose"

Equations

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

def Fragments.English.Predicates.Adjectival.bent : AdjectivalPredicateEntry

"bent" — lower-closed scale (minimum at 0 = straight), contradictory to "straight"

Equations

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

def Fragments.English.Predicates.Adjectival.smooth : AdjectivalPredicateEntry

"smooth" — closed scale, contradictory to "rough"

Equations

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

def Fragments.English.Predicates.Adjectival.rough : AdjectivalPredicateEntry

"rough" — closed scale, contradictory to "smooth"

Equations

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

def Fragments.English.Predicates.Adjectival.hard : AdjectivalPredicateEntry

"hard" — open scale, contrary to "soft"

Equations

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

def Fragments.English.Predicates.Adjectival.soft : AdjectivalPredicateEntry

"soft" — open scale, contrary to "hard"

Equations

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

def Fragments.English.Predicates.Adjectival.pure_ : AdjectivalPredicateEntry

"pure" — closed scale (maximally pure), contradictory to "impure"

Equations

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

def Fragments.English.Predicates.Adjectival.dead : AdjectivalPredicateEntry

"dead" — closed scale (absolute: maximal endpoint), contradictory to "alive"

Equations

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

def Fragments.English.Predicates.Adjectival.alive : AdjectivalPredicateEntry

"alive" — closed scale (absolute), contradictory to "dead"

Equations

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

def Fragments.English.Predicates.Adjectival.large : AdjectivalPredicateEntry

"large" — open scale, contrary to "small"

Equations

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

def Fragments.English.Predicates.Adjectival.small : AdjectivalPredicateEntry

"small" — open scale, contrary to "large"

Equations

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

def Fragments.English.Predicates.Adjectival.gigantic : AdjectivalPredicateEntry

"gigantic" — open scale, contrary to "tiny", informationally stronger than "large"

Equations

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

def Fragments.English.Predicates.Adjectival.tiny : AdjectivalPredicateEntry

"tiny" — open scale, contrary to "gigantic", informationally stronger than "small"

Equations

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

def Fragments.English.Predicates.Adjectival.pristine : AdjectivalPredicateEntry

"pristine" — closed scale, contrary to "filthy" (extreme absolute: gap exists)

Equations

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

def Fragments.English.Predicates.Adjectival.filthy : AdjectivalPredicateEntry

"filthy" — closed scale, contrary to "pristine" (extreme absolute: gap exists)

Equations

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

def Fragments.English.Predicates.Adjectival.long : AdjectivalPredicateEntry

"long" — open scale, contrary to "short" (length dimension)

Equations

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

def Fragments.English.Predicates.Adjectival.wide : AdjectivalPredicateEntry

"wide" — open scale, contrary to "narrow"

Equations

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

def Fragments.English.Predicates.Adjectival.cool : AdjectivalPredicateEntry

"cool" — open scale, contrary to "warm"

Equations

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

def Fragments.English.Predicates.Adjectival.warm : AdjectivalPredicateEntry

"warm" — open scale, contrary to "cool"

Equations

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

Physical dimension adjectives

def Fragments.English.Predicates.Adjectival.heavy : AdjectivalPredicateEntry

"heavy" — open scale, contrary to "light"

Equations

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

def Fragments.English.Predicates.Adjectival.light : AdjectivalPredicateEntry

"light" — open scale, contrary to "heavy"

Equations

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

def Fragments.English.Predicates.Adjectival.thick : AdjectivalPredicateEntry

"thick" — open scale, contrary to "thin"

Equations

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

def Fragments.English.Predicates.Adjectival.thin : AdjectivalPredicateEntry

"thin" — open scale, contrary to "thick"

Equations

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

def Fragments.English.Predicates.Adjectival.deep : AdjectivalPredicateEntry

"deep" — open scale, contrary to "shallow"

Equations

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

def Fragments.English.Predicates.Adjectival.shallow : AdjectivalPredicateEntry

"shallow" — open scale, contrary to "deep"

Equations

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

def Fragments.English.Predicates.Adjectival.strong : AdjectivalPredicateEntry

"strong" — open scale, contrary to "weak"

Equations

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

def Fragments.English.Predicates.Adjectival.weak : AdjectivalPredicateEntry

"weak" — open scale, contrary to "strong"

Equations

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

def Fragments.English.Predicates.Adjectival.fast : AdjectivalPredicateEntry

"fast" — open scale, contrary to "slow"

Equations

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

def Fragments.English.Predicates.Adjectival.slow : AdjectivalPredicateEntry

"slow" — open scale, contrary to "fast"

Equations

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

def Fragments.English.Predicates.Adjectival.old : AdjectivalPredicateEntry

"old" — open scale, contrary to "young"

Equations

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

def Fragments.English.Predicates.Adjectival.young : AdjectivalPredicateEntry

"young" — open scale, contrary to "old"

Equations

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

Sensory adjectives

def Fragments.English.Predicates.Adjectival.bright : AdjectivalPredicateEntry

"bright" — open scale, contrary to "dark"

Equations

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

def Fragments.English.Predicates.Adjectival.dark : AdjectivalPredicateEntry

"dark" — open scale, contrary to "bright"

Equations

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

def Fragments.English.Predicates.Adjectival.loud : AdjectivalPredicateEntry

"loud" — open scale, contrary to "quiet"

Equations

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

def Fragments.English.Predicates.Adjectival.quiet : AdjectivalPredicateEntry

"quiet" — open scale, contrary to "loud"

Equations

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

Evaluative adjectives

def Fragments.English.Predicates.Adjectival.good : AdjectivalPredicateEntry

"good" — value scale (lower-bounded at 0 per @cite{wolfsdorf-2019}), contrary to "bad". Despite the lower bound, "good" receives a contextual standard (not minEndpoint): it patterns with relative adjectives (@cite{beltrama-2025} §3).

Equations

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

def Fragments.English.Predicates.Adjectival.bad : AdjectivalPredicateEntry

"bad" — value scale, contrary to "good"

Equations

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

def Fragments.English.Predicates.Adjectival.beautiful : AdjectivalPredicateEntry

"beautiful" — open scale, contrary to "ugly"

Equations

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

def Fragments.English.Predicates.Adjectival.ugly : AdjectivalPredicateEntry

"ugly" — open scale, contrary to "beautiful"

Equations

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

def Fragments.English.Predicates.Adjectival.important : AdjectivalPredicateEntry

"important" — open scale

Equations

• Fragments.English.Predicates.Adjectival.important = { form := "important", scaleType := Core.Scale.Boundedness.open_, dimension := Core.Dimension.importance }

def Fragments.English.Predicates.Adjectival.safe : AdjectivalPredicateEntry

"safe" — open scale, contrary to "dangerous"

Equations

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

def Fragments.English.Predicates.Adjectival.dangerous : AdjectivalPredicateEntry

"dangerous" — open scale, contrary to "safe"

Equations

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

Physical disturbance deverbal adjectives

@cite{tham-2025}: physical disturbance predicates are associated with a totally closed, multi-point scale. Lower bound = physical instantiation of disturbance; upper bound = spatial extent of host entity. Gradable (more cracked, badly dented), compatible with completely and partially. Contra @cite{rappaport-hovav-2014} (two-point) and @cite{rotstein-winter-2004} (lower-bounded only).

def Fragments.English.Predicates.Adjectival.cracked : AdjectivalPredicateEntry

"cracked" — closed scale, contradictory to "uncracked". Deverbal adjective from crack (Levin 45.1 Break verbs). NOT a two-point scale: accepts more cracked, completely cracked, partially cracked, badly cracked (@cite{tham-2025} §2.3–2.4).

Equations

• Fragments.English.Predicates.Adjectival.cracked = { form := "cracked", scaleType := Core.Scale.Boundedness.closed, dimension := Core.Dimension.cracking }

def Fragments.English.Predicates.Adjectival.dented : AdjectivalPredicateEntry

"dented" — closed scale. Deverbal adjective from dent. Accepts more dented, completely dented, badly dented (@cite{tham-2025} (11a), (20b)).

Equations

• Fragments.English.Predicates.Adjectival.dented = { form := "dented", scaleType := Core.Scale.Boundedness.closed, dimension := Core.Dimension.denting }

def Fragments.English.Predicates.Adjectival.scratched : AdjectivalPredicateEntry

"scratched" — closed scale. Deverbal adjective from scratch. Accepts more scratched, completely scratched, badly scratched (@cite{tham-2025} (11b), (20c)).

Equations

• Fragments.English.Predicates.Adjectival.scratched = { form := "scratched", scaleType := Core.Scale.Boundedness.closed, dimension := Core.Dimension.scratching }

def Fragments.English.Predicates.Adjectival.shattered : AdjectivalPredicateEntry

"shattered" — closed scale, NON-GRADABLE. Deverbal adjective from shatter (Levin 45.1 Break verbs). Contrast: ??more shattered, punctual verb, no durative reading. Not a physical disturbance predicate (@cite{tham-2025} (12c)).

Equations

• Fragments.English.Predicates.Adjectival.shattered = { form := "shattered", scaleType := Core.Scale.Boundedness.closed, dimension := Core.Dimension.shattering }

Mildly positive adjectives (MPAs)

@cite{beltrama-2025}: MPAs encode a necessity standard — the minimum value required for pursuit. They share properties with both relative (context-sensitive, gradable) and absolute (no zone of indifference, crisp judgments, barely compatible) predicates.

def Fragments.English.Predicates.Adjectival.decent : AdjectivalPredicateEntry

"decent" — value scale, necessity standard (@cite{beltrama-2025})

Equations

• Fragments.English.Predicates.Adjectival.decent = { form := "decent", scaleType := Core.Scale.Boundedness.lowerBounded, dimension := Core.Dimension.value }

def Fragments.English.Predicates.Adjectival.acceptable : AdjectivalPredicateEntry

"acceptable" — value scale, necessity standard (@cite{beltrama-2025}). Deverbal -able form: modal suffix contributes functional standard.

Equations

• Fragments.English.Predicates.Adjectival.acceptable = { form := "acceptable", scaleType := Core.Scale.Boundedness.lowerBounded, dimension := Core.Dimension.value }

def Fragments.English.Predicates.Adjectival.adequate : AdjectivalPredicateEntry

"adequate" — value scale, necessity standard (@cite{beltrama-2025})

Equations

• Fragments.English.Predicates.Adjectival.adequate = { form := "adequate", scaleType := Core.Scale.Boundedness.lowerBounded, dimension := Core.Dimension.value }

def Fragments.English.Predicates.Adjectival.allEntries : List AdjectivalPredicateEntry

All adjectival predicate entries

Equations

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

def Fragments.English.Predicates.Adjectival.lookup (form : String) : Option AdjectivalPredicateEntry

Look up an entry by form

Equations

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