inductive Phenomena.Imprecision.FormMeaning.ComplexityRelation : Type

Relative complexity judgment between two expressions.

• lessComplex : ComplexityRelation
• moreComplex : ComplexityRelation
• equalComplexity : ComplexityRelation
• incomparable : ComplexityRelation

def Phenomena.Imprecision.FormMeaning.instReprComplexityRelation.repr : ComplexityRelation → Nat → Std.Format

Equations

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

instance Phenomena.Imprecision.FormMeaning.instReprComplexityRelation : Repr ComplexityRelation

Equations

• Phenomena.Imprecision.FormMeaning.instReprComplexityRelation = { reprPrec := Phenomena.Imprecision.FormMeaning.instReprComplexityRelation.repr }

instance Phenomena.Imprecision.FormMeaning.instDecidableEqComplexityRelation : DecidableEq ComplexityRelation

Equations

• Phenomena.Imprecision.FormMeaning.instDecidableEqComplexityRelation x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

inductive Phenomena.Imprecision.FormMeaning.PrecisionRelation : Type

Relative precision judgment between two expressions.

• lessPrecise : PrecisionRelation
• morePrecise : PrecisionRelation
• equalPrecision : PrecisionRelation
• incomparable : PrecisionRelation

instance Phenomena.Imprecision.FormMeaning.instReprPrecisionRelation : Repr PrecisionRelation

Equations

• Phenomena.Imprecision.FormMeaning.instReprPrecisionRelation = { reprPrec := Phenomena.Imprecision.FormMeaning.instReprPrecisionRelation.repr }

def Phenomena.Imprecision.FormMeaning.instReprPrecisionRelation.repr : PrecisionRelation → Nat → Std.Format

Equations

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

instance Phenomena.Imprecision.FormMeaning.instDecidableEqPrecisionRelation : DecidableEq PrecisionRelation

Equations

• Phenomena.Imprecision.FormMeaning.instDecidableEqPrecisionRelation x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

structure Phenomena.Imprecision.FormMeaning.ComplexityPrecisionPair : Type

A pair of expressions showing the complexity-precision tradeoff.

• lessComplexExpr : String

  Less complex expression

• moreComplexExpr : String

  More complex expression

• complexitySource : String

  What makes it more complex

• lessComplexImprecise : Bool

  Does less complex permit imprecision?

• moreComplexImprecise : Bool

  Does more complex permit imprecision?

• truthConditionallyEquivalent : Bool

  Are they truth-conditionally equivalent (on precise reading)?

• constructionType : String

  Construction type

def Phenomena.Imprecision.FormMeaning.instReprComplexityPrecisionPair.repr : ComplexityPrecisionPair → Nat → Std.Format

Equations

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

instance Phenomena.Imprecision.FormMeaning.instReprComplexityPrecisionPair : Repr ComplexityPrecisionPair

Equations

• Phenomena.Imprecision.FormMeaning.instReprComplexityPrecisionPair = { reprPrec := Phenomena.Imprecision.FormMeaning.instReprComplexityPrecisionPair.repr }

def Phenomena.Imprecision.FormMeaning.doorsAllDoors : ComplexityPrecisionPair

Plural definites: "the doors" vs "all the doors"

Source: dissertation (3), (6)

Equations

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

def Phenomena.Imprecision.FormMeaning.andBoth : ComplexityPrecisionPair

Conjunctions: "Ann and Bert" vs "both Ann and Bert"

Source: dissertation (9)

Equations

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

def Phenomena.Imprecision.FormMeaning.numeralExactly : ComplexityPrecisionPair

Numerals: "100 cars" vs "exactly 100 cars"

Source: dissertation (4), (7)

Equations

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

def Phenomena.Imprecision.FormMeaning.blueCompletely : ComplexityPrecisionPair

Summative predicates: "blue" vs "completely blue"

Source: dissertation discussion of summative predicates

Equations

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

structure Phenomena.Imprecision.FormMeaning.UnattestedPattern : Type

