<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_fk9qfueq0k1d1f8bhnvh60kgc7, 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 />
srecord PatternMaker1_Strategy2(PatternMaker1 pm) implements Runnable {
  run {
    pm.new Strategy1().run();
    
    for (PatternMaker1.Theory t : values(pm.bestByComplexity)) {
      print("Have theory: " + t.pattern);
      for (PatternMaker1.Example e : filterWhere(t.unsolvedExamples(), pos := false))
        for (S negPat : ai_inputExampleToPossibleMMOPatterns1(e.text))
          pm.addPattern(print("Trying pattern", "(" + t.pattern + ") + !(" + negPat + ")"));
    }
  }
}