<?xml version="1.0" standalone="yes"?>
<Paper uid="W05-1503">
  <Title>Switch Graphs for Parsing Type Logical Grammars[?]</Title>
  <Section position="3" start_page="0" end_page="0" type="intro">
    <SectionTitle>
1 Introduction
</SectionTitle>
    <Paragraph position="0"> Following Montague (1970), we take the goal of a theory of grammar to be that of assigning semantic terms to linguistic expressions.</Paragraph>
    <Paragraph position="1"> Type logical grammar is a paradigm for developing grammatical theories based on a strong notion of typing for natural language expressions. Specifically, each linguistic expression is assigned a syntactic type and a semantic term.</Paragraph>
    <Paragraph position="2"> For instance, the expression &amp;quot;John read the book&amp;quot; of English might be assigned a syntactic type S and the semantic term read(the(book))(j), [?]Supported by CICYT project TIC2002-04019-C03-01.</Paragraph>
    <Paragraph position="3"> the expression &amp;quot;book that John read&amp;quot; the term that(lx.read(x)(j))(book) and type CN, and &amp;quot;person that read the book&amp;quot; the type CN and term that(ly.read(the(book))(y))(person).</Paragraph>
  </Section>
class="xml-element"></Paper>