The positive and negative examples are given as a conjunction E + {\displaystyle E^{+}} and E − {\displaystyle E^{-}} of unnegated and negated ground literals, respectively.
Позитивни и негативни примери су дати као целина E + {\displaystyle E^{+}} и E − {\displaystyle E^{-}} од unnegated и негираних подземних литерала, респективно.