public static Cons makeDependentPropositionsPattern(Stella_Object argument) {
    return (Cons.cons(Logic.KWD_DEPENDENTS, Cons.cons(((Stella.NIL == null) ? Stella.NIL : Stella.NIL), Cons.cons(argument, Stella.NIL))));
  }