Logical Structures in Natural Language