Language and Logic: tools for the semantic study of natural language Henriëtte de Swart Barcelona, May 2005.