public static Stella_Object moveDown() {
    return (Cons.list$(Cons.cons(Logic.SYM_STELLA_LET, Cons.cons(Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_UPFRAME, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_DOWNFRAME, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_DOWN, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_STELLA_DEPTH, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_1i, Cons.cons(Logic.SYM_STELLA_DEPTH, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CURRENT_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_QUERY, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_ii, Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_COND, Cons.cons(Cons.list$(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_DEFINEDp, Cons.cons(Logic.SYM_LOGIC_DOWNFRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Logic.SYM_LOGIC_DOWNFRAME, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_STARTING_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_AND, Cons.cons(Logic.SYM_LOGIC_CHECKFORMOVEOUTp, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_NULLp, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_1_, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_UPFRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_TRUTH_VALUE, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_STELLA_NULL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_JUSTIFICATION, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_STELLA_NULL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_DEFINEDp, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_PARTIAL_MATCH_FRAME, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CLEAR_FRAME_PARTIAL_TRUTH, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_PARTIAL_MATCH_FRAME, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(Logic.KWD_DOWN, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))))))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_OTHERWISE, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_LET, Cons.cons(Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_PROPOSITION, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ARGUMENT_BOUND_TO, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_NTH, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_ARGUMENTS, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_PROPOSITION, Cons.cons(Logic.SYM_LOGIC_UPFRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ARGUMENT_CURSOR, Cons.cons(Logic.SYM_LOGIC_UPFRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Stella.NIL), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_DOWNFRAME, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CREATE_DOWN_FRAME, Cons.cons(Logic.SYM_LOGIC_UPFRAME, Cons.cons(Logic.SYM_LOGIC_PROPOSITION, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Logic.SYM_LOGIC_DOWNFRAME, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_STARTING_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Logic.SYM_LOGIC_CHECKFORMOVEOUTp, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETF, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_1_, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_UPFRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(Logic.KWD_DOWN, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_AND, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_g, Cons.cons(Logic.SYM_STELLA_DEPTH, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_CURRENT_DEPTH_CUTOFF, Cons.cons(Logic.SYM_LOGIC_QUERY, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_EQLp, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_STATE, Cons.cons(Logic.SYM_LOGIC_UPFRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Logic.KWD_PATTERN, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_POP_FRAMES_UP_TO, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_MV_SETQ, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Logic.SYM_STELLA_DEPTH, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_HANDLE_DEPTH_VIOLATION, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Logic.SYM_STELLA_DEPTH, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(Logic.KWD_UP_FAIL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Logic.SYM_LOGIC_CHECKFORMOVEOUTp, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_AND, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_le, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(IntegerWrapper.wrapInteger(0), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_NOT, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_EQLp, Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(Logic.KWD_UP_FAIL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_POP_FRAMES_UP_TO, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_MV_SETQ, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Logic.SYM_STELLA_DEPTH, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_HANDLE_TIMEOUT, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Logic.SYM_STELLA_DEPTH, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_SETQ, Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(Logic.KWD_UP_FAIL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_WHEN, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_EQLp, Cons.cons(Logic.SYM_LOGIC_LASTMOVE, Cons.cons(Logic.KWD_UP_FAIL, Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA___, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_ALLOTTED_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_FRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA_1i, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_STELLA__, Cons.cons(Logic.SYM_LOGIC_CLOCKTICKS, Cons.cons(Cons.list$(Cons.cons(Logic.SYM_LOGIC_STARTING_CLOCK_TICKS, Cons.cons(Logic.SYM_LOGIC_DOWNFRAME, Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL))))), Cons.cons(Stella.NIL, Stella.NIL)))))), Cons.cons(Stella.NIL, Stella.NIL))))))))));
  }