inductive Fragments.English.Pronouns.PronounType : Type

Type of pronoun.

• personal : PronounType
• reflexive : PronounType
• reciprocal : PronounType
• wh : PronounType
• relative : PronounType
• demonstrative : PronounType

instance Fragments.English.Pronouns.instDecidableEqPronounType : DecidableEq PronounType

Equations

• Fragments.English.Pronouns.instDecidableEqPronounType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Fragments.English.Pronouns.instReprPronounType : Repr PronounType

Equations

• Fragments.English.Pronouns.instReprPronounType = { reprPrec := Fragments.English.Pronouns.instReprPronounType.repr }

def Fragments.English.Pronouns.instReprPronounType.repr : PronounType → Nat → Std.Format

Equations

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

def Fragments.English.Pronouns.instBEqPronounType.beq : PronounType → PronounType → Bool

Equations

• Fragments.English.Pronouns.instBEqPronounType.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Fragments.English.Pronouns.instBEqPronounType : BEq PronounType

Equations

• Fragments.English.Pronouns.instBEqPronounType = { beq := Fragments.English.Pronouns.instBEqPronounType.beq }

structure Fragments.English.Pronouns.PronounEntry : Type

A lexical entry for a pronoun.

• form : String

  Surface form

• pronounType : PronounType

  Pronoun type

• person : Option Person

  Person (for personal/reflexive)

• number : Option Number

  Number

• case_ : Option Case

  Case (for personal pronouns)

• wh : Bool

  Is this a wh-word?

instance Fragments.English.Pronouns.instReprPronounEntry : Repr PronounEntry

Equations

• Fragments.English.Pronouns.instReprPronounEntry = { reprPrec := Fragments.English.Pronouns.instReprPronounEntry.repr }

def Fragments.English.Pronouns.instReprPronounEntry.repr : PronounEntry → Nat → Std.Format

Equations

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

def Fragments.English.Pronouns.instBEqPronounEntry.beq : PronounEntry → PronounEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.English.Pronouns.instBEqPronounEntry.beq x✝¹ x✝ = false

instance Fragments.English.Pronouns.instBEqPronounEntry : BEq PronounEntry

Equations

• Fragments.English.Pronouns.instBEqPronounEntry = { beq := Fragments.English.Pronouns.instBEqPronounEntry.beq }

def Fragments.English.Pronouns.i : PronounEntry

Equations

• Fragments.English.Pronouns.i = { form := "I", pronounType := Fragments.English.Pronouns.PronounType.personal, person := some UD.Person.first, number := some Number.sg, case_ := some Case.nom }

def Fragments.English.Pronouns.me : PronounEntry

Equations

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

def Fragments.English.Pronouns.we : PronounEntry

Equations

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

def Fragments.English.Pronouns.us : PronounEntry

Equations

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

def Fragments.English.Pronouns.you : PronounEntry

Equations

• Fragments.English.Pronouns.you = { form := "you", pronounType := Fragments.English.Pronouns.PronounType.personal, person := some UD.Person.second, number := some Number.sg }

def Fragments.English.Pronouns.you_pl : PronounEntry

Equations

• Fragments.English.Pronouns.you_pl = { form := "you", pronounType := Fragments.English.Pronouns.PronounType.personal, person := some UD.Person.second, number := some Number.pl }

def Fragments.English.Pronouns.he : PronounEntry

Equations

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

def Fragments.English.Pronouns.him : PronounEntry

Equations

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

def Fragments.English.Pronouns.she : PronounEntry

Equations

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

def Fragments.English.Pronouns.her : PronounEntry

Equations

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

def Fragments.English.Pronouns.it : PronounEntry

Equations

• Fragments.English.Pronouns.it = { form := "it", pronounType := Fragments.English.Pronouns.PronounType.personal, person := some UD.Person.third, number := some Number.sg }

def Fragments.English.Pronouns.they : PronounEntry

Equations

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

def Fragments.English.Pronouns.them : PronounEntry

Equations

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

def Fragments.English.Pronouns.myself : PronounEntry

Equations

• Fragments.English.Pronouns.myself = { form := "myself", pronounType := Fragments.English.Pronouns.PronounType.reflexive, person := some UD.Person.first, number := some Number.sg }

def Fragments.English.Pronouns.yourself : PronounEntry

Equations

• Fragments.English.Pronouns.yourself = { form := "yourself", pronounType := Fragments.English.Pronouns.PronounType.reflexive, person := some UD.Person.second, number := some Number.sg }

def Fragments.English.Pronouns.himself : PronounEntry

Equations

