( (IP-IMP (ADVP-NIM (ADV In_particular;{in_particular}))
          (PUNC ,)
          (VB;_Cf.a_ make;{make})
          (ADJP-PRD (ADJ sure;{sure}))
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (PRO you;{you}))
                              (HVP;_cat_Ve_ have;{have})
                              (IP-PPL-CAT (VVN;_phr_Vn<=>p_ set;{set[up]})
                                          (RP up;{up})
                                          (NP-OB1 (N strafe;{strafe})
                                                  (PRN (NP (PULB -LRB-)
                                                           (N sidestep;{sidestep})
                                                           (PURB -RRB-)))
                                                  (NS keys;{key})))))
          (PUNC .))
  (ID 24_a_freedoom))

arc(r_0024_0003__make,r_0024_0001__In_particular,nim).
arc(r_0024_0003__make,r_0024_0004__sure,prd).
arc(r_0024_0003__make,r_0024_0007__have,arg1).
arc(r_0024_0003__make,z_0024_5002,arg0).
arc(r_0024_0007__have,r_0024_0008__set_r_0024_0009__up,scope).
arc(r_0024_0008__set_r_0024_0009__up,r_0024_0006__you,arg0).
arc(r_0024_0008__set_r_0024_0009__up,r_0024_0010__strafe_r_0024_0014__keys,arg1).
arc(z_0024_5007,r_0024_0010__strafe_r_0024_0014__keys,arg0).
arc(z_0024_5007,r_0024_0012__sidestep,prd).

fof(formula,axiom,
    ? [R_0024_0001__IN_PARTICULAR,R_0024_0004__SURE,R_0024_0006__YOU,R_0024_0010__STRAFE_R_0024_0014__KEYS,R_0024_0007__HAVE_R_0024_0008__SET_R_0024_0009__UP,Z_0024_5002,R_0024_0003__MAKE,R_0024_0012__SIDESTEP,Z_0024_5007] :
      ( r_0024_0001__In_particular(R_0024_0001__IN_PARTICULAR)
      & r_0024_0004__sure(R_0024_0004__SURE)
      & r_0024_0006__you(R_0024_0006__YOU)
      & r_0024_0010__strafe_r_0024_0014__keys(R_0024_0010__STRAFE_R_0024_0014__KEYS)
      & r_0024_0012__sidestep(R_0024_0012__SIDESTEP)
      & z_0024_5002(Z_0024_5002)
      & z_0024_5007(Z_0024_5007)
      & has_prd(Z_0024_5007,R_0024_0012__SIDESTEP)
      & has_arg0(Z_0024_5007,R_0024_0010__STRAFE_R_0024_0014__KEYS)
      & r_0024_0003__make(R_0024_0003__MAKE)
      & has_arg0(R_0024_0003__MAKE,Z_0024_5002)
      & has_arg1(R_0024_0003__MAKE,R_0024_0007__HAVE_R_0024_0008__SET_R_0024_0009__UP)
      & r_0024_0007__have_r_0024_0008__set_r_0024_0009__up(R_0024_0007__HAVE_R_0024_0008__SET_R_0024_0009__UP)
      & has_arg1(R_0024_0007__HAVE_R_0024_0008__SET_R_0024_0009__UP,R_0024_0010__STRAFE_R_0024_0014__KEYS)
      & has_arg0(R_0024_0007__HAVE_R_0024_0008__SET_R_0024_0009__UP,R_0024_0006__YOU)
      & has_prd(R_0024_0003__MAKE,R_0024_0004__SURE)
      & has_nim(R_0024_0003__MAKE,R_0024_0001__IN_PARTICULAR) ) ).