+++++++++++++++++++++++++
Source Code for the paper

   Michael Hahn and Frank Richter (2015), Henkin Semantics for
   Reasoning with Natural Language, Journal of Language Modelling

Contact: mhahn@sfs.uni-tuebingen.de
+++++++++++++++++++++++++


Prerequisites
-------------
- Prolog: The code was tested with
     SWI Prolog 6.6.1 on Linux
- Perl
- Inference Engines (references as given in the paper, with the versions used in the experiments)
     Spass (Weidenbach 2001) (Version 3.7)
     E (Schulz 2004) (Version E 1.8-001)
     Prover9 (McCune 2005–2010) (Version 2009-02A)
     Mace4 (McCune 2005–2010) (Version 2009-02A)


Installing and Running the Code
-------------
- Run Prolog in the src/ folder and consult HOI.pl.
- Refer to instructions.pdf for a workflow and a reference sheet.


Note
-------------
The code is derived from Version 1.3 of the source code of

      Patrick Blackburn & Johan Bos, Representation and Inference for 
      Natural Language
      
downloaded from http://www.let.rug.nl/bos/comsem/software1.html
(September 18, 2015), published under the GNU General Public License.
Note that the present adaptation does not fully preserve the original
functionality of the code by Blackburn & Bos. Files that have been
changed or added are marked as such.


License
-------------

This program is free software; you can redistribute it and/or modify it under
the terms of the GNU General Public License as published by the Free
Software Foundation; either version 2 of the License, or (at your
option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software Foundation, Inc.,
59 Temple Place, Suite 330, Boston, MA 02111-1307 USA




