( (IP-IMP (ADVP-NIM (ADV Firstly;{firstly}))
          (PUNC ,)
          (VB;_Tn.pr_ put;{put[into]})
          (NP-OB1 (D some;{some})
                  (N time;{time}))
          (PP-CLR (P-ROLE into;{into})
                  (IP-PPL2 (VAG;_phr_Vn<=>p_ setting;{set[up]})
                           (RP up;{up})
                           (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                   (NS controls;{control}))))
          (PUNC .))
  (ID 22_a_freedoom))

arc(r_0022_0003__put,r_0022_0001__Firstly,nim).
arc(r_0022_0003__put,r_0022_0004__some_r_0022_0005__time,arg1).
arc(r_0022_0003__put,r_0022_0007__setting_r_0022_0008__up,r_0022_0006__into__clr).
arc(r_0022_0003__put,z_0022_5002,arg0).
arc(r_0022_0007__setting_r_0022_0008__up,r_0022_0010__controls,arg1).
arc(r_0022_0007__setting_r_0022_0008__up,z_0022_5002,arg0).
arc(r_0022_0010__controls,r_0022_0009__your,gen).

fof(formula,axiom,
    ? [R_0022_0001__FIRSTLY,R_0022_0004__SOME_R_0022_0005__TIME,R_0022_0009__YOUR,R_0022_0010__CONTROLS,Z_0022_5002,R_0022_0007__SETTING_R_0022_0008__UP,R_0022_0003__PUT] :
      ( r_0022_0001__Firstly(R_0022_0001__FIRSTLY)
      & r_0022_0004__some_r_0022_0005__time(R_0022_0004__SOME_R_0022_0005__TIME)
      & r_0022_0009__your(R_0022_0009__YOUR)
      & z_0022_5002(Z_0022_5002)
      & r_0022_0003__put(R_0022_0003__PUT)
      & has_arg0(R_0022_0003__PUT,Z_0022_5002)
      & has_r_0022_0006__into__clr(R_0022_0003__PUT,R_0022_0007__SETTING_R_0022_0008__UP)
      & r_0022_0007__setting_r_0022_0008__up(R_0022_0007__SETTING_R_0022_0008__UP)
      & has_arg0(R_0022_0007__SETTING_R_0022_0008__UP,Z_0022_5002)
      & has_arg1(R_0022_0007__SETTING_R_0022_0008__UP,R_0022_0010__CONTROLS)
      & r_0022_0010__controls(R_0022_0010__CONTROLS)
      & has_gen(R_0022_0010__CONTROLS,R_0022_0009__YOUR)
      & has_arg1(R_0022_0003__PUT,R_0022_0004__SOME_R_0022_0005__TIME)
      & has_nim(R_0022_0003__PUT,R_0022_0001__FIRSTLY) ) ).