The `` unnegated '' and `` positive '' examples are given as a conjunction formula _ 1 and formula _ 2 of negative and negated ground literals , respectively .
The `` positive '' and `` negative '' examples are given as a conjunction formula _ 1 and formula _ 2 of unnegated and negated ground literals , respectively .