TSPC 12_a_freedoom

12_a_freedoom
You may encounter some low-level monsters, but those encountered in the first level do not present much of a challenge and they're a good opportunity to practice taking shots at.

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_0016__not_r_0012_0017__present, r_0012_0009__those, arg0).
arc(r_0012_0015__do_r_0012_0016__not_r_0012_0017__present, z_000_12_a_freedoom_53, arg1).
arc(r_0012_0022__and, r_0012_0015__do_r_0012_0016__not_r_0012_0017__present, 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_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_0009__THOSE,R_0012_0018__MUCH,R_0012_0020__A_R_0012_0021__CHALLENGE,Z_000_12_A_FREEDOOM_53,R_0012_0015__DO_R_0012_0016__NOT_R_0012_0017__PRESENT,R_0012_0026__GOOD,R_0012_0031__SHOTS,Z_000_12_A_FREEDOOM_82,R_0012_0030__TAKING,R_0012_0028__TO_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_0013__FIRST,R_0012_0012__THE_R_0012_0014__LEVEL,Z_000_12_A_FREEDOOM_32,R_0012_0010__ENCOUNTERED] :
      ( r_0012_0001__You(R_0012_0001__YOU)
      & r_0012_0005__low__hyphen__level(R_0012_0005__LOW__HYPHEN__LEVEL)
      & r_0012_0009__those(R_0012_0009__THOSE)
      & r_0012_0013__first(R_0012_0013__FIRST)
      & 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_0026__good(R_0012_0026__GOOD)
      & r_0012_0031__shots(R_0012_0031__SHOTS)
      & z_000_12_a_freedoom_32(Z_000_12_A_FREEDOOM_32)
      & z_000_12_a_freedoom_82(Z_000_12_A_FREEDOOM_82)
      & r_0012_0010__encountered(R_0012_0010__ENCOUNTERED)
      & has_arg0(R_0012_0010__ENCOUNTERED,Z_000_12_A_FREEDOOM_32)
      & has_r_0012_0011__in_nim39(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_attrib42(R_0012_0012__THE_R_0012_0014__LEVEL,R_0012_0013__FIRST)
      & has_arg1(R_0012_0010__ENCOUNTERED,R_0012_0009__THOSE)
      & 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_emb82(R_0012_0025__A_R_0012_0027__OPPORTUNITY,R_0012_0028__TO_R_0012_0029__PRACTICE)
      & r_0012_0028__to_r_0012_0029__practice(R_0012_0028__TO_R_0012_0029__PRACTICE)
      & has_arg0(R_0012_0028__TO_R_0012_0029__PRACTICE,Z_000_12_A_FREEDOOM_82)
      & has_arg1(R_0012_0028__TO_R_0012_0029__PRACTICE,R_0012_0030__TAKING)
      & r_0012_0030__taking(R_0012_0030__TAKING)
      & has_arg0(R_0012_0030__TAKING,Z_000_12_A_FREEDOOM_82)
      & has_arg1(R_0012_0030__TAKING,R_0012_0031__SHOTS)
      & has_attrib77(R_0012_0025__A_R_0012_0027__OPPORTUNITY,R_0012_0026__GOOD)
      & has_arg0(R_0012_0024___APOS_RE,R_0012_0009__THOSE)
      & has_conj1(R_0012_0022__AND,R_0012_0015__DO_R_0012_0016__NOT_R_0012_0017__PRESENT)
      & ~ ( has_arg1(R_0012_0015__DO_R_0012_0016__NOT_R_0012_0017__PRESENT,Z_000_12_A_FREEDOOM_53)
          & z_000_12_a_freedoom_53(Z_000_12_A_FREEDOOM_53)
          & has_r_0012_0019__of(Z_000_12_A_FREEDOOM_53,R_0012_0020__A_R_0012_0021__CHALLENGE)
          & has_attrib54(Z_000_12_A_FREEDOOM_53,R_0012_0018__MUCH)
          & has_arg0(R_0012_0015__DO_R_0012_0016__NOT_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_attrib15(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) ) ).

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