private List<Literal> invert(List<Literal> lits) { List<Literal> invLits = new List<Literal>(); foreach (Literal l in lits) { invLits.Add(new Literal(l.getAtomicSentence(), (l .isPositiveLiteral() ? true : false))); } return invLits; }