public static Cons translateLoomAnnotations(Stella_Object annotations, Symbol name) {
    if (!Stella_Object.consP(annotations)) {
      annotations = Cons.consList(Cons.cons(annotations, Stella.NIL));
    }
    { Cons axioms = Stella.NIL;

      { Stella_Object term = null;
        Cons iter000 = ((Cons)(annotations));

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          term = iter000.value;
          if (!Stella_Object.consP(term)) {
            term = Cons.consList(Cons.cons(term, Stella.NIL));
          }
          { Cons clause = ((Cons)(term));

            axioms = Cons.cons(Cons.cons(clause.value, Cons.cons(name, clause.rest.concatenate(Stella.NIL, Stella.NIL))), axioms);
          }
        }
      }
      return (((Cons)(Logic.conjoinSentences(axioms))));
    }
  }