Docs / Syntax / Agreement / PersonSegment

Person segments

import Linglib.Syntax.Agreement.PersonSegment · namespace Phi

Source

The person features that Agree manipulates are the person nodes of Harley and Ritter's feature geometry: the root π, which every nominal bears, [participant], and its dependents [speaker] and [addressee]. Béjar and Rezac call them the segments of an articulated person probe. The segments a person bears are read off the geometry, a bare [participant] receiving [speaker] by default.

Main definitions

Main results

Implementation notes

π is Harley and Ritter's root Referring Expression node, which Deal writes [φ].

References

Declarations

A segment of the person feature, a person node of the geometry of Harley & Ritter 2002.

inductive PersonSegmentL51–61
:
Type
  • pi : PersonSegment

    π, the root, borne by every nominal.

  • participant : PersonSegment

    [participant], borne by the first and second persons.

  • speaker : PersonSegment

    [speaker], borne by the persons that include the speaker.

  • addressee : PersonSegment

    [addressee], borne by the persons that include the addressee.

Derives DecidableEq, Repr, Fintype.

Used by PersonSegment.toNode, PersonSegment.instPartialOrder, PersonSegment.instDecidableLE, PersonSegment.instOrderBot, PersonSegment.instLocallyFiniteOrderTop, PersonSegment.spec, PersonSegment.mem_spec

Used in Syntax/Minimalist/Probe/Cyclic, BejarRezac2009, ClemDeal2026, CoonKeine2021, Deal2024 and 1 more

L93