( (IP-MAT (ADVP-NIM (ADVP (ADV Very;{very}))
                    (ADV soon;{soon}))
          (NP-SBJ (PRO you;{you}))
          (VBP;_Tf_ find;{find})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO you;{you}))
                              (BEP;_cat_Vg_ are;{be})
                              (IP-PPL-CAT (VAG;_I_ swimming;{swim}))))
          (PUNC .))
  (ID 6_a_stories_09_m14))

arc(r_0006_0002__soon,r_0006_0001__Very,qual).
arc(r_0006_0004__find,r_0006_0002__soon,nim).
arc(r_0006_0004__find,r_0006_0003__you,arg0).
arc(r_0006_0004__find,r_0006_0006__are,arg1).
arc(r_0006_0006__are,r_0006_0007__swimming,scope).
arc(r_0006_0007__swimming,r_0006_0003__you,arg0).

fof(formula,axiom,
    ? [R_0006_0001__VERY,R_0006_0002__SOON,R_0006_0003__YOU,R_0006_0006__ARE_R_0006_0007__SWIMMING,R_0006_0004__FIND] :
      ( r_0006_0001__Very(R_0006_0001__VERY)
      & r_0006_0003__you(R_0006_0003__YOU)
      & r_0006_0004__find(R_0006_0004__FIND)
      & has_arg1(R_0006_0004__FIND,R_0006_0006__ARE_R_0006_0007__SWIMMING)
      & r_0006_0006__are_r_0006_0007__swimming(R_0006_0006__ARE_R_0006_0007__SWIMMING)
      & has_arg0(R_0006_0006__ARE_R_0006_0007__SWIMMING,R_0006_0003__YOU)
      & has_arg0(R_0006_0004__FIND,R_0006_0003__YOU)
      & has_nim(R_0006_0004__FIND,R_0006_0002__SOON)
      & r_0006_0002__soon(R_0006_0002__SOON)
      & has_qual(R_0006_0002__SOON,R_0006_0001__VERY) ) ).