Bridge: NeoGricean Alternatives → M-Alternative Verification

@cite{horn-1984} @cite{rett-2015}

Verifies M-alternative generation for concrete adjective pairs.

Tests that the M-alternative framework correctly identifies:

• Which constructions have M-alternatives (equatives, degree questions)
• Which constructions lack M-alternatives (comparatives, positives)
• Which form is marked in M-alternative pairs

theorem Phenomena.Gradability.Implicature_AlternativesBridge.equative_has_m_alternatives : (Implicature.Markedness.generateMAlternatives Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Semantics.Degree.AdjectivalConstruction.equative).isSome = true

M-alternatives exist in equative constructions.

theorem Phenomena.Gradability.Implicature_AlternativesBridge.question_has_m_alternatives : (Implicature.Markedness.generateMAlternatives Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Semantics.Degree.AdjectivalConstruction.degreeQuestion).isSome = true

M-alternatives exist in degree question constructions.

theorem Phenomena.Gradability.Implicature_AlternativesBridge.comparative_no_m_alternatives : (Implicature.Markedness.generateMAlternatives Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Semantics.Degree.AdjectivalConstruction.comparative).isNone = true

M-alternatives do NOT exist in comparative constructions.

theorem Phenomena.Gradability.Implicature_AlternativesBridge.positive_no_m_alternatives : (Implicature.Markedness.generateMAlternatives Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Semantics.Degree.AdjectivalConstruction.positive).isNone = true

M-alternatives do NOT exist in positive constructions.

theorem Phenomena.Gradability.Implicature_AlternativesBridge.short_is_marked_in_equative : Implicature.Markedness.isMarkedInMAlternatives "short" Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Semantics.Degree.AdjectivalConstruction.equative = true

"short" is the marked member in equative M-alternatives.

theorem Phenomena.Gradability.Implicature_AlternativesBridge.tall_is_not_marked_in_equative : Implicature.Markedness.isMarkedInMAlternatives "tall" Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Semantics.Degree.AdjectivalConstruction.equative = false

"tall" is NOT the marked member in equative M-alternatives.