<?xml version="1.0" standalone="yes"?>
<Paper uid="E93-1039">
  <Title>apos;Structure and Usage of Current Bell Labs Text</Title>
  <Section position="4" start_page="332" end_page="332" type="intro">
    <SectionTitle>
2 CCG-Based Prosody
</SectionTitle>
    <Paragraph position="0"> We will assume a standard CCG of the kind discussed in \[11\], \[12\], and \[13\]. For example, we shall write the category of a transitive verb like prefers either abbreviated, as in (2)a, or in full as in (2)b: (2) a. (S\NP)/NP b. (S : include' z y\NP : y)/NF : z In b, syntactic types are paired with a semantic interpretation via the colon operator, and the category is that of a function from NPs (with interpretation x) to functions from NPs (with interpretation y) to Ss (with interpretation include' z y). Constants in interpretations bear primes, variables do not, and there is a convention of left associativity.</Paragraph>
    <Paragraph position="1"> We also need the following two rules of functional application, where X and Y are variables over categories in either notation:</Paragraph>
  </Section>
class="xml-element"></Paper>