Encoding English Sentences as Propositional Logic sentences