Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets