srecord PatternMaker1_Strategy2(PatternMaker1 pm) {
  run {
    pm.new Strategy1().run();
    
    PatternMaker1.Theory t = pm.bestByComplexityClass.get(1)!;
    if (t != null)
      for (PatternMaker1.Example e : t.unsolvedExamples())
        for (S negPat : ai_inputExampleToPossibleMMOPatterns1(e.text))
          pm.addPattern("(" + t.pattern + ") + !(" + negPat + ")");
  }
}