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_0013_0002__THE_R_0013_0003__GAME,R_0013_0004__YOU,R_0013_0007__VARIOUS,R_0013_0008__COLLECTIBLE,R_0013_0009__ITEMS,R_0013_0011__POWER__HYPHEN__UPS,R_0013_0010__AND,R_0013_0005___APOS_LL_R_0013_0006__ENCOUNTER] :
      ( r_0013_0002__the_r_0013_0003__game(R_0013_0002__THE_R_0013_0003__GAME)
      & r_0013_0004__you(R_0013_0004__YOU)
      & r_0013_0007__various(R_0013_0007__VARIOUS)
      & r_0013_0008__collectible(R_0013_0008__COLLECTIBLE)
      & r_0013_0011__power__hyphen__ups(R_0013_0011__POWER__HYPHEN__UPS)
      & r_0013_0005___apos_ll_r_0013_0006__encounter(R_0013_0005___APOS_LL_R_0013_0006__ENCOUNTER)
      & has_arg1(R_0013_0005___APOS_LL_R_0013_0006__ENCOUNTER,R_0013_0010__AND)
      & r_0013_0010__and(R_0013_0010__AND)
      & has_conj2(R_0013_0010__AND,R_0013_0011__POWER__HYPHEN__UPS)
      & has_conj1(R_0013_0010__AND,R_0013_0009__ITEMS)
      & r_0013_0009__items(R_0013_0009__ITEMS)
      & has_attrib24(R_0013_0009__ITEMS,R_0013_0008__COLLECTIBLE)
      & has_attrib19(R_0013_0010__AND,R_0013_0007__VARIOUS)
      & has_arg0(R_0013_0005___APOS_LL_R_0013_0006__ENCOUNTER,R_0013_0004__YOU)
      & has_r_0013_0001__Within_nim5(R_0013_0005___APOS_LL_R_0013_0006__ENCOUNTER,R_0013_0002__THE_R_0013_0003__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))