In this task, we ask you to elaborate the sentence without changing its general meaning. You can do so by explaining further the input sentence, using more precise wording, adding qualifiers and auxiliary information etc.

Input: Consider Input: 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 .

Output: 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 ) .


Input: Consider Input: While criminal procedure differs by jurisdiction , the process generally begins with a formal criminal charge and results in the or acquittal of the defendant .

Output: While criminal procedure differs dramatically by jurisdiction , the process generally begins with a formal criminal charge with the person on trial either being free on bail or incarcerated , and results in the conviction or acquittal of the defendant .


Input: Consider Input: The Roman Kingdom was the monarchical government of the city of Rome and its territories .


Output: The Roman Kingdom , also referred to as the Roman monarchy , or the regal period of ancient Rome , was the earliest period of Roman history , when the city and its territory were ruled by kings .