( (IP-IMP (PP-SCON (P-CONN While;{while})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (BEP;_cat_Vg_ <apos>re;{be})
                           (IP-PPL-CAT (VAG;_I_ staying;{stay}))))
          (FRM please)
          (VB;_Tn_ use;{use})
          (NP-OB1 (D;_nphd_ anything;{anything})
                  (PP-GEN (P-ROLE of;{of})
                          (NP (PRO;_ppge_ mine;{mine})))
                  (IP-REL (NP-OB1 *T*)
                          (NP-SBJ (PRO you;{you}))
                          (VBP;_Tn_ need;{need})))
          (PUNC .))
  (ID 8_a_fce_0102_2001_03))

arc(r_0008_0001__While,r_0008_0003___apos_re,restriction).
arc(r_0008_0001__While,r_0008_0006__use,scope).
arc(r_0008_0003___apos_re,r_0008_0004__staying,scope).
arc(r_0008_0004__staying,r_0008_0002__you,arg0).
arc(r_0008_0006__use,r_0008_0007__anything,arg1).
arc(r_0008_0006__use,z_0008_5002,arg0).
arc(r_0008_0007__anything,r_0008_0009__mine,r_0008_0008__of__gen).
arc(r_0008_0011__need,r_0008_0007__anything,inv_arg1).
arc(r_0008_0011__need,r_0008_0010__you,arg0).

fof(formula,axiom,
    ? [R_0008_0002__YOU,R_0008_0003___APOS_RE_R_0008_0004__STAYING,R_0008_0009__MINE,R_0008_0010__YOU,R_0008_0011__NEED,R_0008_0007__ANYTHING,Z_0008_5002,R_0008_0006__USE,R_0008_0001__WHILE] :
      ( r_0008_0002__you(R_0008_0002__YOU)
      & r_0008_0009__mine(R_0008_0009__MINE)
      & r_0008_0010__you(R_0008_0010__YOU)
      & z_0008_5002(Z_0008_5002)
      & r_0008_0001__While(R_0008_0001__WHILE)
      & has_conj2(R_0008_0001__WHILE,R_0008_0006__USE)
      & r_0008_0006__use(R_0008_0006__USE)
      & has_arg0(R_0008_0006__USE,Z_0008_5002)
      & has_arg1(R_0008_0006__USE,R_0008_0007__ANYTHING)
      & r_0008_0007__anything(R_0008_0007__ANYTHING)
      & has_inv_arg1(R_0008_0007__ANYTHING,R_0008_0011__NEED)
      & r_0008_0011__need(R_0008_0011__NEED)
      & has_arg0(R_0008_0011__NEED,R_0008_0010__YOU)
      & has_r_0008_0008__of__gen(R_0008_0007__ANYTHING,R_0008_0009__MINE)
      & has_conj1(R_0008_0001__WHILE,R_0008_0003___APOS_RE_R_0008_0004__STAYING)
      & r_0008_0003___apos_re_r_0008_0004__staying(R_0008_0003___APOS_RE_R_0008_0004__STAYING)
      & has_arg0(R_0008_0003___APOS_RE_R_0008_0004__STAYING,R_0008_0002__YOU) ) ).