First, it does not only contain the constraints derived from equating a literal with the head of a fresh variant of a clause, but also the constraints of the body of clauses.
Прво, она не садржи само ограничења која проистичу из изједначавања буквално са главом свеже варијантне клаузуле, већ и ограничења тела клаузула.