Clause-embedding adjectives

Adjectives that take clausal complements: annoyed (that p), sorry (that p), aware (that p), able (to VP). As GradableAdjective in Semantics/Degree/Adjective.lean extends the Adjective core with its degree semantics, ClauseEmbeddingAdjective extends it with the clausal-selection facets of a verb entry: the frames of its complement, its presupposition, implicative and attitude profiles, and its control readings.

Whether an adjectival predicate takes a copula is a property of the language, not of the adjective ([Sta13a]): English realizes these predicates as be and the adjective, ClauseEmbeddingAdjective.toVerb with the copula be, while Mandarin encodes predicative adjectives as verbs.

References

• [Sta13a]

structure ClauseEmbeddingAdjectiveextends Adjective, Verb.Presupposition, Verb.Attitude : Type

A clause-embedding adjective is the Adjective core with the clausal-selection facets it shares with clause-embedding verbs, and no verbal morphology.

• form : String
• script : Option String
• dimension : Option Degree.ScalarDimension
• polarity : Polarity
• comparison : Comparison
• antonymForm : Option String
• factivity : Option Presupposition.Factivity
• implicative : NaturalLogic.ImplicationSignature
• opaqueContext : Bool
• attitude : Option _root_.Attitude
• readings : List Reading
• complementSig : Option NaturalLogic.Signature
• frames : List ArgumentFrame

  The frames of the adjective's complement, basic frame first.

@[instance_reducible]

instance instReprClauseEmbeddingAdjective : Repr ClauseEmbeddingAdjective

Equations

• instReprClauseEmbeddingAdjective = { reprPrec := instReprClauseEmbeddingAdjective.repr }

def instReprClauseEmbeddingAdjective.repr : ClauseEmbeddingAdjective → ℕ → Std.Format

Equations

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

def instBEqClauseEmbeddingAdjective.beq : ClauseEmbeddingAdjective → ClauseEmbeddingAdjective → Bool

Equations

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

@[instance_reducible]

instance instBEqClauseEmbeddingAdjective : BEq ClauseEmbeddingAdjective

Equations

• instBEqClauseEmbeddingAdjective = { beq := instBEqClauseEmbeddingAdjective.beq }

def ClauseEmbeddingAdjective.toVerb (a : ClauseEmbeddingAdjective) (copula : String) : Verb

The verb an adjective forms with a copula, the copula's form before the adjective's and the adjective's clausal-selection facets carried over.

Equations

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