A problem, G, which expresses either an observation that needs to be explained or a goal that is desired, is represented by a conjunction of positive and negative (NAF) literals.
Проблем G, који изражава или примедбу која треба да се објасни или циљ који се жели, представљен је заједно позитивне и негативне (НАФ) литерале.