an xtext based parser for the tptp grammer.  (can be used to generate a java parser, and may lead to an awesome eclipse plugin)