public List<Symbol> getComplementedSymbols() { return SetOps.union(positiveInClause1NegativeInClause2, negativeInClause1PositiveInClause2); }