* @param body
   * @return Stella_Object
   */
  public static Stella_Object withinClassificationSession(Keyword descriptionorinstance, Cons body) {
    return (Cons.list$(Cons.cons(Logic.SYM_STELLA_SPECIAL, Cons.cons(Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_$CLASSIFICATIONSESSION$, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_GET_CLASSIFICATION_SESSION, Cons.cons(descriptionorinstance, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_$CONTEXT$, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CLASSIFICATION_WORLD, Cons.cons(Logic.SYM_LOGIC_$CLASSIFICATIONSESSION$, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(body.concatenate(Stella.NIL, Stella.NIL), Stella.NIL)))));
  }