Documentation

Linglib.Studies.ParteeBorschev2001

Partee & Borschev 2001: Some puzzles of predicate possessives #

Paper-anchored consumer of the possessive substrate for [PB01]. P&B argue against the uniform "argument-only" analysis of possessives ([JV94]) using predicate possessives: a possessive occurs as a bare predicate (type ⟨e,t⟩) only when its possession relation is a free contextual variable (a modifier genitive), not when it is the inherent relation of a relational noun or adjective (an argument genitive).

The argument/modifier distinction is study-local: it is P&B's analysis of a construction, contested by [VJ02] (who deny the split is grammatical), so it is not a field of the theory-neutral substrate carrier (Possessive.Carrier). The predicate form itself is substrate — the bare ⟨e,t⟩ possessive predicate is Possessive.viaArgument (the relation applied to the possessor).

Main statements #

canBePredicate_iff_modifier — predicativity is exactly modifier-provenance.
team_predicate_ok / brother_predicate_bad / favoriteMovie_predicate_bad — P&B (1c)–(3c): that team is John's ✓, #that brother/favorite movie is John's (decide-checked from the relation source).
RussianForm.predicativity — the morphosyntactically overt confirmation (§2.2): the Russian genitive NP (argument) cannot predicate, the prenominal possessive (modifier) can.
predicateForm_eq_viaArgument — the bare predicate possessive is the substrate Possessive.viaArgument predicate.

References #

[PB01]: Some puzzles of predicate possessives.
[JV94]: the uniform argument-only analysis P&B argue against.

Relation provenance and predicativity #

The argument/modifier distinction is P&B's analytical classification of a construction, kept study-local (V&J reject it).

inductive ParteeBorschev2001.RelationProvenance :

The provenance of a genitive's possession relation: supplied lexically by a relational noun/adjective (argument) or as a free contextual variable (modifier).

argument : RelationProvenance
Inherent/lexical relation — the argument genitive.
modifier : RelationProvenance
Free contextual relation — the modifier genitive.

Instances For

@[implicit_reducible]

instance ParteeBorschev2001.instDecidableEqRelationProvenance :

DecidableEq RelationProvenance

Equations

ParteeBorschev2001.instDecidableEqRelationProvenance x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance ParteeBorschev2001.instReprRelationProvenance :

Repr RelationProvenance

Equations

ParteeBorschev2001.instReprRelationProvenance = { reprPrec := ParteeBorschev2001.instReprRelationProvenance.repr }

def ParteeBorschev2001.instReprRelationProvenance.repr :

RelationProvenance → ℕ → Std.Format

Equations

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

Instances For

def ParteeBorschev2001.CanBePredicate :

RelationProvenance → Prop

A possessive occurs as a bare predicate (that team is John's) iff its relation is modifier-provenance. Argument genitives cannot — P&B's central generalization.

Equations

Instances For

@[implicit_reducible]

instance ParteeBorschev2001.instDecidablePredRelationProvenanceCanBePredicate :

DecidablePred CanBePredicate

Equations

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

theorem ParteeBorschev2001.canBePredicate_iff_modifier (p : RelationProvenance) :

CanBePredicate p ↔ p = RelationProvenance.modifier

Predicativity is exactly modifier-provenance. Inverting the provenance flips the prediction, so the distinction is not decorative.

English predicate possessives (P&B 2001 (1)–(3)) #

The genitive relation has three sources: the context (a free R, with a plain noun), an inherently relational noun (brother), or an inherently relational adjective (favorite). Only the contextual source is a modifier.

inductive ParteeBorschev2001.RelationSource :

The three sources of the genitive relation (P&B 2001 §1.1).

context : RelationSource
Free contextual relation (plain noun, e.g. team).
relationalNoun : RelationSource
Inherent relation of a relational noun (brother).
relationalAdjective : RelationSource
Inherent relation of a relational adjective (favorite).

Instances For

@[implicit_reducible]

instance ParteeBorschev2001.instDecidableEqRelationSource :

DecidableEq RelationSource

Equations

ParteeBorschev2001.instDecidableEqRelationSource x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance ParteeBorschev2001.instReprRelationSource :

Repr RelationSource

Equations

ParteeBorschev2001.instReprRelationSource = { reprPrec := ParteeBorschev2001.instReprRelationSource.repr }

def ParteeBorschev2001.instReprRelationSource.repr :

RelationSource → ℕ → Std.Format

Equations

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

Instances For

def ParteeBorschev2001.RelationSource.provenance :

RelationSource → RelationProvenance

Only the contextual source yields a modifier genitive; the two inherent sources yield argument genitives.

Equations

Instances For

theorem ParteeBorschev2001.team_predicate_ok :

CanBePredicate RelationSource.context.provenance

P&B (1c) that team is John's — acceptable: contextual relation (modifier).

theorem ParteeBorschev2001.brother_predicate_bad :

¬CanBePredicate RelationSource.relationalNoun.provenance

P&B (2c) #that brother is John's — degraded: relational noun (argument).

theorem ParteeBorschev2001.favoriteMovie_predicate_bad :

¬CanBePredicate RelationSource.relationalAdjective.provenance

P&B (3c) #that favorite movie is John's — degraded: relational adjective (argument). The whole N-bar favorite movie supplies the relation.

Russian: overt morphosyntax (P&B 2001 §2.2) #

In Russian the distinction is visible in the form: the genitive NP (Peti) is uniformly argument-like and cannot occur in predicate position, while the prenominal quasi-adjectival possessive (Petin) and possessive pronouns admit the modifier reading and can.

inductive ParteeBorschev2001.RussianForm :

Russian possessive forms and their relation provenance (P&B 2001 §2.2).

genitiveNP : RussianForm
Postnominal genitive NP, Peti — uniformly argument.
prenominalPossessive : RussianForm
Prenominal quasi-adjectival possessive, Petin — admits modifier.
possessivePronoun : RussianForm
Possessive pronoun, moj — admits modifier.

Instances For

@[implicit_reducible]

instance ParteeBorschev2001.instDecidableEqRussianForm :

DecidableEq RussianForm

Equations

ParteeBorschev2001.instDecidableEqRussianForm x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def ParteeBorschev2001.instReprRussianForm.repr :

RussianForm → ℕ → Std.Format

Equations

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

Instances For

@[implicit_reducible]

instance ParteeBorschev2001.instReprRussianForm :

Repr RussianForm

Equations

ParteeBorschev2001.instReprRussianForm = { reprPrec := ParteeBorschev2001.instReprRussianForm.repr }

def ParteeBorschev2001.RussianForm.provenance :

RussianForm → RelationProvenance

Provenance of each Russian form.

Equations

Instances For

theorem ParteeBorschev2001.RussianForm.predicativity (f : RussianForm) :

CanBePredicate f.provenance ↔ f ≠ genitiveNP

The overt confirmation: a Russian form occurs as a predicate iff it is not the (argument-only) genitive NP.

The predicate form is substrate #

The bare predicate possessive John's (λx. R(John)(x)) is the substrate Possessive.viaArgument — the relation applied to the possessor, a genuine ⟨e,t⟩ predicate that the uniform argument-only approach cannot produce standalone.

theorem ParteeBorschev2001.predicateForm_eq_viaArgument {E : Type u_1} {S : Type u_2} (possessor : E) (R : ArgumentStructure.Relational.Pred2 E S) :

(fun (x : E) (s : S) => R possessor x s) = Possessive.viaArgument possessor R