create-session SUCCESS :SESSION symbol Repeat TELL "define" :SESSION" REQUEST solve symbol SUCCESS :SOLUTION Lisp_expression :STATISTICS Lisp_expression