Computational Linguistics and Logic