Context                Previous, Next                Top


22_a_freedoom
Firstly, put some time into setting up your controls.

%3 r_0022_0003__put put r_0022_0001__Firstly Firstly r_0022_0003__put->r_0022_0001__Firstly [nim] r_0022_0004__some_r_0022_0005__time some time r_0022_0003__put->r_0022_0004__some_r_0022_0005__time [arg1] r_0022_0007__setting_r_0022_0008__up setting up r_0022_0003__put->r_0022_0007__setting_r_0022_0008__up into [clr] z_000_22_a_freedoom_1 r_0022_0003__put->z_000_22_a_freedoom_1 [arg0] r_0022_0010__controls controls r_0022_0007__setting_r_0022_0008__up->r_0022_0010__controls [arg1] z_000_22_a_freedoom_17 r_0022_0007__setting_r_0022_0008__up->z_000_22_a_freedoom_17 [arg0] r_0022_0009__your your r_0022_0010__controls->r_0022_0009__your [gen] 
arc(r_0022_0003__put, r_0022_0001__Firstly, nim2).
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_clr17).
arc(r_0022_0003__put, z_000_22_a_freedoom_1, 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_000_22_a_freedoom_17, arg0).
arc(r_0022_0010__controls, r_0022_0009__your, gen).


%3 r_0022_0010__controls controls r_0022_0009__your your r_0022_0010__controls->r_0022_0009__your [gen] r_0022_0007__setting_r_0022_0008__up setting up r_0022_0007__setting_r_0022_0008__up->r_0022_0010__controls [arg1] z_000_22_a_freedoom_17 r_0022_0007__setting_r_0022_0008__up->z_000_22_a_freedoom_17 [arg0] r_0022_0003__put put r_0022_0003__put->r_0022_0007__setting_r_0022_0008__up into [clr] z_000_22_a_freedoom_1 r_0022_0003__put->z_000_22_a_freedoom_1 [arg0] r_0022_0004__some_r_0022_0005__time some time r_0022_0003__put->r_0022_0004__some_r_0022_0005__time [arg1] r_0022_0001__Firstly Firstly r_0022_0003__put->r_0022_0001__Firstly [nim] 
fof(formula,axiom,
    ? [R_0022_0001__FIRSTLY,R_0022_0004__SOME_R_0022_0005__TIME,R_0022_0009__YOUR,R_0022_0010__CONTROLS,Z_000_22_A_FREEDOOM_17,R_0022_0007__SETTING_R_0022_0008__UP,Z_000_22_A_FREEDOOM_1,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_000_22_a_freedoom_1(Z_000_22_A_FREEDOOM_1)
      & z_000_22_a_freedoom_17(Z_000_22_A_FREEDOOM_17)
      & r_0022_0003__put(R_0022_0003__PUT)
      & has_arg0(R_0022_0003__PUT,Z_000_22_A_FREEDOOM_1)
      & has_r_0022_0006__into_clr17(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_000_22_A_FREEDOOM_17)
      & 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_nim2(R_0022_0003__PUT,R_0022_0001__FIRSTLY) ) ).


n22_a_freedoom n22_a_freedoom__1_1_1_1 Firstly n22_a_freedoom__1_2_1 , n22_a_freedoom__1_3_1 put n22_a_freedoom__1_4_1_1 some n22_a_freedoom__1_4_2_1 time n22_a_freedoom__1_5_1_1 into n22_a_freedoom__1_5_2_1_1 setting n22_a_freedoom__1_5_2_2_1 up n22_a_freedoom__1_5_2_3_1_1_1 your n22_a_freedoom__1_5_2_3_2_1 controls n22_a_freedoom__1_6_1 . n22_a_freedoom__1 IP-IMP n22_a_freedoom__1_1 ADVP-NIM n22_a_freedoom__1->n22_a_freedoom__1_1 n22_a_freedoom__1_2 PUNC n22_a_freedoom__1->n22_a_freedoom__1_2 n22_a_freedoom__1_3 VB;_Tn.pr_ n22_a_freedoom__1->n22_a_freedoom__1_3 n22_a_freedoom__1_4 NP-OB1 n22_a_freedoom__1->n22_a_freedoom__1_4 n22_a_freedoom__1_5 PP-CLR n22_a_freedoom__1->n22_a_freedoom__1_5 n22_a_freedoom__1_6 PUNC n22_a_freedoom__1->n22_a_freedoom__1_6 n22_a_freedoom__1_1_1 ADV n22_a_freedoom__1_1->n22_a_freedoom__1_1_1 n22_a_freedoom__1_1_1->n22_a_freedoom__1_1_1_1 n22_a_freedoom__1_2->n22_a_freedoom__1_2_1 n22_a_freedoom__1_3->n22_a_freedoom__1_3_1 n22_a_freedoom__1_4_1 D n22_a_freedoom__1_4->n22_a_freedoom__1_4_1 n22_a_freedoom__1_4_2 N n22_a_freedoom__1_4->n22_a_freedoom__1_4_2 n22_a_freedoom__1_4_1->n22_a_freedoom__1_4_1_1 n22_a_freedoom__1_4_2->n22_a_freedoom__1_4_2_1 n22_a_freedoom__1_5_1 P-ROLE n22_a_freedoom__1_5->n22_a_freedoom__1_5_1 n22_a_freedoom__1_5_2 IP-PPL2 n22_a_freedoom__1_5->n22_a_freedoom__1_5_2 n22_a_freedoom__1_5_1->n22_a_freedoom__1_5_1_1 n22_a_freedoom__1_5_2_1 VAG;_phr_Vn<=>p_ n22_a_freedoom__1_5_2->n22_a_freedoom__1_5_2_1 n22_a_freedoom__1_5_2_2 RP n22_a_freedoom__1_5_2->n22_a_freedoom__1_5_2_2 n22_a_freedoom__1_5_2_3 NP-OB1 n22_a_freedoom__1_5_2->n22_a_freedoom__1_5_2_3 n22_a_freedoom__1_5_2_1->n22_a_freedoom__1_5_2_1_1 n22_a_freedoom__1_5_2_2->n22_a_freedoom__1_5_2_2_1 n22_a_freedoom__1_5_2_3_1 NP-GEN n22_a_freedoom__1_5_2_3->n22_a_freedoom__1_5_2_3_1 n22_a_freedoom__1_5_2_3_2 NS n22_a_freedoom__1_5_2_3->n22_a_freedoom__1_5_2_3_2 n22_a_freedoom__1_5_2_3_1_1 PRO;_genm_ n22_a_freedoom__1_5_2_3_1->n22_a_freedoom__1_5_2_3_1_1 n22_a_freedoom__1_5_2_3_1_1->n22_a_freedoom__1_5_2_3_1_1_1 n22_a_freedoom__1_5_2_3_2->n22_a_freedoom__1_5_2_3_2_1 n22_a_freedoom__1_6->n22_a_freedoom__1_6_1 
( (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))