Logical Reasoning over Natural Language as Knowledge Representation: A Survey