What Is Considered Formal Language Paraphraser