Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets Sylvain Pogodalla author 2000 text 1st Meeting of the North American Chapter of the Association for Computational Linguistics conference publication pogodalla-2000-generation https://aclanthology.org/A00-2010/ 2000