Logical form in Natural Language