Documentation

Linglib.Phenomena.Agreement.Studies.Preminger2014

Preminger 2014 — Agreement and Its Failures @cite{preminger-2014} #

@cite{bejar-rezac-2003} @cite{halle-marantz-1993} @cite{harley-ritter-2002} @cite{stiebels-2006} @cite{halpert-2012}

@cite{preminger-2014}, Agreement and Its Failures (MIT Press, LI Monographs 68), applies @cite{bejar-rezac-2003}'s relativized-probing mechanism (with the Person Licensing Condition) to the Kichean Agent Focus construction (Ch. 4) and uses the resulting failure cases to argue for an "obligatory operations" model of φ-Agree (Ch. 5). The fragment in Fragments/Mayan/Kaqchikel/Agreement.lean carries the typology-neutral data (paradigm exponents, person-number cells, argument positions, the empirical AF table); this file adds the analytical apparatus.

Attribution discipline #

Per Preminger's own framing:

Two-probe relativized probing #

§4.4 derives the Kichean AF agreement target from two independently relativized probes:

The single AF marker reflects π⁰'s output if it succeeds (clitic doubling of the [participant]-bearing argument); otherwise #⁰'s output (the 3PL marker e- by direct exponence); otherwise the Elsewhere (3SG ∅) entry. Person and number probes are applied independently — there is no salience scale.

Why not a hierarchy #

A surface-equivalent hierarchy [+participant] > [+plural] > default would predict the same outputs on the table-(22) cells, but Ch 7 provides five arguments against it (§7.3 summary, p. 127):

  1. Restrictedness (§7.1, p. 124): "salience" effects surface nowhere else in the language — cognitive salience would predict them in regular transitives too.
  2. K'ichee' formal addressee la (p. 124–125): a 2nd-person pronoun that behaves morphosyntactically as 3rd person under AF, contrary to a hierarchy that ranks 2nd ≫ 3rd.
  3. AF person restriction asymmetry (p. 125): hierarchies don't predict why two 1st/2nd persons are blocked but two 3rd plurals are licit.
  4. Morphophonological 1st/2nd vs 3rd asymmetry ("perhaps strongest", §3.4 + p. 125–126, table (148)): 1st/2nd ABS markers stand in the relation <agreement marker> = <strong pronoun> – <initial approximant> (eq. 149) — a clitic-doubling signature. 3rd-person markers don't. A hierarchy can't capture this.
  5. Zulu cross-linguistic parallel (§7.2, p. 127): @cite{halpert-2012}'s analysis of Zulu augmentless nominals uses the same machinery, but operating over augmented/augmentless instead of person/number — substantively different categories that have no plausible "salience" interpretation. The same logic applying to a salience-irrelevant feature contrast undermines the cognitive-salience grounding entirely.

Theorems below verify (3) on the fragment data; (4) is encoded as a smoke check (the fragment carries ABS markers but not strong pronouns, so the genuine eq.-149 relation cannot be verified without extending the fragment); (1), (2), (5) are documented in prose and would require additional fragment data (regular transitives + K'ichee' fragment + Zulu fragment) to formalize.

Cross-references #

Bears [+participant]? Derived from @cite{harley-ritter-2002}'s feature geometry via decomposePerson (PersonGeometry.lean).

Equations
Instances For

    Convert a person-number cell to a PhiFeature list for the Agree infrastructure.

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

      Set A as DM Vocabulary entries, contextualized to Voice/v. Built via the shared makePersonVocab helper.

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

        Set B as DM Vocabulary entries, contextualized to Infl/T.

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

          Probe-resolution rank for a Kaqchikel person-number cell under the two-probe (π⁰ ≫ #⁰) system. Computed via probeResolutionRank on the cell's person + number features. NOT a salience scale — see module docstring.

          Equations
          Instances For

            Person restriction (@cite{preminger-2014} (25)): at most one core argument can bear [+participant]. Derives from the Person Licensing Condition (PLC, @cite{bejar-rezac-2003}; cf. @cite{preminger-2014} §4.4 (75)): a [+participant] argument requires an Agree relation with π⁰ to be licensed. Two [+participant] arguments compete for π⁰'s single Agree relation; only one can be licensed; the derivation crashes if both occur. This is the syntactic licensing story, not the morphological clitic-slot competition.

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

              Compute the AF agreement target: the higher-ranked argument under the two-probe system. When both have equal rank, the subject is chosen (yielding the same marker either way). Returns none if the person restriction is violated.

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

                The AF agreement marker for a given subject-object combination: Set B exponent of the resolved target, or none for restriction violations.

                Equations
                Instances For

                  Compact grounding check covering the four key cells of feature-decomposition + probe-rank + author-implies-participant. Replaces what would otherwise be ~6 separate single-cell rfl theorems (per-cell-rfl-inflation anti-pattern).

                  The full AF paradigm (table 22) is correctly predicted: each empirical datum in the fragment's afParadigm matches afMarker.

                  AF agreement is commutative: swapping subject and object yields the same marker for ALL person-number combinations (@cite{preminger-2014} §3.3, (67)). Falls out of two-probe relativized probing — the probes see both arguments symmetrically.

                  π⁰ output suppresses #⁰ when both have a target: when one argument is 1st/2nd and the other is 3PL, the marker reflects the participant (clitic-doubling output of π⁰), not the plural.

                  PLC violation: two [+participant] arguments are blocked. Default 3SG: when both arguments are 3SG, both probes fail to find a target and the Elsewhere entry (∅) surfaces — the empirical signature of obligatory-but-failure-tolerant Agree (@cite{preminger-2014} Ch. 5).

                  @cite{preminger-2014} Ch 7 arg 3 (p. 125): a salience hierarchy [+participant] > [+plural] > default predicts symmetric blocking — if 1+2 (two participants) is bad, then 3pl+3pl (two plurals) should also be bad by the same logic. The data shows 1+2 IS blocked (PLC violation) but 3pl+3pl is FINE. The two-probe + PLC analysis derives this asymmetry: π⁰ targets [participant] under PLC (single Agree relation → restriction); #⁰ targets [plural] without a parallel licensing condition (no competition for 3pl+3pl).

                  @cite{preminger-2014} Ch 7 arg 4 smoke-check (p. 125–126, table (148), eq. (149)): 1st/2nd ABS markers stand in the relation <agreement marker> = <strong pronoun> – <initial approximant> (e.g., 1sg i(n)- from yïn, 1pl oj- from röj). 3rd-person markers don't have this property — pointing to clitic doubling for 1st/2nd vs direct exponence for 3rd.

                  UNVERIFIED: this theorem only checks that 1st/2nd and 3rd ABS markers are distinct in form, which is necessary but not sufficient for arg 4. The genuine eq.-(149) relation requires strong-pronoun forms (yïn, rat, röj, rïx, rja', rje') which the fragment does not currently carry. A faithful arg-4 theorem awaits extending the fragment with strong pronouns and a suffix-stripping bridge function.