Logic for Natural Language Analysis