Codec.TPTP.Import
parse
parseFile
parseWithComment
parseWithCommentFile
data
Token