CCG Interpretation of Fragment Entries

Maps Fragment lexical entries to CCG categories.

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

Design

• VerbEntry → CCG.Cat: based on complement type and valence
• PronounEntry → CCG.Cat: NP for personal/reflexive, complex for wh-
• NounEntry → CCG.Cat: N for common nouns, NP for proper names
• QuantifierEntry → CCG.Cat: NP/N for determiners

Example

VerbEntry.sleep (intransitive) → S\NP (IV)
VerbEntry.eat (transitive) → (S\NP)/NP (TV)
VerbEntry.give (ditransitive) → ((S\NP)/NP)/NP (DTV)

def CCG.FromFragments.verbToCat (v : Fragments.English.Predicates.Verbal.VerbEntry) : Cat

Map a VerbEntry's complement type to a CCG category.

The mapping follows standard CCG practice:

• Intransitive: S\NP
• Transitive: (S\NP)/NP
• Ditransitive: ((S\NP)/NP)/NP
• Clause-embedding: (S\NP)/S

Equations

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

def CCG.FromFragments.pronounToCat (p : Fragments.English.Pronouns.PronounEntry) : Cat

Map a PronounEntry to a CCG category.

Equations

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

def CCG.FromFragments.nounToCat (n : Fragments.English.Nouns.NounEntry) : Cat

Map a NounEntry to a CCG category.

Equations

• CCG.FromFragments.nounToCat n = if n.proper = true then CCG.NP else CCG.N

def CCG.FromFragments.determinerToCat (_d : Fragments.English.Determiners.QuantifierEntry) : Cat

Map a QuantifierEntry to a CCG category.

Determiners are NP/N: they take a noun and produce an NP.

Equations

• CCG.FromFragments.determinerToCat _d = CCG.Det

def CCG.FromFragments.lexResultToCat : Fragments.English.Lexicon.LexResult → Cat

Map a unified LexResult to a CCG category.

Equations

• CCG.FromFragments.lexResultToCat (Fragments.English.Lexicon.LexResult.verb v) = CCG.FromFragments.verbToCat v
• CCG.FromFragments.lexResultToCat (Fragments.English.Lexicon.LexResult.pronoun p) = CCG.FromFragments.pronounToCat p
• CCG.FromFragments.lexResultToCat (Fragments.English.Lexicon.LexResult.noun n) = CCG.FromFragments.nounToCat n
• CCG.FromFragments.lexResultToCat (Fragments.English.Lexicon.LexResult.determiner d) = CCG.FromFragments.determinerToCat d

def CCG.FromFragments.lexResultToEntry (r : Fragments.English.Lexicon.LexResult) : LexEntry

Convert a LexResult to a CCG LexEntry.

Equations

• CCG.FromFragments.lexResultToEntry (Fragments.English.Lexicon.LexResult.verb v) = { form := v.form3sg, cat := CCG.FromFragments.verbToCat v }
• CCG.FromFragments.lexResultToEntry (Fragments.English.Lexicon.LexResult.pronoun p) = { form := p.form, cat := CCG.FromFragments.pronounToCat p }
• CCG.FromFragments.lexResultToEntry (Fragments.English.Lexicon.LexResult.noun n) = { form := n.formSg, cat := CCG.FromFragments.nounToCat n }
• CCG.FromFragments.lexResultToEntry (Fragments.English.Lexicon.LexResult.determiner d) = { form := d.form, cat := CCG.FromFragments.determinerToCat d }

def CCG.FromFragments.parseToLexEntries (s : String) : Option (List LexEntry)

Parse a sentence and produce CCG lexical entries.

Equations

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

def CCG.FromFragments.verbsToLexicon : List LexEntry

Build a CCG lexicon from all Fragment verbs.

Equations

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

def CCG.FromFragments.pronounsToLexicon : List LexEntry

Build a CCG lexicon from all Fragment pronouns.

Equations

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

def CCG.FromFragments.nounsToLexicon : List LexEntry

Build a CCG lexicon from all Fragment nouns.

Equations

• CCG.FromFragments.nounsToLexicon = List.map (fun (n : Fragments.English.Nouns.NounEntry) => { form := n.formSg, cat := CCG.FromFragments.nounToCat n }) Fragments.English.Nouns.allNouns

def CCG.FromFragments.determinersToLexicon : List LexEntry

Build a CCG lexicon from all Fragment determiners.

Equations

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

def CCG.FromFragments.fragmentLexicon : Lexicon

Complete CCG lexicon derived from all Fragments.

Equations

• CCG.FromFragments.fragmentLexicon = CCG.FromFragments.verbsToLexicon ++ CCG.FromFragments.pronounsToLexicon ++ CCG.FromFragments.nounsToLexicon ++ CCG.FromFragments.determinersToLexicon