<?xml version="1.0" standalone="yes"?>
<Paper uid="W04-0840">
  <Title>Senseval 3 Logic Forms: A System and Possible Improvements</Title>
  <Section position="3" start_page="0" end_page="0" type="intro">
    <SectionTitle>
1 Introduction
</SectionTitle>
    <Paragraph position="0"> Logic Forms are first order logic representations of natural language text. The notation is very close to the natural language. A Logic Form is a collection of predicate instances derived from text. A detailed description of the notation is presented in Moldovan and Rus (2001).</Paragraph>
    <Paragraph position="1"> Logic Forms can be utilized by a wide variety of applications. A Logic Prover (Rus, 2002; Moldovan et al., 2003) utilizing the axioms generated by the Logic Form generation system boosts the performance of the Question Answering system. The Prover essentially takes as input the Logic Forms of the question and one or more answers and then proceeds to justify (and rank) the answers based on (i) world knowledge axioms, and (ii) NLP axioms. The Logic Prover developed at Language Computer Corporation has increased the performance of the QA system by 30%.</Paragraph>
  </Section>
class="xml-element"></Paper>