instruction:
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.
question:
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 ) .
answer:
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 .

question:
A decisive victory is a military victory in battle that definitively resolves the objective being fought over , ending one stage of the conflict and beginning another stage .
answer:
The term decisive victory refers to a military victory that decides a matter or a conflict .

question:
The 1999 FIA Formula One World Championship was the 53rd season of Fe de ration Internationale de l 'Automobile ( FIA ) Formula One motor racing .
answer:
The 1999 Formula One season was the 50th edition of the championship .