<?xml version="1.0" standalone="yes"?>
<Paper uid="C96-2197">
  <Title>An Education and Research Tool for Computational Semantics</Title>
  <Section position="2" start_page="0" end_page="0" type="intro">
    <SectionTitle>
1 Introduction
</SectionTitle>
    <Paragraph position="0"> The CT,EARS tool (Computational Linguistics Education and Research Tool in Semantics) was developed as part of the FraCaS project 1 which aimed to encourage convergence between different semantic formalisms. Although formalisms such as Intensional Logic, DR?l', and Situation Semantics look different on first sight, they share many common assumptions, and provide similar treatmeats of many phenomena. The CLEARS tool allows exploration and comparison of these different formalisms, enabling the user to get an idea of the range of possibilities of semantic construction. It is intended to be used as both a research tool and a tutoriM tool.</Paragraph>
    <Paragraph position="1"> The first part of the paper shows the potential of the system for investigating the properties of different seinantic formMisms, and for teaching students formal semantics. The next section outlines the library contents and the system architecture, which was designed to reflect convergence between theories. The result is a highly modular and, we beliew~, a highly flexible system which</Paragraph>
    <Paragraph position="3"> allows user prograrns to be integrated at various levels. The final part of the paper describes the grapher which was designed as a stand alone tool which can be used by various applications.</Paragraph>
  </Section>
class="xml-element"></Paper>