<?xml version="1.0" standalone="yes"?>
<Paper uid="W98-0309">
  <Title>Similarity and contrast relations and inductive rules</Title>
  <Section position="3" start_page="54" end_page="54" type="intro">
    <SectionTitle>
POLARITY
POSITIVE
NEGATIVE
</SectionTitle>
    <Paragraph position="0"> I&amp;quot; is identical to }&amp;quot;; the presupposed rule succeeds.</Paragraph>
    <Paragraph position="1"> }&amp;quot; is inconsistent with Y': the presupposed rule fails.</Paragraph>
    <Paragraph position="2">  The POLARITY parameter maps Y onto a new variable Y'. In Examples 2 and 3, Y' should be identified with the conclusion C of the presupposed rule, to give the right interpretation. A case where Y' needs a different binding is given in the next section.</Paragraph>
    <Section position="1" start_page="54" end_page="54" type="sub_section">
      <SectionTitle>
2.2 UNILATERAL and BILATERAL relations
</SectionTitle>
      <Paragraph position="0"> The final parameter we will consider is called PAT- null TERN OF INSTANTIATION. This feature is motivated by examples such as the following: (4) John was tired, but there was work to do.  Clearly we do not want to say that this example presupposes a rule allowing inference from John being tired to there being no work to do. It is preferable to envisage a rule with two conditions in its left-hand side, saying that if John is tired and there is no work to do, he will go to bed. We can then associate the }&amp;quot; value with the second premise, rather than with the conclusion. The parameter determining the binding for Y' is given in Figure 3.</Paragraph>
    </Section>
  </Section>
class="xml-element"></Paper>