an xtext based parser for the tptp grammer.