( (CP-QUE-MAT (IP-SUB (NP-119 (WPRO What;{what}))
                      (BEP;_cat_Vg_ is;{be})
                      (NP-SBJ (D the;{the})
                              (N woman;{woman}))
                      (IP-PPL-CAT (VAG;_Ipr_ shopping;{shop[for]})
                                  (PP-CLR (P-ROLE for;{for})
                                          (NP *ICH*-119))))
              (PUNC ?))
  (ID 11_a_toeic;32-34))

arc(r_0011_0002__is,r_0011_0005__shopping_r_0011_0006__for,scope).
arc(r_0011_0005__shopping_r_0011_0006__for,r_0011_0001__What,arg1).
arc(r_0011_0005__shopping_r_0011_0006__for,r_0011_0003__the_r_0011_0004__woman,arg0).

fof(formula,axiom,
    ? [R_0011_0001__WHAT,R_0011_0003__THE_R_0011_0004__WOMAN,R_0011_0002__IS_R_0011_0005__SHOPPING_R_0011_0006__FOR] :
      ( r_0011_0001__What(R_0011_0001__WHAT)
      & r_0011_0003__the_r_0011_0004__woman(R_0011_0003__THE_R_0011_0004__WOMAN)
      & r_0011_0002__is_r_0011_0005__shopping_r_0011_0006__for(R_0011_0002__IS_R_0011_0005__SHOPPING_R_0011_0006__FOR)
      & has_arg0(R_0011_0002__IS_R_0011_0005__SHOPPING_R_0011_0006__FOR,R_0011_0003__THE_R_0011_0004__WOMAN)
      & has_arg1(R_0011_0002__IS_R_0011_0005__SHOPPING_R_0011_0006__FOR,R_0011_0001__WHAT) ) ).