public static Stella_Object kifInvertSentence(Stella_Object tree) {
    if (Stella_Object.consP(tree) &&
        (((Cons)(tree)).value == Logic.SYM_STELLA_NOT)) {
      return (((Cons)(tree)).rest.value);
    }
    else {
      return (Cons.list$(Cons.cons(Logic.SYM_STELLA_NOT, Cons.cons(tree, Cons.cons(Stella.NIL, Stella.NIL)))));
    }
  }