TSPC 10_a_freedoom

10_a_freedoom
If you haven't played Freedoom before, take a few minutes when you start the game to get familiar with the controls, and reconfigure controls as you find makes it more comfortable to play.

( (IP-IMP (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (HVP;_cat_Ve_ have;{have})
                           (NEG;_clitic_ n<apos>t;{not})
                           (IP-PPL-CAT (VVN;_Tn_ played;{play})
                                       (NP-OB1 (NPR Freedoom;{Freedoom}))
                                       (ADVP-NIM (ADV before;{before})))))
          (PUNC ,)
          (VB;_Tn_ take;{take})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ few;{few}))
                  (NS minutes;{minute})
                  (IP-REL (ADVP-NIM (RADV when;{when}))
                          (NP-SBJ (PRO you;{you}))
                          (VBP;_Tn_ start;{start})
                          (NP-OB1 (D the;{the})
                                  (N game;{game}))))
          (PP-SCON (IP-INF2 (TO to;{to})
                            (ILYR (ILYR (VB;_La_ get;{get})
                                        (ADJP-PRD (ADJ familiar;{familiar})
                                                  (PP (P-ROLE with;{with})
                                                      (NP (D the;{the})
                                                          (NS controls;{control})))))
                                  (PUNC ,)
                                  (CONJP (CONJ and;{and})
                                         (ILYR (VB;_Tn_ reconfigure;{reconfigure})
                                               (NP-OB1 (NS controls;{control}))
                                               (PP-SCON (P-CONN as;{as})
                                                        (IP-ADV (NP-SBJ (IP-REL (NP-OB1 *T*)
                                                                                (NP-SBJ (PRO you;{you}))
                                                                                (VBP;_Tn_ find;{find})))
                                                                (VBP;_Cn.a_ makes;{make})
                                                                (NP-OB1 (PRO;_provisional_ it;{it}))
                                                                (ADJP-PRD (ADVP (ADVR more;{more}))
                                                                          (ADJ comfortable;{comfortable}))
                                                                (IP-INF3-NOB1 (TO to;{to})
                                                                              (VB;_I_ play;{play})))))))))
          (PUNC .))
  (ID 10_a_freedoom))

arc(r_0010_0001__If,r_0010_0004__n_apos_t,restriction).
arc(r_0010_0001__If,r_0010_0009__take,scope).
arc(r_0010_0003__have,r_0010_0005__played,scope).
arc(r_0010_0004__n_apos_t,r_0010_0003__have,keep_scope).
arc(r_0010_0005__played,r_0010_0002__you,arg0).
arc(r_0010_0005__played,r_0010_0006__Freedoom,arg1).
arc(r_0010_0005__played,r_0010_0007__before,nim).
arc(r_0010_0009__take,r_0010_0010__a_r_0010_0012__minutes,arg1).
arc(r_0010_0009__take,z_0010_5002,arg0).
arc(r_0010_0010__a_r_0010_0012__minutes,r_0010_0011__few,attrib).
arc(r_0010_0015__start,r_0010_0010__a_r_0010_0012__minutes,nim).
arc(r_0010_0015__start,r_0010_0014__you,arg0).
arc(r_0010_0015__start,r_0010_0016__the_r_0010_0017__game,arg1).
arc(r_0010_0019__get,r_0010_0020__familiar,prd).
arc(r_0010_0019__get,z_0010_5002,arg0).
arc(r_0010_0020__familiar,r_0010_0022__the_r_0010_0023__controls,r_0010_0021__with).
arc(r_0010_0025__and,r_0010_0019__get,conj1).
arc(r_0010_0025__and,r_0010_0028__as,conj2).
arc(r_0010_0026__reconfigure,r_0010_0027__controls,arg1).
arc(r_0010_0026__reconfigure,z_0010_5002,arg0).
arc(r_0010_0028__as,r_0010_0026__reconfigure,scope).
arc(r_0010_0028__as,r_0010_0031__makes,restriction).
arc(r_0010_0030__find,r_0010_0002__you,arg0).
arc(r_0010_0030__find,z_0010_5018,inv_arg1).
arc(r_0010_0031__makes,r_0010_0034__comfortable,prd).
arc(r_0010_0031__makes,r_0010_0036__play,arg1).
arc(r_0010_0031__makes,z_0010_5018,arg0).
arc(r_0010_0034__comfortable,r_0010_0033__more,qual).
arc(r_0010_0036__play,z_0010_5021,arg0).
arc(z_0010_5008,r_0010_0001__If,scope).
arc(z_0010_5008,r_0010_0025__and,restriction).

