Plural Partial Compositional DRT — Definitions #
[vdB96] [Bra07] [Hau14] [Dot13] [HD20]
The plural partial extension of Compositional DRT (PPCDRT). Plural CDRT
[Bra07] replaces single information states with sets of
states (plural information states), tracking inter-variable dependencies.
Partial CDRT [Hau14] adds partial assignments so a discourse
referent can be introduced without forcing eager pragmatic resolution: the
unresolved condition u_anaph → u_ant is interpreted as a presupposition.
This file defines the condition type PPDRSCond used by
Anaphora.lean for the bindingCond / groupIdentityCond /
reciprocityCond predicates and by Cumulativity.lean for the bridge to
Plurality.Cumulativity.Cumulative. A PPDRS condition takes the (output)
plural state plus the distribution context Δ (the set of drefs being
distributed over); the Δ argument is used by distribution machinery
(δ_u, paper eq 14) but ignored by the present
binding/group-identity/reciprocity conditions — see Anaphora.lean.
Anchoring #
Framework substrate. PPCDRT originates with [Bra07] (PCDRT)
and [Hau14] (Partial CDRT); [HD20] composes
them into PPCDRT. Initial linglib consumer:
Studies/HaugDalrymple2020.lean. Mirrors
Semantics/Dynamic/ICDRT/Defs.lean (ICDRT substrate, also single
current consumer).
A PPDRS condition: takes the (output) plural state and the
distribution context Δ. [HD20] eq 27.
The Δ argument is part of the eq-25 three-place DRS shape but is
ignored by the present bindingCond / groupIdentityCond /
reciprocityCond (which are evaluated at the unrelativized layer
Δ = ∅). It is preserved in the type so consumers that DO need
distribution (e.g. a future Dotlačil 2013 study file) can plug in
without changing this signature.
Equations
- PPCDRT.PPDRSCond E = (PluralAssign ℕ E → Set ℕ → Prop)