Clause-Embedding Adjectives

Cross-linguistic type for adjectives that take propositional complements: "annoyed (that p)", "sorry (that p)", "aware (that p)", "certain (that p)".

These are distinct from gradable adjectives (@cite{kennedy-2007}), which denote scalar properties of individuals. Clause-embedding adjectives denote attitudes or evaluations toward propositions.

Whether predication requires a copula is a language-level property (tracked in Phenomena/Copulas/Studies/Stassen2013.lean), not a property of the adjective. English requires "be", Mandarin and Japanese do not. The copula and its syntax belong in the Theory/Syntax layer, not here.

structure Semantics.Gradability.ClauseEmbeddingAdj : Type

A clause-embedding adjective: an adjective that takes a propositional complement. Carries the semantic spine shared with clause-embedding verbs (complement type, presupposition, attitude builder) but no verbal morphology or verb-specific features.

• adjForm : String

  Citation form of the adjective ("annoyed", "right", "happy")

• complementType : Lexical.ComplementType

  What kind of clause does the adjective embed?

• presupType : Option Lexical.PresupTriggerType

  Is the adjective a presupposition trigger?

• attitude : Option Features.Attitude

  Attitude semantics (if applicable)

• opaqueContext : Bool

  Does the adjective create an opaque context?

• complementSig : Option Core.NaturalLogic.EntailmentSig

  Entailment signature of the complement position

def Semantics.Gradability.instReprClauseEmbeddingAdj.repr : ClauseEmbeddingAdj → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Semantics.Gradability.instReprClauseEmbeddingAdj : Repr ClauseEmbeddingAdj

Equations

• Semantics.Gradability.instReprClauseEmbeddingAdj = { reprPrec := Semantics.Gradability.instReprClauseEmbeddingAdj.repr }

def Semantics.Gradability.instBEqClauseEmbeddingAdj.beq : ClauseEmbeddingAdj → ClauseEmbeddingAdj → Bool

Equations

• One or more equations did not get rendered due to their size.
• Semantics.Gradability.instBEqClauseEmbeddingAdj.beq x✝¹ x✝ = false

@[implicit_reducible]

instance Semantics.Gradability.instBEqClauseEmbeddingAdj : BEq ClauseEmbeddingAdj

Equations

• Semantics.Gradability.instBEqClauseEmbeddingAdj = { beq := Semantics.Gradability.instBEqClauseEmbeddingAdj.beq }