public static Cons helpDefineKeywordAxioms(Symbol selfname, Keyword key, Stella_Object value) {
    { Cons axioms = Stella.NIL;
      Symbol relationname = Symbol.internSymbol(key.symbolName);

      if (Stella_Object.symbolP(value) &&
          Stella.stringEqualP(((Symbol)(value)).symbolName, "TRUE")) {
        axioms = Cons.cons(relationname, Cons.cons(selfname, Stella.NIL));
      }
      else if (Stella_Object.symbolP(value) &&
          Stella.stringEqualP(((Symbol)(value)).symbolName, "FALSE")) {
        axioms = Cons.list$(Cons.cons(Logic.SYM_STELLA_NOT, Cons.cons(Cons.cons(relationname, Cons.cons(selfname, Stella.NIL)), Cons.cons(Stella.NIL, Stella.NIL))));
      }
      else if (Stella_Object.consP(value) &&
          (!Stella.getQuotedTree("((SETOFALL KAPPA) \"/LOGIC\")", "/LOGIC").membP(((Cons)(value)).value))) {
        { Stella_Object val = null;
          Cons iter000 = ((Cons)(value));
          Cons collect000 = null;

          for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            val = iter000.value;
            if (collect000 == null) {
              {
                collect000 = Cons.cons(Cons.cons(relationname, Cons.cons(selfname, Cons.cons(val, Stella.NIL))), Stella.NIL);
                if (axioms == Stella.NIL) {
                  axioms = collect000;
                }
                else {
                  Cons.addConsToEndOfConsList(axioms, collect000);
                }
              }
            }
            else {
              {
                collect000.rest = Cons.cons(Cons.cons(relationname, Cons.cons(selfname, Cons.cons(val, Stella.NIL))), Stella.NIL);
                collect000 = collect000.rest;
              }
            }
          }
        }
      }
      else {
        axioms = Cons.cons(relationname, Cons.cons(selfname, Cons.cons(value, Stella.NIL)));
      }
      return (axioms);
    }
  }