<?xml version="1.0" standalone="yes"?>
<Paper uid="P88-1010">
  <Title>An Integrated Framework for Semantic and Pragmatic Interpretation 1</Title>
  <Section position="3" start_page="75" end_page="75" type="intro">
    <SectionTitle>
2 Conditional
</SectionTitle>
    <Paragraph position="0"/>
    <Section position="1" start_page="75" end_page="75" type="sub_section">
      <SectionTitle>
Interpretations
</SectionTitle>
      <Paragraph position="0"> In our approach to semantic and pragmatic interpretation, conditional interpretations separate the context-independent aspects of an interpretation from those that are context-dependent. Each conditional interpretation consists of a sense and a \[possibly empty\] set of assumptions. As a first approximation, one might think of the sense of a phrase as representing purely semantic information, that is, information that can be adduced solely from the linguistic content of the phrase, no matter in which context the phrase has been uttered. The assumptions then represent constraints relating the phrase's sense to its ultimate interpretation. A complete interpretation has an empty assumption set, indicating that all of its dependencies on context have been resolved.</Paragraph>
      <Paragraph position="1"> The present version of the theory allows for two kinds of assumptions. A bind assumption introduces a new parameter in an interpretation and places constraints on the binding of the parameter to individuals in the context. A restrict assumption does not introduce a new parameter, but instead further restricts the way in which an existing parameter can be bound.</Paragraph>
      <Paragraph position="2"> These concepts are illustrated by the following conditional interpretation of the sentence &amp;quot;The jet failed&amp;quot;: \[\[&amp;quot;The jet failed&amp;quot;\] = (fail(z), {bind(z, def, jet)}) (:) The first element of the interpretation is the sense fail(z), while the second is the set of assumptions containing a single assumption whose informal reading is that z should be bound to something of the sort jet according to the constraints of definite reference.</Paragraph>
    </Section>
  </Section>
class="xml-element"></Paper>