fof(formula,axiom,
    ? [R_0010_0011__FEW,R_0010_0010__A_R_0010_0012__MINUTES,R_0010_0014__YOU,R_0010_0016__THE_R_0010_0017__GAME,R_0010_0015__START,R_0010_0022__THE_R_0010_0023__CONTROLS,R_0010_0020__FAMILIAR,Z_0010_5002,R_0010_0019__GET,R_0010_0027__CONTROLS,R_0010_0026__RECONFIGURE,R_0010_0033__MORE,R_0010_0034__COMFORTABLE,Z_0010_5021,R_0010_0036__PLAY,R_0010_0002__YOU,R_0010_0030__FIND,Z_0010_5018,R_0010_0031__MAKES,R_0010_0028__AS,R_0010_0025__AND,Z_0010_5008] :
      ( r_0010_0002__you(R_0010_0002__YOU)
      & r_0010_0011__few(R_0010_0011__FEW)
      & r_0010_0014__you(R_0010_0014__YOU)
      & r_0010_0016__the_r_0010_0017__game(R_0010_0016__THE_R_0010_0017__GAME)
      & r_0010_0022__the_r_0010_0023__controls(R_0010_0022__THE_R_0010_0023__CONTROLS)
      & r_0010_0027__controls(R_0010_0027__CONTROLS)
      & r_0010_0033__more(R_0010_0033__MORE)
      & z_0010_5002(Z_0010_5002)
      & z_0010_5021(Z_0010_5021)
      & z_0010_5008(Z_0010_5008)
      & has_conj1(Z_0010_5008,R_0010_0025__AND)
      & r_0010_0025__and(R_0010_0025__AND)
      & has_conj2(R_0010_0025__AND,R_0010_0028__AS)
      & r_0010_0028__as(R_0010_0028__AS)
      & has_conj1(R_0010_0028__AS,R_0010_0031__MAKES)
      & r_0010_0031__makes(R_0010_0031__MAKES)
      & has_arg0(R_0010_0031__MAKES,Z_0010_5018)
      & z_0010_5018(Z_0010_5018)
      & has_inv_arg1(Z_0010_5018,R_0010_0030__FIND)
      & r_0010_0030__find(R_0010_0030__FIND)
      & has_arg0(R_0010_0030__FIND,R_0010_0002__YOU)
      & has_arg1(R_0010_0031__MAKES,R_0010_0036__PLAY)
      & r_0010_0036__play(R_0010_0036__PLAY)
      & has_arg0(R_0010_0036__PLAY,Z_0010_5021)
      & has_prd(R_0010_0031__MAKES,R_0010_0034__COMFORTABLE)
      & r_0010_0034__comfortable(R_0010_0034__COMFORTABLE)
      & has_qual(R_0010_0034__COMFORTABLE,R_0010_0033__MORE)
      & has_conj2(R_0010_0028__AS,R_0010_0026__RECONFIGURE)
      & r_0010_0026__reconfigure(R_0010_0026__RECONFIGURE)
      & has_arg0(R_0010_0026__RECONFIGURE,Z_0010_5002)
      & has_arg1(R_0010_0026__RECONFIGURE,R_0010_0027__CONTROLS)
      & has_conj1(R_0010_0025__AND,R_0010_0019__GET)
      & r_0010_0019__get(R_0010_0019__GET)
      & has_arg0(R_0010_0019__GET,Z_0010_5002)
      & has_prd(R_0010_0019__GET,R_0010_0020__FAMILIAR)
      & r_0010_0020__familiar(R_0010_0020__FAMILIAR)
      & has_r_0010_0021__with(R_0010_0020__FAMILIAR,R_0010_0022__THE_R_0010_0023__CONTROLS)
      & ! [R_0010_0004__N_APOS_T] :
          ( ~ ? [R_0010_0006__FREEDOOM,R_0010_0007__BEFORE,R_0010_0003__HAVE_R_0010_0005__PLAYED] :
                ( r_0010_0006__Freedoom(R_0010_0006__FREEDOOM)
                & r_0010_0007__before(R_0010_0007__BEFORE)
                & r_0010_0003__have_r_0010_0005__played(R_0010_0003__HAVE_R_0010_0005__PLAYED)
                & has_nim(R_0010_0003__HAVE_R_0010_0005__PLAYED,R_0010_0007__BEFORE)
                & has_arg1(R_0010_0003__HAVE_R_0010_0005__PLAYED,R_0010_0006__FREEDOOM)
                & has_arg0(R_0010_0003__HAVE_R_0010_0005__PLAYED,R_0010_0002__YOU) )
         => ? [R_0010_0009__TAKE] :
              ( r_0010_0009__take(R_0010_0009__TAKE)
              & has_arg0(R_0010_0009__TAKE,Z_0010_5002)
              & has_arg1(R_0010_0009__TAKE,R_0010_0010__A_R_0010_0012__MINUTES) ) )
      & r_0010_0015__start(R_0010_0015__START)
      & has_arg1(R_0010_0015__START,R_0010_0016__THE_R_0010_0017__GAME)
      & has_arg0(R_0010_0015__START,R_0010_0014__YOU)
      & has_nim(R_0010_0015__START,R_0010_0010__A_R_0010_0012__MINUTES)
      & r_0010_0010__a_r_0010_0012__minutes(R_0010_0010__A_R_0010_0012__MINUTES)
      & has_attrib(R_0010_0010__A_R_0010_0012__MINUTES,R_0010_0011__FEW) ) ).