<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_j7n0nuq2h7kif9k3nc5rgnreug, 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 />
please include function getThoughtSpace.

static void printThoughtSpaces() {
  for (ThoughtSpace ts : values(getThoughtSpace_map)) {
    print();
    print("Thought Space " + ts.globalID + ":\n");
    for (LispStatement s : values(ts.statements)) {
      printIndent("[" + s.globalID + "] " + lispToEnglish_prettier(s.term));
      printIndent("  " + s.term);
    }
    print();
  }
}