tptp_parser.mly 30 KB