Documentation

Linglib.Phenomena.Agreement.Studies.PanchevaZubizarreta2018

Pancheva & Zubizarreta (2018): The Person Case Constraint #

@cite{pancheva-zubizarreta-2018}

The Person Case Constraint: The Syntactic Encoding of Perspective. Natural Language and Linguistic Theory 36: 1291–1337.

Summary #

The Person Case Constraint (PCC) restricts person combinations in ditransitive clitic clusters cross-linguistically. P&Z re-analyze the PCC as a syntax-semantics interface phenomenon rooted in the encoding of perspective. The core mechanism is a P-Constraint triggered by an interpretable person feature on Appl, which marks the indirect object as a point-of-view center.

Key Contributions Formalized #

  1. Full PCC typology: five attested varieties (strong, ultra-strong, weak, super-strong, me-first) plus three predicted grammars, all derived from four binary parameters of the P-Constraint.

  2. Logophoric grounding: the P-Prominence settings correspond to logophoric roles (Sells 1987): pivot, self, source.

  3. Markedness predictions: grammar markedness follows from parameter departures from the default (strong PCC).

  4. Impossible grammar predictions: me-first + *<3,3> restriction is ruled out by incompatible parameter settings.

  5. Cross-linguistic data: French strong PCC, Catalan ultra-strong, Spanish weak, Kambera super-strong, Bulgarian me-first.

source
def Phenomena.Agreement.Studies.PanchevaZubizarreta2018.personHierarchyRank (p : Core.Prominence.PersonLevel) :
Nat

The Person Hierarchy is derived from suitability for point-of-view center, not stipulated as a primitive.

