Docs / Syntax / Category / Pronoun / Reciprocal

Reciprocal pronouns

import Linglib.Syntax.Category.Pronoun.Reciprocal

A reciprocal pronoun is a pronoun that is the nominal exponent of reciprocity: it carries the marker data of Syntax/Reciprocal.lean and the nominal strategy it realizes, and its kind fixes the reciprocal binding class. A fragment writes the pronoun once and derives its Reciprocal.Marker with toMarker; Hungarian egymás, Japanese otagai and Wan ɔ̄ŋ̄ are such objects. Verbal and clitic reciprocal strategies are not pronouns and stay bare markers.

Main definitions

ReciprocalPronoun: a pronoun with its reciprocal strategy.
ReciprocalPronoun.toMarker: its entry in a marker inventory.

Main statements

ReciprocalPronoun.bindingClassOf_toWord: its token classifies as a reciprocal anaphor.

References

Nordlinger 2023, The Typology of Reciprocal Constructions formalized

Declarations

A reciprocal pronoun is a Pronoun that is the nominal exponent of reciprocity, with the strategy it realizes.

structure ReciprocalPronoun L32–38

extends Pronoun :

Type

form : String
person : Option Person
number : Option Number
cases : Finset Case
gender : Option UD.Gender
script : Option String
strength : Option Strength
strategy : Reciprocal.Strategy
The nominal strategy, a dedicated pronoun (egymás, otagai) or a two-part quantifier noun phrase (each other).

Used by instDecidableEqReciprocalPronoun, ReciprocalPronoun.toMarker, ReciprocalPronoun.toWord, ReciprocalPronoun.bindingClassOf_toWord

Used in Fragments/English/Pronouns, Fragments/German/Pronouns, Fragments/Hungarian/Reciprocals, Fragments/Japanese/Pronouns, Fragments/Turkish/Anaphors and 1 more

L40–41

The marker entry of a reciprocal pronoun.

def ReciprocalPronoun.toMarker L43–45

(p : ReciprocalPronoun) :

Reciprocal.Marker

p.toMarker = { morphs := [Morphology.Morph.free p.form], script := p.script, strategy := p.strategy }

Built from

Used in Fragments/English/Reciprocals, Fragments/German/Reciprocals, Fragments/Hungarian/Reciprocals

L47–49

A reciprocal pronoun is a reciprocal anaphor.

@[simp] theorem ReciprocalPronoun.bindingClassOf_toWord L51–55

(p : ReciprocalPronoun) :

Binding.bindingClassOf p.toWord = some Binding.BindingClass.reciprocal

Built from ,