Hypothetical pattern that would violate No Needless Manner Violations.

• description : String

  The hypothetical pattern description

• hypotheticalLessComplex : String

  Hypothetical less complex expression

• hypotheticalMoreComplex : String

  Hypothetical more complex expression

• explanation : String

  Why it's unattested (predicted by constraint)

• attestedAnalogue : Option String

  Closest attested analogue (if any)

def Phenomena.Imprecision.FormMeaning.instReprUnattestedPattern.repr : UnattestedPattern → Nat → Std.Format

Equations

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

instance Phenomena.Imprecision.FormMeaning.instReprUnattestedPattern : Repr UnattestedPattern

Equations

• Phenomena.Imprecision.FormMeaning.instReprUnattestedPattern = { reprPrec := Phenomena.Imprecision.FormMeaning.instReprUnattestedPattern.repr }

def Phenomena.Imprecision.FormMeaning.defAllDoors : UnattestedPattern

Hypothetical: DEF [all doors] → imprecise "the doors"

If this existed, adding DEF would add imprecision (violates constraint).

Source: dissertation (8)

Equations

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

def Phenomena.Imprecision.FormMeaning.approxNonRound : UnattestedPattern

Hypothetical: "approximately" that applies to non-round numerals naturally

Source: dissertation (4-c) discussion

Equations

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

structure Phenomena.Imprecision.FormMeaning.ApparentCounterexample : Type

Apparent counterexample that actually isn't.

• pattern : String

  The pattern

• apparentProblem : String

  Why it looks like a counterexample

• resolution : String

  Why it's not actually a counterexample

def Phenomena.Imprecision.FormMeaning.instReprApparentCounterexample.repr : ApparentCounterexample → Nat → Std.Format

Equations

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

instance Phenomena.Imprecision.FormMeaning.instReprApparentCounterexample : Repr ApparentCounterexample

Equations

• Phenomena.Imprecision.FormMeaning.instReprApparentCounterexample = { reprPrec := Phenomena.Imprecision.FormMeaning.instReprApparentCounterexample.repr }

def Phenomena.Imprecision.FormMeaning.everyVsTheDoors : ApparentCounterexample

"every door" vs "the doors"

"every door" lacks imprecision but isn't obviously more complex.

Source: dissertation (3-c)

Equations

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

def Phenomena.Imprecision.FormMeaning.approximatelyExample : ApparentCounterexample

"approximately" with bare numerals

Adding "approximately" seems to add imprecision.

Source: dissertation (4-c)

Equations

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

structure Phenomena.Imprecision.FormMeaning.CrossLinguisticDatum : Type

Cross-linguistic data point for complexity-precision correlation.

• language : String

  Language

• lessComplexForm : String

  Less complex form

• moreComplexForm : String

  More complex form

• gloss : String

  Gloss

• patternHolds : Bool

  Does pattern hold?

def Phenomena.Imprecision.FormMeaning.instReprCrossLinguisticDatum.repr : CrossLinguisticDatum → Nat → Std.Format

Equations

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

instance Phenomena.Imprecision.FormMeaning.instReprCrossLinguisticDatum : Repr CrossLinguisticDatum

Equations

• Phenomena.Imprecision.FormMeaning.instReprCrossLinguisticDatum = { reprPrec := Phenomena.Imprecision.FormMeaning.instReprCrossLinguisticDatum.repr }

def Phenomena.Imprecision.FormMeaning.germanDoorsExample : CrossLinguisticDatum

Equations

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

structure Phenomena.Imprecision.FormMeaning.MarkednessData : Type

Markedness relation between forms.

The constraint predicts: marked form → more precise meaning.

Source: @cite{horn-1984}, @cite{krifka-2007}

• unmarkedForm : String

  Unmarked (less marked) form

• markedForm : String

  Marked (more marked) form

• markingType : String

  Type of marking

• unmarkedMeaning : String

  Unmarked meaning

• markedMeaning : String

  Marked meaning

