Documentation

Linglib.Core.AgreementTarget

Agreement Target Hierarchy @cite{corbett-1991} #

The Agreement Hierarchy (@cite{corbett-1991}) ranks morphosyntactic targets by likelihood of showing agreement: attributive adjectives are most likely, verbs least likely. If a language shows gender/number agreement on a lower target, it shows agreement on all higher targets.

This type is shared by gender typology (Phenomena/Gender/Typology.lean) and number agreement (Phenomena/Agreement/Studies/Corbett2000.lean).

inductive Core.AgreementTarget :

Morphosyntactic targets where agreement can surface, ordered by the Agreement Hierarchy (@cite{corbett-1991}).

Higher rank = more likely to show agreement (closer to controller). Lower rank = less likely (further from controller, more semantic).

attributive : AgreementTarget
predicate : AgreementTarget
relativePronoun : AgreementTarget
personalPronoun : AgreementTarget
verbTarget : AgreementTarget

Instances For

instance Core.instDecidableEqAgreementTarget :

DecidableEq AgreementTarget

Equations

Core.instDecidableEqAgreementTarget x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.instBEqAgreementTarget.beq :

AgreementTarget → AgreementTarget → Bool

Equations

Core.instBEqAgreementTarget.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

Instances For

instance Core.instBEqAgreementTarget :

BEq AgreementTarget

Equations

Core.instBEqAgreementTarget = { beq := Core.instBEqAgreementTarget.beq }

def Core.instReprAgreementTarget.repr :

AgreementTarget → Nat → Std.Format

Equations

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

Instances For

instance Core.instReprAgreementTarget :

Repr AgreementTarget

Equations

Core.instReprAgreementTarget = { reprPrec := Core.instReprAgreementTarget.repr }

def Core.AgreementTarget.rank :

AgreementTarget → Nat

Numeric rank in the Agreement Hierarchy: higher = more likely to show agreement (more syntactic); lower = less likely (more semantic).

Equations

Instances For