../../tptp_grafite/parser.mly