Through logic inference, some implicit knowledge behind the text can be mined.
it is not easy to translate the natural language text into formal logic expressions and the translation process inevitably suffer from great information loss.