Equative Constructions: Empirical Data

@cite{kennedy-2007} @cite{rett-2020}

Empirical data on equative constructions ("as tall as"), including the at-least vs. exactly ambiguity and cross-linguistic variation.

Key Empirical Patterns

1. At-least vs. exactly readings: "Kim is as tall as Lee" can mean either "at least as tall" (the literal semantics) or "exactly as tall" (the pragmatically enriched reading).
2. Scalar implicature: the "exactly" reading arises via scalar implicature from the "at least" meaning, parallel to numeral strengthening.
3. Negative equatives: "not as tall as" is typically interpreted as strict inequality, not "not exactly as tall".

structure Phenomena.Comparison.Equative.EquativeJudgment : Type

An equative judgment.

• sentence : String
• acceptable : Bool
• availableReadings : List String

  "at_least" or "exactly"

• note : String

instance Phenomena.Comparison.Equative.instReprEquativeJudgment : Repr EquativeJudgment

Equations

• Phenomena.Comparison.Equative.instReprEquativeJudgment = { reprPrec := Phenomena.Comparison.Equative.instReprEquativeJudgment.repr }

def Phenomena.Comparison.Equative.instReprEquativeJudgment.repr : EquativeJudgment → Nat → Std.Format

Equations

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

def Phenomena.Comparison.Equative.equativeExamples : List EquativeJudgment

Equations

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

inductive Phenomena.Comparison.Equative.EquativeStrategy : Type

Equative encoding strategy.

• parameterMarker : EquativeStrategy
• reach : EquativeStrategy
• similative : EquativeStrategy
• exceed : EquativeStrategy

instance Phenomena.Comparison.Equative.instDecidableEqEquativeStrategy : DecidableEq EquativeStrategy

Equations

• Phenomena.Comparison.Equative.instDecidableEqEquativeStrategy x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Phenomena.Comparison.Equative.instBEqEquativeStrategy.beq : EquativeStrategy → EquativeStrategy → Bool

Equations

• Phenomena.Comparison.Equative.instBEqEquativeStrategy.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Phenomena.Comparison.Equative.instBEqEquativeStrategy : BEq EquativeStrategy

Equations

• Phenomena.Comparison.Equative.instBEqEquativeStrategy = { beq := Phenomena.Comparison.Equative.instBEqEquativeStrategy.beq }

instance Phenomena.Comparison.Equative.instReprEquativeStrategy : Repr EquativeStrategy

Equations

• Phenomena.Comparison.Equative.instReprEquativeStrategy = { reprPrec := Phenomena.Comparison.Equative.instReprEquativeStrategy.repr }

def Phenomena.Comparison.Equative.instReprEquativeStrategy.repr : EquativeStrategy → Nat → Std.Format

Equations

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

structure Phenomena.Comparison.Equative.EquativeTypologyDatum : Type

Cross-linguistic equative strategy datum.

• language : String
• strategy : EquativeStrategy
• exampleForm : String

instance Phenomena.Comparison.Equative.instReprEquativeTypologyDatum : Repr EquativeTypologyDatum

Equations

• Phenomena.Comparison.Equative.instReprEquativeTypologyDatum = { reprPrec := Phenomena.Comparison.Equative.instReprEquativeTypologyDatum.repr }

def Phenomena.Comparison.Equative.instReprEquativeTypologyDatum.repr : EquativeTypologyDatum → Nat → Std.Format

Equations

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

def Phenomena.Comparison.Equative.equativeTypology : List EquativeTypologyDatum

Equations

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