(|frame_invariants|
 (|cur_state_TCC1| "" (TERMINATION-TCC) NIL) (|cur_frame_TCC1| "" (SUBTYPE-TCC) NIL)
 (|holding_TCC1| "" (SUBTYPE-TCC) NIL)
 (|frame_holding_TCC1| "" (SKOSIMP*) (("" (EXPAND "holding") (("" (GROUND) NIL)))))
 (|frame_holding| "" (SKOSIMP*)
  (("" (EXPAND "holding")
    (("" (LIFT-IF)
      (("" (EXPAND "hold_until")
        (("" (LIFT-IF)
          (("" (SPLIT -2)
            (("1" (GRIND) NIL)
             ("2" (SPLIT -2)
              (("1" (GROUND) NIL)
               ("2" (EXPAND "cur_frame" 1 3)
                (("2" (GROUND)
                  (("1" (EXPAND "holding") (("1" (PROPAX) NIL)))
                   ("2" (EXPAND "holding") (("2" (PROPAX) NIL)))))))))))))))))))))
 (|AAH_started_exit| "" (FRAME-UNTIL "inputs") NIL)
 (|pressed_once_exit| "" (FRAME-UNTIL "inputs") NIL)
 (|pressed_twice_exit| "" (FRAME-UNTIL "inputs") NIL)
 (|no_rot_no_ignore| "" (FRAME-UNTIL "inputs") NIL)
 (|rot_cmd_ignore| "" (FRAME-UNTIL "inputs") NIL)
 (|ignore_stays_on_starting| "" (FRAME-UNTIL "inputs") NIL)
 (|ignore_stays_off_starting| "" (FRAME-UNTIL "inputs") NIL)
 (|rot_cmd_inactive| "" (FRAME-UNTIL "inputs") NIL)
 (|active_until_rot_cmd| "" (FRAME-UNTIL "inputs") NIL)
 (|msg_display_holding| "" (FRAME-UNTIL "inputs") NIL)
 (|closing_path_duration| "" (FRAME-UNTIL "inputs") NIL))