I am trying to extract parser for TPTP language http://www.tptp.org/ from the Java/Scala project (quite heavy) https://github.com/leoprover/Leo-III in which such parser is a
