This page contains links to stuff I'm putting in the public domain. If you use my stuff, please give me credit as appropriate.
FraCaS textual inference test suite
The FraCaS test suite contains 346 textual inference problems. It was created by the FraCaS Consortium in 1996. I've represented the problems in XML format, converted the questions into declarative hypotheses, and generally cleaned things up a bit. For more details, see the intro to the XML document.