Open-Vocabulary Semantic Parsing with both Distributional Statistics and Formal Knowledge