<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_50abdvpjtqdlro7p4b1kevnh72, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
// 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 + ")"));
  }
}