svoid lispSolveQuestionVerbose(S q) {
  Lisp l = englishToLisp(q);
  print(q);
  openThoughtSpace();
  fromUser(lisp("vouwrrhtmajsgaby", l)); // emit question
  //set applyAlwaysRules_step_debug;
  applyRules();
  printEnglishStatements(lispTruth1("nywfcwkkcknzhmdy"));
  //printLispStatements();
  thoughtSpace(null);
}