public static Stella_Object kifExpressionToUntypedStellaExpression(Stella_Object tree) {
    if (Stella_Object.safePrimaryType(tree) == Logic.SGT_STELLA_CONS) {
      { Cons tree000 = ((Cons)(tree));

        if (Stella_Object.symbolP(tree000.value)) {
          { GeneralizedSymbol testValue000 = ((GeneralizedSymbol)(tree000.value));

            if ((testValue000 == Logic.SYM_LOGIC_THE) ||
                ((testValue000 == Logic.SYM_LOGIC_SETOFALL) ||
                 (testValue000 == Logic.SYM_LOGIC_KAPPA))) {
              return (Logic.kifTermToUntypedStellaTerm(tree000));
            }
            else {
            }
          }
        }
      }
    }
    else {
    }
    tree = Logic.wrapKifWithForall(tree, Stella.NIL);
    return (Logic.kifSentenceToUntypedStellaSentence(tree));
  }