public static Cons makeRelationExtensionPattern(Surrogate relation) {
    return (Cons.cons(Logic.KWD_RELATION, Cons.cons(((Stella.NIL == null) ? Stella.NIL : Stella.NIL), Cons.cons(relation, Stella.NIL))));
  }