please include function getThoughtSpace.

static void printThoughtSpaces() {
  printThoughtSpaces(false);
}

static void printThoughtSpaces_englishOnly() {
  printThoughtSpaces(true);
}

static void printThoughtSpaces(bool englishOnly) {
  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));
      if (!englishOnly)
        printIndent("  " + s.term);
    }
    print();
  }
}