The long-term goal is to have a complete port of https://pydelphin.readthedocs.io/ to Lean and even more tools from the https://github.com/delph-in/docs/wiki. The short-term goal is to port enough of PyDelphin to allow the port of http://github.com/ibm/MRS-Logic to Lean.
You need to have Ace parser installed and in the PATH to be executed by the Lean code.
You need to have the English Resource
Grammar compiled with Ace
(e.g. erg.dat) available. For now, you will need to manually adjust
the location of this file in the run_ace function definition.
You need to obtain the last release of Utool and save the utool.jar
file in the root folder of this repo if you want to perform
quantifiers scope resolution. Utool 3.4 can be downloaded from
here.