<?xml version="1.0" standalone="yes"?>
<Paper uid="P06-2105">
  <Title>Sydney, July 2006. c(c)2006 Association for Computational Linguistics A Logic-based Semantic Approach to Recognizing Textual Entailment</Title>
  <Section position="10" start_page="825" end_page="825" type="concl">
    <SectionTitle>
8 Conclusion
</SectionTitle>
    <Paragraph position="0"> In this paper, we present a logic form representation of knowledge which captures syntactic dependencies as well as semantic relations between concepts and includes special temporal predicates.</Paragraph>
    <Paragraph position="1"> We implemented several changes to our Word-Net lexical chains module which lead to fewer unsound axioms and incorporated in our logic prover semantic and temporal axioms which decrease its dependence on world knowledge. We plan to improve our logic prover to detect false entailments even when the two texts have a high word overlap and expand our axiom set.</Paragraph>
  </Section>
class="xml-element"></Paper>