public static Cons translateLoomCharacteristics(Stella_Object characteristics, Symbol name) {
    { Cons axioms = Stella.NIL;

      if (!Stella_Object.consP(characteristics)) {
        characteristics = Cons.consList(Cons.cons(characteristics, Stella.NIL));
      }
      { Stella_Object ch = null;
        Cons iter000 = ((Cons)(characteristics));

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          ch = iter000.value;
          { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(ch));

            if (testValue000 == Logic.KWD_SINGLE_VALUED) {
            }
            else if (testValue000 == Logic.KWD_CLOSED_WORLD) {
              axioms = Cons.cons(Cons.list$(Cons.cons(Logic.SYM_PL_KERNEL_KB_CLOSED, Cons.cons(name, Cons.cons(Stella.NIL, Stella.NIL)))), axioms);
            }
            else if (testValue000 == Logic.KWD_COMMUTATIVE) {
              axioms = Cons.cons(Cons.list$(Cons.cons(Logic.SYM_PL_KERNEL_KB_COMMUTATIVE, Cons.cons(name, Cons.cons(Stella.NIL, Stella.NIL)))), axioms);
            }
            else if (testValue000 == Logic.KWD_SYMMETRIC) {
              axioms = Cons.cons(Cons.list$(Cons.cons(Logic.SYM_PL_KERNEL_KB_SYMMETRIC, Cons.cons(name, Cons.cons(Stella.NIL, Stella.NIL)))), axioms);
            }
            else if ((testValue000 == Logic.KWD_CLOS_CLASS) ||
                ((testValue000 == Logic.KWD_MULTIPLE_VALUED) ||
                 ((testValue000 == Logic.KWD_HASH_ON_DOMAINS) ||
                  ((testValue000 == Logic.KWD_NON_EXPORTED) ||
                   ((testValue000 == Logic.KWD_PERFECT) ||
                    ((testValue000 == Logic.KWD_CLOSED_ON_CONSTANTS) ||
                     ((testValue000 == Logic.KWD_BACKWARD_CHAINING) ||
                      ((testValue000 == Logic.KWD_MONOTONIC) ||
                       (testValue000 == Logic.KWD_TEMPORAL))))))))) {
            }
            else {
              {
                System.out.println("Skipping unimplemented relation characteristic: `" + ch + "'");
                System.out.println("   in Loom definition of: `" + name + "'");
                System.out.println();
              }
;
            }
          }
        }
      }
      return (((Cons)(Logic.conjoinSentences(axioms))));
    }
  }