Bridge: NeoGricean Alternatives → M-Alternative Verification

[Hor84] [Ret15]

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 Horn1984.equative_has_m_alternatives : (Implicature.Markedness.generateMAlternatives Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Degree.AdjectivalConstruction.equative).isSome = true

M-alternatives exist in equative constructions.

theorem Horn1984.question_has_m_alternatives : (Implicature.Markedness.generateMAlternatives Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Degree.AdjectivalConstruction.degreeQuestion).isSome = true

M-alternatives exist in degree question constructions.

theorem Horn1984.comparative_no_m_alternatives : (Implicature.Markedness.generateMAlternatives Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Degree.AdjectivalConstruction.comparative).isNone = true

M-alternatives do NOT exist in comparative constructions.

theorem Horn1984.positive_no_m_alternatives : (Implicature.Markedness.generateMAlternatives Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Degree.AdjectivalConstruction.positive).isNone = true

M-alternatives do NOT exist in positive constructions.

theorem Horn1984.short_is_marked_in_equative : Implicature.Markedness.isMarkedInMAlternatives "short" Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Degree.AdjectivalConstruction.equative = true

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

theorem Horn1984.tall_is_not_marked_in_equative : Implicature.Markedness.isMarkedInMAlternatives "tall" Implicature.Markedness.tall_with_morphology Implicature.Markedness.short_with_morphology Degree.AdjectivalConstruction.equative = false

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