Equations
Instances For
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.sap_gt_third :
    personHierarchyRank Core.Prominence.PersonLevel.first > personHierarchyRank Core.Prominence.PersonLevel.third ∧ personHierarchyRank Core.Prominence.PersonLevel.second > personHierarchyRank Core.Prominence.PersonLevel.third
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.feature_spec_1p :
    have dp := Minimalism.decomposePerson Core.Prominence.PersonLevel.first; dp.hasProximate = true ∧ dp.hasParticipant = true ∧ dp.hasAuthor = true
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.feature_spec_2p :
    have dp := Minimalism.decomposePerson Core.Prominence.PersonLevel.second; dp.hasProximate = true ∧ dp.hasParticipant = true ∧ dp.hasAuthor = false
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.feature_spec_3p :
    have dp := Minimalism.decomposePerson Core.Prominence.PersonLevel.third; dp.hasProximate = false ∧ dp.hasParticipant = false ∧ dp.hasAuthor = false
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.feature_hierarchy (p : Core.Prominence.PersonLevel) :
    (Minimalism.decomposePerson p).wellFormed = true
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.strong_pcc_do_must_be_3p :
    (∀ (io : Core.Prominence.PersonLevel), Minimalism.PConstraint.pccLicit Minimalism.PConstraint.strongGrammar io Core.Prominence.PersonLevel.third = true) ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.strongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.strongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.second = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.strongGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.strongGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = false

    Strong PCC (§4.1.1, (14a)): DO must be 3P.

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.weak_pcc_allows_participant_pairs :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.weakGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.weakGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.weakGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.weakGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.second = false

    Weak PCC (§4.1.3, (14b)): 1P/2P co-occurrence allowed.

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.ultra_strong_pcc :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.ultraStrongGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.ultraStrongGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.ultraStrongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.ultraStrongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.second = false

    Ultra-strong PCC (§4.1.2, (14d)): ⟨1,2⟩ OK but ⟨2,1⟩ banned.

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.me_first_pcc :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = true

    Me-first PCC (§4.3, (14c)): only ⟨3,1⟩ and ⟨2,1⟩ banned.

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.super_strong_pcc :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.second = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = false

    Super-strong PCC (§4.2, (14e)): IO must be 1P/2P, DO must be 3P. ⟨3,3⟩ banned (IO not [+participant]).

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.proximate_family_shared :
    Minimalism.PConstraint.strongGrammar.prominence = Minimalism.PConstraint.PProminence.proximate ∧ Minimalism.PConstraint.ultraStrongGrammar.prominence = Minimalism.PConstraint.PProminence.proximate ∧ Minimalism.PConstraint.weakGrammar.prominence = Minimalism.PConstraint.PProminence.proximate

    The [+proximate] family shares prominence and domain settings.

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.strong_is_default :
    Minimalism.PConstraint.strongGrammar = { }
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.ultra_departs_on_primacy :
    Minimalism.PConstraint.ultraStrongGrammar.primacy = true ∧ Minimalism.PConstraint.strongGrammar.primacy = false
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.weak_departs_on_uniqueness :
    Minimalism.PConstraint.weakGrammar.uniqueness = false ∧ Minimalism.PConstraint.strongGrammar.uniqueness = true
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.prominence_is_logophoric :
    Core.Logophoricity.prominenceToRole Minimalism.PConstraint.strongGrammar.prominence = Core.Logophoricity.LogophoricRole.pivot ∧ Core.Logophoricity.prominenceToRole Minimalism.PConstraint.superStrongGrammar.prominence = Core.Logophoricity.LogophoricRole.self ∧ Core.Logophoricity.prominenceToRole Minimalism.PConstraint.meFirstGrammar.prominence = Core.Logophoricity.LogophoricRole.source
    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.mefirst_no_clr_in_3_3 :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = true

    CLR effects predicted in all [+proximate] grammars. Me-first grammars do NOT predict CLR in ⟨3,3⟩ (domain restriction exempts).

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.spurious_se_compatible :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.strongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.ultraStrongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.weakGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = true

    *<3,3> effects compatible with [+proximate] family.

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.mefirst_incompatible_with_star33 :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = true

    *<3,3> incompatible with me-first (impossible parameter combination).

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.pg1_predictions :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg1Grammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg1Grammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg1Grammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg1Grammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg1Grammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg1Grammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = false

    PG1: [+participant] + P-Primacy.

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.pg2_predictions :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg2Grammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg2Grammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg2Grammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg2Grammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg2Grammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg2Grammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = false

    PG2: [+participant], no P-Uniqueness. IO must be SAP.

    source
    theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.pg3_predictions :
    Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg3Grammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg3Grammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg3Grammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.third = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg3Grammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.pg3Grammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = false

    PG3: [+author], unrestricted domain. Only 1P IO.

    source
    def Phenomena.Agreement.Studies.PanchevaZubizarreta2018.isDirectOrder (ioPerson : Core.Prominence.PersonLevel) (prominence : Minimalism.PConstraint.PProminence) :
    Bool

    "Direct" order: IO satisfies the prominence requirement.

    Equations
    Instances For
      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.first_io_direct :
      isDirectOrder Core.Prominence.PersonLevel.first Minimalism.PConstraint.PProminence.proximate = true
      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.third_io_not_direct :
      isDirectOrder Core.Prominence.PersonLevel.third Minimalism.PConstraint.PProminence.proximate = false
      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.french_strong :
      Minimalism.PConstraint.pccLicit Minimalism.PConstraint.strongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.strongGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.strongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = true

      French strong PCC (§4.1.1, (16)).

      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.catalan_ultra_strong :
      Minimalism.PConstraint.pccLicit Minimalism.PConstraint.ultraStrongGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.ultraStrongGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = false

      Catalan ultra-strong (§4.1.2, (20)).

      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.spanish_weak :
      Minimalism.PConstraint.pccLicit Minimalism.PConstraint.weakGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.weakGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.weakGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false

      Spanish weak PCC (§4.1.3, (23)–(24)).

      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.kambera_super_strong :
      Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.third = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.third = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.first = false ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.superStrongGrammar Core.Prominence.PersonLevel.first Core.Prominence.PersonLevel.second = false

      Kambera super-strong (§4.2, (27)).

      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.bulgarian_me_first :
      Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.third Core.Prominence.PersonLevel.second = true ∧ Minimalism.PConstraint.pccLicit Minimalism.PConstraint.meFirstGrammar Core.Prominence.PersonLevel.second Core.Prominence.PersonLevel.first = false

      Bulgarian me-first (§4.3, (29)).

      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.strong_count :
      Minimalism.PConstraint.licitCount Minimalism.PConstraint.strongGrammar = 3
      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.ultra_count :
      Minimalism.PConstraint.licitCount Minimalism.PConstraint.ultraStrongGrammar = 5
      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.weak_count :
      Minimalism.PConstraint.licitCount Minimalism.PConstraint.weakGrammar = 7
      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.super_count :
      Minimalism.PConstraint.licitCount Minimalism.PConstraint.superStrongGrammar = 2
      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.mefirst_count :
      Minimalism.PConstraint.licitCount Minimalism.PConstraint.meFirstGrammar = 6
      source
      theorem Phenomena.Agreement.Studies.PanchevaZubizarreta2018.mefirst_ne_weak :
      Minimalism.PConstraint.meFirstGrammar ≠ Minimalism.PConstraint.weakGrammar

      Me-first and weak have different licit sets.