Shared English test words for DG coreference theories

A small bundle of English test words consumed by paper-anchored Studies (Studies/Hudson1990.lean), plus a BindingClass re-export. Binding-class classification is no longer re-exported here: a word's Principle A/B/C class is read off its own UD morphology by the framework- and language-neutral Binding.bindingClassOf, so no per-language lexicon classifier is needed.

Main declarations

• BindingClass — re-exported. φ-agreement is Word.Agree (Core).
• john, mary, they, sees, see, himself, herself, themselves, him, her, them, eachOther — English test words. Slated for relocation to Studies/Hudson1990.lean (auditor finding 2026-06-01).

Shared English test words

Consumed by Studies/Hudson1990.lean. Slated for relocation to that file in a follow-up cleanup (auditor finding 2026-06-01).

@[reducible, inline]

abbrev DepGrammar.Nominal.john : Word

Equations

• DepGrammar.Nominal.john = English.Nouns.john.toWordSg

@[reducible, inline]

abbrev DepGrammar.Nominal.mary : Word

Equations

• DepGrammar.Nominal.mary = English.Nouns.mary.toWordSg

@[reducible, inline]

abbrev DepGrammar.Nominal.they : Word

Equations

• DepGrammar.Nominal.they = English.Pronouns.they.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.sees : Word

Equations

• DepGrammar.Nominal.sees = English.Predicates.Verbal.see.toWord3sg

@[reducible, inline]

abbrev DepGrammar.Nominal.see : Word

Equations

• DepGrammar.Nominal.see = English.Predicates.Verbal.see.toWordPl

@[reducible, inline]

abbrev DepGrammar.Nominal.himself : Word

Equations

• DepGrammar.Nominal.himself = English.Pronouns.himself.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.herself : Word

Equations

• DepGrammar.Nominal.herself = English.Pronouns.herself.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.themselves : Word

Equations

• DepGrammar.Nominal.themselves = English.Pronouns.themselves.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.him : Word

Equations

• DepGrammar.Nominal.him = English.Pronouns.him.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.her : Word

Equations

• DepGrammar.Nominal.her = English.Pronouns.her.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.them : Word

Equations

• DepGrammar.Nominal.them = English.Pronouns.them.toWord

@[reducible, inline]

abbrev DepGrammar.Nominal.eachOther : Word

Equations

• DepGrammar.Nominal.eachOther = English.Pronouns.eachOther.toWord