public static Stella_Object signalPropositionWarning(Cons message) {
    return (Cons.list$(Cons.cons(Logic.SYM_STELLA_SPECIAL, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_$PRINTREADABLYp$, Cons.cons(Logic.SYM_STELLA_TRUE, Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_PRINT_STREAM, Cons.cons(Logic.SYM_STELLA_STANDARD_WARNING, Cons.cons(StringWrapper.wrapString("WARNING: "), Cons.cons(message.concatenate(Cons.cons(Logic.SYM_STELLA_EOL, Stella.NIL), Stella.NIL), Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_HELP_SIGNAL_PROPOSITION_ERROR, Cons.cons(Logic.SYM_STELLA_STANDARD_WARNING, Cons.cons(Logic.KWD_WARNING, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))))));
  }