Semantic Parser translates sentences of English into sentences of predicate logic, and then generates conclusions or checks given conclusions.
Requires sbt.
$ sbt "run input/multiple.txt"
See the project report under the documentation/ folder for lots more details.