public static Cons kifThreeArgumentForallToStellaForall(Cons tree, Cons declarations) {
    { Stella_Object antecedent = Logic.kifSentenceToUntypedStellaSentence(tree.rest.rest.value);
      Stella_Object consequent = Logic.kifSentenceToUntypedStellaSentence(tree.fourth());

      return (Cons.list$(Cons.cons(Logic.SYM_STELLA_FORALL, Cons.cons(declarations, Cons.cons(Cons.cons(antecedent, Cons.cons(consequent, Stella.NIL)), Stella.NIL)))));
    }
  }