public static Cons makeRulesPattern(Stella_Object posrelation, Stella_Object negrelation) {
    return (Cons.cons(Logic.KWD_RULES, Cons.cons(((Stella.NIL == null) ? Stella.NIL : Stella.NIL), Cons.cons(posrelation, Cons.cons(negrelation, Stella.NIL)))));
  }