• Fragments.English.Pronouns.himself = { form := "himself", pronounType := Fragments.English.Pronouns.PronounType.reflexive, person := some UD.Person.third, number := some Number.sg }

def Fragments.English.Pronouns.herself : PronounEntry

Equations

• Fragments.English.Pronouns.herself = { form := "herself", pronounType := Fragments.English.Pronouns.PronounType.reflexive, person := some UD.Person.third, number := some Number.sg }

def Fragments.English.Pronouns.itself : PronounEntry

Equations

• Fragments.English.Pronouns.itself = { form := "itself", pronounType := Fragments.English.Pronouns.PronounType.reflexive, person := some UD.Person.third, number := some Number.sg }

def Fragments.English.Pronouns.ourselves : PronounEntry

Equations

• Fragments.English.Pronouns.ourselves = { form := "ourselves", pronounType := Fragments.English.Pronouns.PronounType.reflexive, person := some UD.Person.first, number := some Number.pl }

def Fragments.English.Pronouns.yourselves : PronounEntry

Equations

• Fragments.English.Pronouns.yourselves = { form := "yourselves", pronounType := Fragments.English.Pronouns.PronounType.reflexive, person := some UD.Person.second, number := some Number.pl }

def Fragments.English.Pronouns.themselves : PronounEntry

Equations

• Fragments.English.Pronouns.themselves = { form := "themselves", pronounType := Fragments.English.Pronouns.PronounType.reflexive, person := some UD.Person.third, number := some Number.pl }

def Fragments.English.Pronouns.eachOther : PronounEntry

Equations

• Fragments.English.Pronouns.eachOther = { form := "each other", pronounType := Fragments.English.Pronouns.PronounType.reciprocal }

def Fragments.English.Pronouns.oneAnother : PronounEntry

Equations

• Fragments.English.Pronouns.oneAnother = { form := "one another", pronounType := Fragments.English.Pronouns.PronounType.reciprocal }

def Fragments.English.Pronouns.who : PronounEntry

Equations

• Fragments.English.Pronouns.who = { form := "who", pronounType := Fragments.English.Pronouns.PronounType.wh, wh := true }

def Fragments.English.Pronouns.whom : PronounEntry

Equations

• Fragments.English.Pronouns.whom = { form := "whom", pronounType := Fragments.English.Pronouns.PronounType.wh, case_ := some Case.acc, wh := true }

def Fragments.English.Pronouns.what : PronounEntry

Equations

• Fragments.English.Pronouns.what = { form := "what", pronounType := Fragments.English.Pronouns.PronounType.wh, wh := true }

def Fragments.English.Pronouns.which : PronounEntry

Equations

• Fragments.English.Pronouns.which = { form := "which", pronounType := Fragments.English.Pronouns.PronounType.wh, wh := true }

def Fragments.English.Pronouns.where_ : PronounEntry

Equations

• Fragments.English.Pronouns.where_ = { form := "where", pronounType := Fragments.English.Pronouns.PronounType.wh, wh := true }

def Fragments.English.Pronouns.when_ : PronounEntry

Equations

• Fragments.English.Pronouns.when_ = { form := "when", pronounType := Fragments.English.Pronouns.PronounType.wh, wh := true }

def Fragments.English.Pronouns.why : PronounEntry

Equations

• Fragments.English.Pronouns.why = { form := "why", pronounType := Fragments.English.Pronouns.PronounType.wh, wh := true }

def Fragments.English.Pronouns.how : PronounEntry

Equations

• Fragments.English.Pronouns.how = { form := "how", pronounType := Fragments.English.Pronouns.PronounType.wh, wh := true }

def Fragments.English.Pronouns.PronounEntry.isWhAdverb (p : PronounEntry) : Bool

Is this a wh-adverb (where, when, why, how) rather than a wh-pronoun?

Equations

• p.isWhAdverb = decide (p.form ∈ ["where", "when", "why", "how"])

def Fragments.English.Pronouns.PronounEntry.toWord (p : PronounEntry) : Word

Equations

• p.toWord = { form := p.form, cat := if p.isWhAdverb = true then UD.UPOS.ADV else UD.UPOS.PRON, features := { wh := p.wh, number := p.number, person := p.person, case_ := p.case_ } }

def Fragments.English.Pronouns.allPronouns : List PronounEntry

Equations

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

def Fragments.English.Pronouns.lookup (form : String) : Option PronounEntry

Equations

• Fragments.English.Pronouns.lookup form = List.find? (fun (p : Fragments.English.Pronouns.PronounEntry) => p.form == form) Fragments.English.Pronouns.allPronouns