arc(r_0013_0005___apos_ll, r_0013_0002__the_r_0013_0003__game, r_0013_0001__Within_nim5).
arc(r_0013_0005___apos_ll, r_0013_0006__encounter, scope).
arc(r_0013_0006__encounter, r_0013_0004__you, arg0).
arc(r_0013_0006__encounter, r_0013_0010__and, arg1).
arc(r_0013_0009__items, r_0013_0008__collectible, attrib24).
arc(r_0013_0010__and, r_0013_0007__various, attrib19).
arc(r_0013_0010__and, r_0013_0009__items, conj1).
arc(r_0013_0010__and, r_0013_0011__power__hyphen__ups, conj2).

fof(formula,axiom,
    ? [R_13_5__APOS_LL_ENCOUNTER,R_13_4_YOU,R_13_10_AND,R_13_7_VARIOUS,R_13_9_ITEMS,R_13_8_COLLECTIBLE,R_13_11_POWER_HYPHEN_UPS,R_13_2_THE_GAME] :
      ( you(R_13_4_YOU)
      & various(R_13_7_VARIOUS)
      & collectible(R_13_8_COLLECTIBLE)
      & power_hyphen_ups(R_13_11_POWER_HYPHEN_UPS)
      & the_game(R_13_2_THE_GAME)
      & _apos_ll_encounter(R_13_5__APOS_LL_ENCOUNTER,R_13_4_YOU,R_13_10_AND)
      & and(R_13_10_AND)
      & attrib19(R_13_10_AND,R_13_7_VARIOUS)
      & conj1(R_13_10_AND,R_13_9_ITEMS)
      & items(R_13_9_ITEMS)
      & attrib24(R_13_9_ITEMS,R_13_8_COLLECTIBLE)
      & conj2(R_13_10_AND,R_13_11_POWER_HYPHEN_UPS)
      & within_nim5(R_13_5__APOS_LL_ENCOUNTER,R_13_2_THE_GAME) ) ).

( (IP-MAT (PP-NIM (P-ROLE Within;{within})
                  (NP (D the;{the})
                      (N game;{game})))
          (NP-SBJ (PRO you;{you}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (VB;_Tn_ encounter;{encounter})
                      (NP-OB1;{ITEMS} (ADJP (ADJ various;{various}))
                                      (NLYR (NLYR (ADJP (ADJ collectible;{collectible}))
                                                  (NS items;{item}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (NS power_<hyphen>_ups;{power_ups}))))))
          (PUNC .))
  (ID 13_a_freedoom))