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

arc(r_0013_0005___apos_ll,r_0013_0002__the_r_0013_0003__game,r_0013_0001__Within__nim).
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,attrib).
arc(r_0013_0010__and,r_0013_0007__various,attrib).
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_attrib(R_0013_0009__ITEMS,R_0013_0008__COLLECTIBLE)
      & has_attrib(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__nim(R_0013_0005___APOS_LL_R_0013_0006__ENCOUNTER,R_0013_0002__THE_R_0013_0003__GAME) ) ).