sS nodeToString(Node n) {
  if (n == null) ret "-";
  if (n << AIConcept) ret aiConceptToString2(n/AIConcept);
  if (n << Statement) ret statementToString(n/Statement);
  ret "?? " + n.globalID;
}