( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO You;{you}))
                      (MD;_cat_Vi_ may;{may})
                      (IP-INF-CAT (VB;_Tn_ encounter;{encounter})
                                  (NP-OB1 (D some;{some})
                                          (ADJP (ADJ low_<hyphen>_level;{low_level}))
                                          (NS monsters;{monster}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ILYR (ILYR (NP-SBJ;{MONSTERS} (D;_nphd_ those;{those})
                                                            (IP-PPL (NP-LGS *)
                                                                    (VVN;_Tn_ encountered;{encounter})
                                                                    (PP-NIM (P-ROLE in;{in})
                                                                            (NP (D the;{the})
                                                                                (ADJP (ADJ first;{first}))
                                                                                (N level;{level})))))
                                         (DOP do;{do})
                                         (NEG not;{not})
                                         (VB;_Tn_ present;{present})
                                         (NP-OB1 (ADJP (ADJ much;{much}))
                                                 (PP (P-ROLE of;{of})
                                                     (NP (D a;{a})
                                                         (N challenge;{challenge})))))
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ;{MONSTERS} (PRO they;{they}))
                                                (BEP;_Ln_ <apos>re;{be})
                                                (NP-PRD (D a;{a})
                                                        (ADJP (ADJ good;{good}))
                                                        (N opportunity;{opportunity})
                                                        (IP-INF (TO to;{to})
                                                                (VB;_Tg_ practice;{practise})
                                                                (IP-PPL-OB1 (VAG;_Tn.pr_ taking;{take[at]})
                                                                            (NP-OB1 (NS shots;{shot}))
                                                                            (PP-CLR (P-ROLE at;{at})))))))))))
          (PUNC .))
  (ID 12_a_freedoom))

arc(r_0012_0002__may,r_0012_0003__encounter,scope).
arc(r_0012_0003__encounter,r_0012_0001__You,arg0).
arc(r_0012_0003__encounter,r_0012_0004__some_r_0012_0006__monsters,arg1).
arc(r_0012_0004__some_r_0012_0006__monsters,r_0012_0005__low__hyphen__level,attrib).
arc(r_0012_0008__but,r_0012_0002__may,conj1).
arc(r_0012_0008__but,r_0012_0022__and,conj2).
arc(r_0012_0010__encountered,r_0012_0009__those,inv_arg1).
arc(r_0012_0010__encountered,r_0012_0012__the_r_0012_0014__level,r_0012_0011__in__nim).
arc(r_0012_0010__encountered,z_0012_5008___star_,arg0).
arc(r_0012_0012__the_r_0012_0014__level,r_0012_0013__first,attrib).
arc(r_0012_0015__do_r_0012_0017__present,r_0012_0009__those,arg0).
arc(r_0012_0015__do_r_0012_0017__present,z_0012_5013,arg1).
arc(r_0012_0016__not,r_0012_0015__do_r_0012_0017__present,keep_scope).
arc(r_0012_0022__and,r_0012_0016__not,conj1).
arc(r_0012_0022__and,r_0012_0024___apos_re,conj2).
arc(r_0012_0024___apos_re,r_0012_0009__those,arg0).
arc(r_0012_0024___apos_re,r_0012_0025__a_r_0012_0027__opportunity,prd).
arc(r_0012_0025__a_r_0012_0027__opportunity,r_0012_0026__good,attrib).
arc(r_0012_0025__a_r_0012_0027__opportunity,r_0012_0029__practice,emb).
arc(r_0012_0029__practice,r_0012_0030__taking_r_0012_0032__at,arg1).
arc(r_0012_0029__practice,z_0012_5021,arg0).
arc(r_0012_0030__taking_r_0012_0032__at,r_0012_0031__shots,arg1).
arc(r_0012_0030__taking_r_0012_0032__at,z_0012_5021,arg0).
arc(z_0012_5013,r_0012_0018__much,attrib).
arc(z_0012_5013,r_0012_0020__a_r_0012_0021__challenge,r_0012_0019__of).

