// adds negations to best theories by complexity
runnable srecord PatternMaker1_Strategy2(PatternMaker1 pm) {
  pm.new Strategy1().run();
  
  for (PatternMaker1.Theory t : values(pm.bestByComplexity)) {
    print("Have theory: " + t.pattern + ", unsolved: " + t.unsolvedExamples());
    for (PatternMaker1.Example e : filterWhere(t.unsolvedExamples(), pos := false))
      for (S negPat : ai_inputExampleToPossibleMMOPatterns1(e.text))
        pm.addPattern(print("Trying pattern", "(" + t.pattern + ") + !(" + negPat + ")"));
  }
}