pdfGenerating Text with a Theorem ProverIvan I. GaribayProceedings of the ANLP-NAACL 2000 Student Research Workshop