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, attrib15).
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, arg1).
arc(r_0012_0010__encountered, r_0012_0012__the_r_0012_0014__level, r_0012_0011__in_nim39).
arc(r_0012_0010__encountered, z_000_12_a_freedoom_32, arg0).
arc(r_0012_0012__the_r_0012_0014__level, r_0012_0013__first, attrib42).
arc(r_0012_0015__do_r_0012_0017__present, r_0012_0009__those, arg0).
arc(r_0012_0015__do_r_0012_0017__present, z_000_12_a_freedoom_53, 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, attrib77).
arc(r_0012_0025__a_r_0012_0027__opportunity, r_0012_0028__to_r_0012_0029__practice, emb82).
arc(r_0012_0028__to_r_0012_0029__practice, r_0012_0030__taking, arg1).
arc(r_0012_0028__to_r_0012_0029__practice, z_000_12_a_freedoom_82, arg0).
arc(r_0012_0030__taking, r_0012_0031__shots, arg1).
arc(r_0012_0030__taking, z_000_12_a_freedoom_82, arg0).
arc(z_000_12_a_freedoom_53, r_0012_0018__much, attrib54).
arc(z_000_12_a_freedoom_53, r_0012_0020__a_r_0012_0021__challenge, r_0012_0019__of).

fof(formula,axiom,
    ? [R_12_8_BUT,R_12_2_MAY_ENCOUNTER,R_12_1_YOU,R_12_4_SOME_MONSTERS,R_12_5_LOW_HYPHEN_LEVEL,R_12_22_AND,R_12_24__APOS_RE,R_12_25_A_OPPORTUNITY,R_12_26_GOOD,R_12_28_TO_PRACTICE,R_12_30_TAKING,Z_12_A_FREEDOOM_82,R_12_31_SHOTS,R_12_10_ENCOUNTERED,Z_12_A_FREEDOOM_32,R_12_9_THOSE,R_12_12_THE_LEVEL,R_12_13_FIRST] :
      ( you(R_12_1_YOU)
      & low_hyphen_level(R_12_5_LOW_HYPHEN_LEVEL)
      & good(R_12_26_GOOD)
      & shots(R_12_31_SHOTS)
      & those(R_12_9_THOSE)
      & first(R_12_13_FIRST)
      & but(R_12_8_BUT)
      & conj1(R_12_8_BUT,R_12_2_MAY_ENCOUNTER)
      & may_encounter(R_12_2_MAY_ENCOUNTER,R_12_1_YOU,R_12_4_SOME_MONSTERS)
      & some_monsters(R_12_4_SOME_MONSTERS)
      & attrib15(R_12_4_SOME_MONSTERS,R_12_5_LOW_HYPHEN_LEVEL)
      & conj2(R_12_8_BUT,R_12_22_AND)
      & and(R_12_22_AND)
      & conj1(R_12_22_AND,R_12_16_NOT)
      & ~ ? [R_12_15_DO_PRESENT,Z_12_A_FREEDOOM_53,R_12_18_MUCH,R_12_20_A_CHALLENGE] :
            ( much(R_12_18_MUCH)
            & a_challenge(R_12_20_A_CHALLENGE)
            & do_present(R_12_15_DO_PRESENT,R_12_9_THOSE,Z_12_A_FREEDOOM_53)
            & z_12_a_freedoom_53(Z_12_A_FREEDOOM_53)
            & attrib54(Z_12_A_FREEDOOM_53,R_12_18_MUCH)
            & of(Z_12_A_FREEDOOM_53,R_12_20_A_CHALLENGE) )
      & conj2(R_12_22_AND,R_12_24__APOS_RE)
      & _apos_re(R_12_24__APOS_RE,R_12_9_THOSE,R_12_25_A_OPPORTUNITY)
      & a_opportunity(R_12_25_A_OPPORTUNITY)
      & attrib77(R_12_25_A_OPPORTUNITY,R_12_26_GOOD)
      & emb82(R_12_25_A_OPPORTUNITY,R_12_28_TO_PRACTICE)
      & to_practice(R_12_28_TO_PRACTICE,Z_12_A_FREEDOOM_82,R_12_30_TAKING)
      & taking(R_12_30_TAKING,Z_12_A_FREEDOOM_82,R_12_31_SHOTS)
      & encountered(R_12_10_ENCOUNTERED,Z_12_A_FREEDOOM_32,R_12_9_THOSE)
      & in_nim39(R_12_10_ENCOUNTERED,R_12_12_THE_LEVEL)
      & the_level(R_12_12_THE_LEVEL)
      & attrib42(R_12_12_THE_LEVEL,R_12_13_FIRST) ) ).

( (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))