Generating Text with a Theorem Prover Ivan I Garibay author 2000 text Proceedings of the ANLP-NAACL 2000 Student Research Workshop conference publication garibay-2000-generating https://aclanthology.org/A00-3003/ 2000