( (IP-MAT (NP-SBJ (PRO We;{we}))
          (ADVP-NIM (ADV now;{now}))
          (VBP;_Tn_ need;{need})
          (NP-OB1 (D some;{some})
                  (ADJP (ADJ further;{far}))
                  (N information;{information})
                  (PP (P-ROLE from;{from})
                      (NP (PRO you;{you})))
                  (PUNC :)
                  (PRN (CP-QUE (IP-SUB (ADVP-138 (WADV When;{when}))
                                       (MD;_cat_Vi_ would;{will})
                                       (NP-SBJ (PRO you;{you}))
                                       (IP-INF-CAT (VB;_Tt_ like;{like})
                                                   (IP-INF-OB1 (ADVP-NIM *ICH*-138)
                                                               (TO to;{to})
                                                               (VB;_I_ travel;{travel})))))))
          (PUNC ?))
  (ID 9_a_fce_0100_2000_06))

arc(r_0009_0003__need,r_0009_0001__We,arg0).
arc(r_0009_0003__need,r_0009_0002__now,nim).
arc(r_0009_0003__need,r_0009_0004__some_r_0009_0006__information,arg1).
arc(r_0009_0004__some_r_0009_0006__information,r_0009_0005__further,attrib).
arc(r_0009_0004__some_r_0009_0006__information,r_0009_0008__you,r_0009_0007__from).
arc(r_0009_0004__some_r_0009_0006__information,r_0009_0011__would,prn).
arc(r_0009_0011__would,r_0009_0013__like,scope).
arc(r_0009_0013__like,r_0009_0008__you,arg0).
arc(r_0009_0013__like,r_0009_0015__travel,arg1).
arc(r_0009_0015__travel,r_0009_0008__you,arg0).
arc(r_0009_0015__travel,r_0009_0010__When,nim).

fof(formula,axiom,
    ? [R_0009_0001__WE,R_0009_0002__NOW,R_0009_0005__FURTHER,R_0009_0008__YOU,R_0009_0010__WHEN,R_0009_0015__TRAVEL,R_0009_0011__WOULD_R_0009_0013__LIKE,R_0009_0004__SOME_R_0009_0006__INFORMATION,R_0009_0003__NEED] :
      ( r_0009_0001__We(R_0009_0001__WE)
      & r_0009_0002__now(R_0009_0002__NOW)
      & r_0009_0005__further(R_0009_0005__FURTHER)
      & r_0009_0008__you(R_0009_0008__YOU)
      & r_0009_0010__When(R_0009_0010__WHEN)
      & r_0009_0003__need(R_0009_0003__NEED)
      & has_arg1(R_0009_0003__NEED,R_0009_0004__SOME_R_0009_0006__INFORMATION)
      & r_0009_0004__some_r_0009_0006__information(R_0009_0004__SOME_R_0009_0006__INFORMATION)
      & has_prn(R_0009_0004__SOME_R_0009_0006__INFORMATION,R_0009_0011__WOULD_R_0009_0013__LIKE)
      & r_0009_0011__would_r_0009_0013__like(R_0009_0011__WOULD_R_0009_0013__LIKE)
      & has_arg1(R_0009_0011__WOULD_R_0009_0013__LIKE,R_0009_0015__TRAVEL)
      & r_0009_0015__travel(R_0009_0015__TRAVEL)
      & has_nim(R_0009_0015__TRAVEL,R_0009_0010__WHEN)
      & has_arg0(R_0009_0015__TRAVEL,R_0009_0008__YOU)
      & has_arg0(R_0009_0011__WOULD_R_0009_0013__LIKE,R_0009_0008__YOU)
      & has_r_0009_0007__from(R_0009_0004__SOME_R_0009_0006__INFORMATION,R_0009_0008__YOU)
      & has_attrib(R_0009_0004__SOME_R_0009_0006__INFORMATION,R_0009_0005__FURTHER)
      & has_nim(R_0009_0003__NEED,R_0009_0002__NOW)
      & has_arg0(R_0009_0003__NEED,R_0009_0001__WE) ) ).