Text this: Skolem preprocessing using WordNet and lexicon in building effective knowledge representation