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.

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

It is presented annually by the Australian Film Institute .
The Australian Academy of Cinema and Television Arts Awards , known as the AACTA Awards , are presented annually by the Australian Academy of Cinema and Television Arts ( AACTA ) .

In astronomy , cosmogony is the study of the origin of things like the universe , the Solar System , or the Earth – Moon system .

In astronomy , cosmogony refers to the study of the origin of particular astrophysical objects or systems , and is most commonly used in reference to the origin of the universe , the Solar System , or the Earth – Moon system .