<?xml version="1.0" standalone="yes"?>
<Paper uid="N03-1022">
  <Title>COGEX: A Logic Prover for Question Answering</Title>
  <Section position="10" start_page="0" end_page="0" type="concl">
    <SectionTitle>
9 Discussion
</SectionTitle>
    <Paragraph position="0"> A logic prover brings several advantages to question answering, but at a high cost. Some advantages are: the capability of pinpointing exact answers that otherwise will be missed, answer justification, and a quantifiable measure of how close a system is to providing an answer.</Paragraph>
    <Paragraph position="1"> However, the implementation of a QA logic prover is expensive as it requires logic representation of text, world knowledge axioms and a large number of linguistic axioms, that all take time to develop.</Paragraph>
  </Section>
class="xml-element"></Paper>