src: Um programa lógico com negação forte pode incluir as sentenças da suposição do mundo fechado para alguns de seus predicados e deixar outros predicados no domínio da suposição do mundo aberto.
tgt: A logic program with strong negation can include the closed world assumption rules for some of its predicates and leave the other predicates in the realm of the open world assumption.