A Java parser for a subset of the TPTP langauge