( (CP-QUE-MAT (IP-SUB (BEP;_ex_V_ Is;{be})
                      (EX there;{there})
                      (NP-ESBJ (D;_nphd_ anything;{anything})
                               (IP-REL (NP-SBJ (PRO you;{you}))
                                       (MD;_cat_Vi_ would;{will})
                                       (IP-INF-CAT (VB;_Tt_ like;{like})
                                                   (IP-INF-OB1 (NP-OB1 *T*)
                                                               (TO to;{to})
                                                               (VB;_Dn.n_ ask;{ask})
                                                               (NP-OB2 (PRO us;{we})))))))
              (PUNC ?))
  (ID 13_a_fce_0100_2000_06))

arc(r_0013_0001__Is,r_0013_0003__anything,arg0).
arc(r_0013_0005__would,r_0013_0006__like,scope).
arc(r_0013_0006__like,r_0013_0004__you,arg0).
arc(r_0013_0006__like,r_0013_0008__ask,arg1).
arc(r_0013_0008__ask,r_0013_0003__anything,inv_arg1).
arc(r_0013_0008__ask,r_0013_0004__you,arg0).
arc(r_0013_0008__ask,r_0013_0009__us,arg2).

fof(formula,axiom,
    ? [R_0013_0004__YOU,R_0013_0009__US,R_0013_0008__ASK,R_0013_0003__ANYTHING,R_0013_0001__IS,R_0013_0005__WOULD_R_0013_0006__LIKE] :
      ( r_0013_0004__you(R_0013_0004__YOU)
      & r_0013_0009__us(R_0013_0009__US)
      & r_0013_0005__would_r_0013_0006__like(R_0013_0005__WOULD_R_0013_0006__LIKE)
      & has_arg1(R_0013_0005__WOULD_R_0013_0006__LIKE,R_0013_0008__ASK)
      & r_0013_0008__ask(R_0013_0008__ASK)
      & has_arg2(R_0013_0008__ASK,R_0013_0009__US)
      & has_arg0(R_0013_0008__ASK,R_0013_0004__YOU)
      & has_arg0(R_0013_0005__WOULD_R_0013_0006__LIKE,R_0013_0004__YOU)
      & r_0013_0001__Is(R_0013_0001__IS)
      & has_arg0(R_0013_0001__IS,R_0013_0003__ANYTHING)
      & r_0013_0003__anything(R_0013_0003__ANYTHING)
      & has_inv_arg1(R_0013_0003__ANYTHING,R_0013_0008__ASK) ) ).