Text this: Intelligent information extraction using logical approach: skolemize clauses binding