CLEARS - An Education and Research Tool for Computational Semantics
  The CLEARS (Computational Linguistics Education and Research for Semantics) tool provides a graphical interface allowing interactive construction of semantic representations in a variety of different formalisms, and using several construction methods. CLEARS was developed as part of the FraCaS project which was designed to encourage convergence between different semantic formalisms, such as Montague-Grammar, DRT, and Situation Semantics. The CLEARS system is freely available on the WWW from http://coli.uni-sb.de/~clears/clears.html 
David Milward (SRI Cambridge), Karsten Konrad, Holger Maier, Manfred   Pinkal (University of the Saarland)