fof(formula,axiom,
    ? [R_0012_0001__YOU,R_0012_0005__LOW__HYPHEN__LEVEL,R_0012_0004__SOME_R_0012_0006__MONSTERS,R_0012_0002__MAY_R_0012_0003__ENCOUNTER,R_0012_0013__FIRST,R_0012_0012__THE_R_0012_0014__LEVEL,Z_0012_5008___STAR_,R_0012_0010__ENCOUNTERED,R_0012_0009__THOSE,R_0012_0026__GOOD,R_0012_0031__SHOTS,Z_0012_5021,R_0012_0030__TAKING_R_0012_0032__AT,R_0012_0029__PRACTICE,R_0012_0025__A_R_0012_0027__OPPORTUNITY,R_0012_0024___APOS_RE,R_0012_0022__AND,R_0012_0008__BUT] :
      ( r_0012_0001__You(R_0012_0001__YOU)
      & r_0012_0005__low__hyphen__level(R_0012_0005__LOW__HYPHEN__LEVEL)
      & r_0012_0013__first(R_0012_0013__FIRST)
      & r_0012_0026__good(R_0012_0026__GOOD)
      & r_0012_0031__shots(R_0012_0031__SHOTS)
      & z_0012_5008___star_(Z_0012_5008___STAR_)
      & z_0012_5021(Z_0012_5021)
      & r_0012_0008__but(R_0012_0008__BUT)
      & has_conj2(R_0012_0008__BUT,R_0012_0022__AND)
      & r_0012_0022__and(R_0012_0022__AND)
      & has_conj2(R_0012_0022__AND,R_0012_0024___APOS_RE)
      & r_0012_0024___apos_re(R_0012_0024___APOS_RE)
      & has_prd(R_0012_0024___APOS_RE,R_0012_0025__A_R_0012_0027__OPPORTUNITY)
      & r_0012_0025__a_r_0012_0027__opportunity(R_0012_0025__A_R_0012_0027__OPPORTUNITY)
      & has_emb(R_0012_0025__A_R_0012_0027__OPPORTUNITY,R_0012_0029__PRACTICE)
      & r_0012_0029__practice(R_0012_0029__PRACTICE)
      & has_arg0(R_0012_0029__PRACTICE,Z_0012_5021)
      & has_arg1(R_0012_0029__PRACTICE,R_0012_0030__TAKING_R_0012_0032__AT)
      & r_0012_0030__taking_r_0012_0032__at(R_0012_0030__TAKING_R_0012_0032__AT)
      & has_arg0(R_0012_0030__TAKING_R_0012_0032__AT,Z_0012_5021)
      & has_arg1(R_0012_0030__TAKING_R_0012_0032__AT,R_0012_0031__SHOTS)
      & has_attrib(R_0012_0025__A_R_0012_0027__OPPORTUNITY,R_0012_0026__GOOD)
      & has_arg0(R_0012_0024___APOS_RE,R_0012_0009__THOSE)
      & r_0012_0009__those(R_0012_0009__THOSE)
      & has_inv_arg1(R_0012_0009__THOSE,R_0012_0010__ENCOUNTERED)
      & r_0012_0010__encountered(R_0012_0010__ENCOUNTERED)
      & has_arg0(R_0012_0010__ENCOUNTERED,Z_0012_5008___STAR_)
      & has_r_0012_0011__in__nim(R_0012_0010__ENCOUNTERED,R_0012_0012__THE_R_0012_0014__LEVEL)
      & r_0012_0012__the_r_0012_0014__level(R_0012_0012__THE_R_0012_0014__LEVEL)
      & has_attrib(R_0012_0012__THE_R_0012_0014__LEVEL,R_0012_0013__FIRST)
      & has_conj1(R_0012_0022__AND,R_0012_0016__NOT)
      & ~ ? [R_0012_0018__MUCH,R_0012_0020__A_R_0012_0021__CHALLENGE,Z_0012_5013,R_0012_0015__DO_R_0012_0017__PRESENT] :
            ( r_0012_0018__much(R_0012_0018__MUCH)
            & r_0012_0020__a_r_0012_0021__challenge(R_0012_0020__A_R_0012_0021__CHALLENGE)
            & r_0012_0015__do_r_0012_0017__present(R_0012_0015__DO_R_0012_0017__PRESENT)
            & has_arg1(R_0012_0015__DO_R_0012_0017__PRESENT,Z_0012_5013)
            & z_0012_5013(Z_0012_5013)
            & has_r_0012_0019__of(Z_0012_5013,R_0012_0020__A_R_0012_0021__CHALLENGE)
            & has_attrib(Z_0012_5013,R_0012_0018__MUCH)
            & has_arg0(R_0012_0015__DO_R_0012_0017__PRESENT,R_0012_0009__THOSE) )
      & has_conj1(R_0012_0008__BUT,R_0012_0002__MAY_R_0012_0003__ENCOUNTER)
      & r_0012_0002__may_r_0012_0003__encounter(R_0012_0002__MAY_R_0012_0003__ENCOUNTER)
      & has_arg1(R_0012_0002__MAY_R_0012_0003__ENCOUNTER,R_0012_0004__SOME_R_0012_0006__MONSTERS)
      & r_0012_0004__some_r_0012_0006__monsters(R_0012_0004__SOME_R_0012_0006__MONSTERS)
      & has_attrib(R_0012_0004__SOME_R_0012_0006__MONSTERS,R_0012_0005__LOW__HYPHEN__LEVEL)
      & has_arg0(R_0012_0002__MAY_R_0012_0003__ENCOUNTER,R_0012_0001__YOU) ) ).