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/Typology.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.Lexical.Adjective.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 : Core.Verbs.ComplementType

  What kind of clause does the adjective embed?

• presupType : Option Core.Verbs.PresupTriggerType

  Is the adjective a presupposition trigger?

• attitudeBuilder : Option Core.Verbs.AttitudeBuilder

  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.Lexical.Adjective.instReprClauseEmbeddingAdj.repr : ClauseEmbeddingAdj → ℕ → Std.Format

Equations

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

instance Semantics.Lexical.Adjective.instReprClauseEmbeddingAdj : Repr ClauseEmbeddingAdj

Equations

• Semantics.Lexical.Adjective.instReprClauseEmbeddingAdj = { reprPrec := Semantics.Lexical.Adjective.instReprClauseEmbeddingAdj.repr }

instance Semantics.Lexical.Adjective.instBEqClauseEmbeddingAdj : BEq ClauseEmbeddingAdj

Equations

• Semantics.Lexical.Adjective.instBEqClauseEmbeddingAdj = { beq := Semantics.Lexical.Adjective.instBEqClauseEmbeddingAdj.beq }

def Semantics.Lexical.Adjective.instBEqClauseEmbeddingAdj.beq : ClauseEmbeddingAdj → ClauseEmbeddingAdj → Bool

Equations

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