Features.Acceptability — Linguistic Acceptability Diacritics

Standard acceptability diacritics used in linguistic papers, encoded as a six-way taxonomy. These correspond to the conventional marks placed before example sentences:

• (unmarked) = fully acceptable
• ? = degraded/marginal
• ?? = quite degraded
• * = clearly unacceptable
• # = semantically/pragmatically anomalous (syntactically well-formed)
• % = dialectally variable / speaker-dependent

The semantic-vs-syntactic split (# vs *) and dialect marker (%) are linguistically substantive distinctions, not just gradient acceptability; this is why the type is a labeled enum rather than a Likert-style ordinal. For experimental Likert ratings, see paradigm-specific contracts under Paradigms/ (e.g., AcceptabilityJudgment.lean's DDResult).

inductive Features.Acceptability : Type

Standard acceptability diacritics used in linguistic papers.

• ok : Acceptability

  (unmarked) fully acceptable

• marginal : Acceptability

  ? degraded but not out

• degraded : Acceptability

  ?? quite degraded

• unacceptable : Acceptability

  * clearly unacceptable

• anomalous : Acceptability

  # semantically/pragmatically odd

• variable : Acceptability

  % dialectally variable

@[implicit_reducible]

instance Features.instReprAcceptability : Repr Acceptability

Equations

• Features.instReprAcceptability = { reprPrec := Features.instReprAcceptability.repr }

def Features.instReprAcceptability.repr : Acceptability → Nat → Std.Format

Equations

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

@[implicit_reducible]

instance Features.instDecidableEqAcceptability : DecidableEq Acceptability

Equations

• Features.instDecidableEqAcceptability x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