• markedMorePrecise : Bool

  Does marked = more precise?

instance Phenomena.Imprecision.FormMeaning.instReprMarkednessData : Repr MarkednessData

Equations

• Phenomena.Imprecision.FormMeaning.instReprMarkednessData = { reprPrec := Phenomena.Imprecision.FormMeaning.instReprMarkednessData.repr }

def Phenomena.Imprecision.FormMeaning.instReprMarkednessData.repr : MarkednessData → Nat → Std.Format

Equations

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

def Phenomena.Imprecision.FormMeaning.pluralAllMarkedness : MarkednessData

Equations

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

def Phenomena.Imprecision.FormMeaning.bareNumeralMarkedness : MarkednessData

Equations

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

structure Phenomena.Imprecision.FormMeaning.MannerPrediction : Type

The No Needless Manner Violations principle makes predictions.

• prediction : String

  Description of predicted pattern

• attested : Bool

  Is it attested?

• evidence : String

  Evidence

def Phenomena.Imprecision.FormMeaning.instReprMannerPrediction.repr : MannerPrediction → Nat → Std.Format

Equations

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

instance Phenomena.Imprecision.FormMeaning.instReprMannerPrediction : Repr MannerPrediction

Equations

• Phenomena.Imprecision.FormMeaning.instReprMannerPrediction = { reprPrec := Phenomena.Imprecision.FormMeaning.instReprMannerPrediction.repr }

def Phenomena.Imprecision.FormMeaning.prediction1 : MannerPrediction

Equations

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

def Phenomena.Imprecision.FormMeaning.prediction2 : MannerPrediction

Equations

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

def Phenomena.Imprecision.FormMeaning.prediction3 : MannerPrediction

Equations

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

structure Phenomena.Imprecision.FormMeaning.FormMeaningGeneralizations : Type

Core empirical generalizations about form/meaning correspondences.

• lessComplexMoreImprecise : Bool

  Less complex → more imprecision potential

• addingMaterialAddsPrecision : Bool

  Adding material → more precision

• noImprecisionAdders : Bool

  No attested imprecision-adding morphemes

• crossLinguistic : Bool

  Pattern holds cross-linguistically

• crossConstructional : Bool

  Pattern holds across constructions

def Phenomena.Imprecision.FormMeaning.instReprFormMeaningGeneralizations.repr : FormMeaningGeneralizations → Nat → Std.Format

Equations

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

instance Phenomena.Imprecision.FormMeaning.instReprFormMeaningGeneralizations : Repr FormMeaningGeneralizations

Equations

• Phenomena.Imprecision.FormMeaning.instReprFormMeaningGeneralizations = { reprPrec := Phenomena.Imprecision.FormMeaning.instReprFormMeaningGeneralizations.repr }

def Phenomena.Imprecision.FormMeaning.mainGeneralizations : FormMeaningGeneralizations

Equations

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

def Phenomena.Imprecision.FormMeaning.attestedPairs : List ComplexityPrecisionPair

Equations

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

def Phenomena.Imprecision.FormMeaning.unattestedPatterns : List UnattestedPattern

Equations

• Phenomena.Imprecision.FormMeaning.unattestedPatterns = [Phenomena.Imprecision.FormMeaning.defAllDoors, Phenomena.Imprecision.FormMeaning.approxNonRound]

def Phenomena.Imprecision.FormMeaning.apparentCounterexamples : List ApparentCounterexample

Equations

• Phenomena.Imprecision.FormMeaning.apparentCounterexamples = [Phenomena.Imprecision.FormMeaning.everyVsTheDoors, Phenomena.Imprecision.FormMeaning.approximatelyExample]

def Phenomena.Imprecision.FormMeaning.predictions : List MannerPrediction

Equations

• Phenomena.Imprecision.FormMeaning.predictions = [Phenomena.Imprecision.FormMeaning.prediction1, Phenomena.Imprecision.FormMeaning.prediction2, Phenomena.Imprecision.FormMeaning.prediction3]