HPSG Interpretation of Fragment Entries

@cite{pollard-sag-1994}, @cite{sag-wasow-bender-2003}

Maps Fragment lexical entries to HPSG Signs (words with appropriate Synsem).

This is the theory interpretation layer: Fragment entries are theory-neutral, and this module provides the HPSG-specific interpretation.

Design

• VerbEntry → Sign: based on complement type, sets HEAD and VAL
• PronounEntry → Sign: NP-like signs with MODE content feature
• NounEntry → Sign: N or NP depending on proper/common; [MODE ref]
• QuantifierEntry → Sign: determiners

MODE Mapping (per @cite{sag-wasow-bender-2003} Ch. 7)

• Reflexives/reciprocals → [MODE ana]
• Personal pronouns → [MODE ref]
• R-expressions (names) → [MODE ref]

def HPSG.FromFragments.verbToValence (v : Fragments.English.Predicates.Verbal.VerbEntry) : Valence

Map a VerbEntry's complement type to an HPSG Valence.

The mapping follows standard HPSG practice:

• Intransitive: SUBJ ⟨NP⟩, COMPS ⟨⟩
• Transitive: SUBJ ⟨NP⟩, COMPS ⟨NP⟩
• Ditransitive: SUBJ ⟨NP⟩, COMPS ⟨NP, NP⟩
• Clause-embedding: SUBJ ⟨NP⟩, COMPS ⟨S⟩

Equations

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

def HPSG.FromFragments.verbToSign (v : Fragments.English.Predicates.Verbal.VerbEntry) : Sign

Map a VerbEntry to an HPSG Sign.

Equations

• HPSG.FromFragments.verbToSign v = HPSG.Sign.word v.toWord3sg { cat := UD.UPOS.VERB, val := HPSG.FromFragments.verbToValence v }

def HPSG.FromFragments.nounToSign (n : Fragments.English.Nouns.NounEntry) : Sign

Map a NounEntry to an HPSG Sign.

Proper names are NP (saturated); common nouns are N (unsaturated, needing a determiner). All nouns are [MODE ref].

Equations

• HPSG.FromFragments.nounToSign n = if n.proper = true then HPSG.Sign.word n.toWordSg { cat := UD.UPOS.PROPN } else HPSG.Sign.word n.toWordSg { cat := UD.UPOS.NOUN }

def HPSG.FromFragments.pronounTypeToContent (pt : Fragments.English.Pronouns.PronounType) : ContentFeatures

Derive HPSG content features from a PronounType.

Per @cite{sag-wasow-bender-2003} Ch. 7:

• reflexive/reciprocal → [MODE ana]
• personal and all others → [MODE ref]

Equations

• HPSG.FromFragments.pronounTypeToContent Fragments.English.Pronouns.PronounType.reflexive = { mode := HPSG.Mode.ana }
• HPSG.FromFragments.pronounTypeToContent Fragments.English.Pronouns.PronounType.reciprocal = { mode := HPSG.Mode.ana }
• HPSG.FromFragments.pronounTypeToContent pt = { }

def HPSG.FromFragments.pronounToSign (p : Fragments.English.Pronouns.PronounEntry) : Sign

Map a PronounEntry to an HPSG Sign with MODE content feature.

Equations

• HPSG.FromFragments.pronounToSign p = HPSG.Sign.word p.toWord { cat := UD.UPOS.PRON, cont := HPSG.FromFragments.pronounTypeToContent p.pronounType }

def HPSG.FromFragments.determinerToSign (d : Fragments.English.Determiners.QuantifierEntry) : Sign

Map a QuantifierEntry to an HPSG Sign.

Determiners select an N complement and yield an NP.

Equations

• HPSG.FromFragments.determinerToSign d = HPSG.Sign.word d.toWord { cat := UD.UPOS.DET, val := { comps := [UD.UPOS.NOUN] } }

def HPSG.FromFragments.lexResultToSign : Fragments.English.Lexicon.LexResult → Sign

Map a unified LexResult to an HPSG Sign.

Equations

• HPSG.FromFragments.lexResultToSign (Fragments.English.Lexicon.LexResult.verb v) = HPSG.FromFragments.verbToSign v
• HPSG.FromFragments.lexResultToSign (Fragments.English.Lexicon.LexResult.pronoun p) = HPSG.FromFragments.pronounToSign p
• HPSG.FromFragments.lexResultToSign (Fragments.English.Lexicon.LexResult.noun n) = HPSG.FromFragments.nounToSign n
• HPSG.FromFragments.lexResultToSign (Fragments.English.Lexicon.LexResult.determiner d) = HPSG.FromFragments.determinerToSign d

def HPSG.FromFragments.verbsToLexicon : List Sign

Build an HPSG lexicon (list of Signs) from all Fragment verbs.

Equations

• HPSG.FromFragments.verbsToLexicon = List.map HPSG.FromFragments.verbToSign Fragments.English.Predicates.Verbal.allVerbs

def HPSG.FromFragments.pronounsToLexicon : List Sign

Build an HPSG lexicon from all Fragment pronouns.

Equations

• HPSG.FromFragments.pronounsToLexicon = List.map HPSG.FromFragments.pronounToSign Fragments.English.Pronouns.allPronouns

def HPSG.FromFragments.nounsToLexicon : List Sign

Build an HPSG lexicon from all Fragment nouns.

Equations

• HPSG.FromFragments.nounsToLexicon = List.map HPSG.FromFragments.nounToSign Fragments.English.Nouns.allNouns

def HPSG.FromFragments.fragmentLexicon : List Sign

Complete HPSG lexicon derived from all Fragments.

Equations

• HPSG.FromFragments.fragmentLexicon = HPSG.FromFragments.verbsToLexicon ++ HPSG.FromFragments.pronounsToLexicon ++ HPSG.FromFragments.nounsToLexicon