( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ could;{can})
          (IP-INF-CAT (VB;_Tn_ win;{win})
                      (NP-OB1 (D a;{a})
                              (N shopping;{shopping})
                              (N trip;{trip})
                              (PP (P-ROLE to;{to})
                                  (NP (NPR New;{New})
                                      (NPR York;{York})))))
          (PUNC !))
  (ID 20_a_fce_0102_2000_06))

arc(r_0020_0002__could,r_0020_0003__win,scope).
arc(r_0020_0003__win,r_0020_0001__You,arg0).
arc(r_0020_0003__win,r_0020_0004__a_r_0020_0005__shopping_r_0020_0006__trip,arg1).
arc(r_0020_0004__a_r_0020_0005__shopping_r_0020_0006__trip,r_0020_0008__New_r_0020_0009__York,r_0020_0007__to).

fof(formula,axiom,
    ? [R_0020_0001__YOU,R_0020_0008__NEW_R_0020_0009__YORK,R_0020_0004__A_R_0020_0005__SHOPPING_R_0020_0006__TRIP,R_0020_0002__COULD_R_0020_0003__WIN] :
      ( r_0020_0001__You(R_0020_0001__YOU)
      & r_0020_0008__New_r_0020_0009__York(R_0020_0008__NEW_R_0020_0009__YORK)
      & r_0020_0002__could_r_0020_0003__win(R_0020_0002__COULD_R_0020_0003__WIN)
      & has_arg1(R_0020_0002__COULD_R_0020_0003__WIN,R_0020_0004__A_R_0020_0005__SHOPPING_R_0020_0006__TRIP)
      & r_0020_0004__a_r_0020_0005__shopping_r_0020_0006__trip(R_0020_0004__A_R_0020_0005__SHOPPING_R_0020_0006__TRIP)
      & has_r_0020_0007__to(R_0020_0004__A_R_0020_0005__SHOPPING_R_0020_0006__TRIP,R_0020_0008__NEW_R_0020_0009__YORK)
      & has_arg0(R_0020_0002__COULD_R_0020_0003__WIN,R_0020_0001__YOU) ) ).