( (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;_Ip_ moving;{move[along]})
                                          (ADVP-CLR (ADV along;{along})))))
          (PUNC .))
  (ID 10_a_stories_09_m14))

arc(r_0010_0002__soon,r_0010_0001__Very,qual).
arc(r_0010_0004__find,r_0010_0002__soon,nim).
arc(r_0010_0004__find,r_0010_0003__you,arg0).
arc(r_0010_0004__find,r_0010_0006__are,arg1).
arc(r_0010_0006__are,r_0010_0007__moving_r_0010_0008__along,scope).
arc(r_0010_0007__moving_r_0010_0008__along,r_0010_0003__you,arg0).

fof(formula,axiom,
    ? [R_0010_0001__VERY,R_0010_0002__SOON,R_0010_0003__YOU,R_0010_0006__ARE_R_0010_0007__MOVING_R_0010_0008__ALONG,R_0010_0004__FIND] :
      ( r_0010_0001__Very(R_0010_0001__VERY)
      & r_0010_0003__you(R_0010_0003__YOU)
      & r_0010_0004__find(R_0010_0004__FIND)
      & has_arg1(R_0010_0004__FIND,R_0010_0006__ARE_R_0010_0007__MOVING_R_0010_0008__ALONG)
      & r_0010_0006__are_r_0010_0007__moving_r_0010_0008__along(R_0010_0006__ARE_R_0010_0007__MOVING_R_0010_0008__ALONG)
      & has_arg0(R_0010_0006__ARE_R_0010_0007__MOVING_R_0010_0008__ALONG,R_0010_0003__YOU)
      & has_arg0(R_0010_0004__FIND,R_0010_0003__YOU)
      & has_nim(R_0010_0004__FIND,R_0010_0002__SOON)
      & r_0010_0002__soon(R_0010_0002__SOON)
      & has_qual(R_0010_0002__SOON,R_0010_0001__VERY) ) ).