In this task, we ask you to rewrite a sentence in simple English without changing its general meaning. Essentially, you want to make the sentence easier to read by using simpler words, utilizing more straightforward sentence structures, and omitting non-essential information etc.

Input: Consider Input: A Horn clause with exactly one positive literal is a definite clause or a strict Horn clause ; a definite clause with no negative literals is sometimes called a unit clause , and a unit clause without variables is sometimes called a fact ; and a Horn clause without a positive literal is sometimes called a goal clause ( note that the empty clause consisting of no literals is a goal clause ) .

Output: A Horn clause with exactly one positive literal is a definite clause ; a definite clause with no negative literals is sometimes called a “ fact ” ; and a Horn clause without a positive literal is sometimes called a goal clause .


Input: Consider Input: A starburst galaxy is a galaxy undergoing an exceptionally high rate of star formation , as compared to the long-term average rate of star formation in the galaxy or the star formation rate observed in most other galaxies .

Output: A starburst galaxy is a galaxy with a very high rate of star formation .


Input: Consider Input: The iPhone 4S introduced a new automated voice control system called Siri , that allows the user to give the iPhone commands , which it can execute and respond to .


Output: The iPhone 4S introduced a new automated voice control system called " Siri " .


