public static String getTruthValueString(TruthValue tv) {
    { OutputStringStream ss = OutputStringStream.newOutputStringStream();

      TruthValue.printTruthValue(tv, ss);
      return (ss.theStringReader());
    }
  }