11_a_toeic
What is the woman shopping for?
arc(r_0011_0002__is, r_0011_0005__shopping, scope).
arc(r_0011_0005__shopping, r_0011_0001__What, r_0011_0006__for_clr19).
arc(r_0011_0005__shopping, 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_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_0002__IS_R_0011_0005__SHOPPING)
& has_arg0(R_0011_0002__IS_R_0011_0005__SHOPPING,R_0011_0003__THE_R_0011_0004__WOMAN)
& has_r_0011_0006__for_clr19(R_0011_0002__IS_R_0011_0005__SHOPPING,R_0011_0001__WHAT) ) ).
( (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))