public static Cons kifTwoArgumentForallToStellaForall(Cons tree, Cons declarations) {
    { Stella_Object sentence = Logic.kifSentenceToUntypedStellaSentence(tree.rest.rest.value);

      if (Stella_Object.safePrimaryType(sentence) == Logic.SGT_STELLA_CONS) {
        { Cons sentence000 = ((Cons)(sentence));

          { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(sentence000.value));

            if (testValue000 == Logic.SYM_STELLA_AND) {
              { Cons foralls = Stella.NIL;

                { Stella_Object conjunct = null;
                  Cons iter000 = sentence000.rest;

                  for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
                    conjunct = iter000.value;
                    foralls = Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_FORALL, Cons.cons(Stella_Object.copyConsTree(tree.rest.value), Cons.cons(Cons.cons(conjunct, Stella.NIL), Stella.NIL)))), foralls);
                  }
                }
                return (((Cons)(Logic.kifSentenceToUntypedStellaSentence(Cons.cons(Logic.SYM_STELLA_AND, foralls.concatenate(Stella.NIL, Stella.NIL))))));
              }
            }
            else if (testValue000 == Logic.SYM_STELLA_OR) {
              { Stella_Object antecedent = Logic.kifInvertSentence(sentence000.rest.value);
                Stella_Object consequent = sentence000.rest.rest.value;

                return (Cons.list$(Cons.cons(Logic.SYM_STELLA_FORALL, Cons.cons(declarations, Cons.cons(Cons.cons(antecedent, Cons.cons(consequent, Stella.NIL)), Stella.NIL)))));
              }
            }
            else if (testValue000 == Logic.SYM_STELLA_FORALL) {
              { Stella_Object v = null;
                Cons iter001 = declarations;

                for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
                  v = iter001.value;
                  sentence000.secondSetter(Cons.cons(v, ((Cons)(sentence000.rest.value))));
                }
              }
              return (sentence000);
            }
            else if (testValue000 == Logic.SYM_LOGIC_ABOUT) {
              return (Cons.list$(Cons.cons(Logic.SYM_LOGIC_ABOUT, Cons.cons(Logic.kifSentenceToUntypedStellaSentence(Cons.list$(Cons.cons(Logic.SYM_STELLA_FORALL, Cons.cons(declarations, Cons.cons(Cons.cons(sentence000.rest.value, Stella.NIL), Stella.NIL))))), Cons.cons(sentence000.rest.rest.concatenate(Stella.NIL, Stella.NIL), Stella.NIL)))));
            }
            else {
            }
          }
        }
      }
      else {
      }
      return (Cons.list$(Cons.cons(Logic.SYM_STELLA_FORALL, Cons.cons(declarations, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_TRUE, Cons.cons(sentence, Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL)))));
    }
  }