( (IP-MAT (NP-SBJ (PRO I;{I}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (ADVP-NIM (ADV only;{only}))
                      (VB;_Tn.pr_ find;{find[in]})
                      (NP-OB1 (NUM 11)
                              (NS cups;{cup}))
                      (PP-CLR (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (NLYR (NUM 12)
                                        (PUNC <hyphen>)
                                        (N pack;{pack})))))
          (PUNC .))
  (ID 3_a_takmi))

arc(r_0003_0002__could,r_0003_0004__find_r_0003_0007__in,scope).
arc(r_0003_0004__find_r_0003_0007__in,r_0003_0001__I,arg0).
arc(r_0003_0004__find_r_0003_0007__in,r_0003_0003__only,nim).
arc(r_0003_0004__find_r_0003_0007__in,r_0003_0005__11_r_0003_0006__cups,arg1).
arc(r_0003_0004__find_r_0003_0007__in,r_0003_0008__the_r_0003_0009__12_r_0003_0011__pack,arg2).

fof(formula,axiom,
    ? [R_0003_0001__I,R_0003_0003__ONLY,R_0003_0005__11_R_0003_0006__CUPS,R_0003_0008__THE_R_0003_0009__12_R_0003_0011__PACK,R_0003_0002__COULD_R_0003_0004__FIND_R_0003_0007__IN] :
      ( r_0003_0001__I(R_0003_0001__I)
      & r_0003_0003__only(R_0003_0003__ONLY)
      & r_0003_0005__11_r_0003_0006__cups(R_0003_0005__11_R_0003_0006__CUPS)
      & r_0003_0008__the_r_0003_0009__12_r_0003_0011__pack(R_0003_0008__THE_R_0003_0009__12_R_0003_0011__PACK)
      & r_0003_0002__could_r_0003_0004__find_r_0003_0007__in(R_0003_0002__COULD_R_0003_0004__FIND_R_0003_0007__IN)
      & has_arg2(R_0003_0002__COULD_R_0003_0004__FIND_R_0003_0007__IN,R_0003_0008__THE_R_0003_0009__12_R_0003_0011__PACK)
      & has_arg1(R_0003_0002__COULD_R_0003_0004__FIND_R_0003_0007__IN,R_0003_0005__11_R_0003_0006__CUPS)
      & has_nim(R_0003_0002__COULD_R_0003_0004__FIND_R_0003_0007__IN,R_0003_0003__ONLY)
      & has_arg0(R_0003_0002__COULD_R_0003_0004__FIND_R_0003_0007__IN,R_0003_0001__I) ) ).