Solving Winograd Schema Challenge: using semantic parsing, automatic knowledge acquisition and logical reasoning