4_a_fce_0101_2000_06
You have been asked to invite his wife to the party and to ask her advice on what present to buy for Mr Brown.

%3 r_0004_0002__have have r_0004_0003__been been r_0004_0002__have->r_0004_0003__been [scope] r_0004_0004__asked asked r_0004_0003__been->r_0004_0004__asked [scope] r_0004_0001__You You r_0004_0004__asked->r_0004_0001__You [arg2] r_0004_0012__and and r_0004_0004__asked->r_0004_0012__and [arg1] z_000_4_a_fce_0101_2000_06_11 r_0004_0004__asked->z_000_4_a_fce_0101_2000_06_11 [arg0] r_0004_0005__to_r_0004_0006__invite to invite r_0004_0012__and->r_0004_0005__to_r_0004_0006__invite [conj1] r_0004_0013__to_r_0004_0014__ask to ask r_0004_0012__and->r_0004_0013__to_r_0004_0014__ask [conj2] r_0004_0005__to_r_0004_0006__invite->r_0004_0001__You [arg0] r_0004_0008__wife wife r_0004_0005__to_r_0004_0006__invite->r_0004_0008__wife [arg1] r_0004_0010__the_r_0004_0011__party the party r_0004_0005__to_r_0004_0006__invite->r_0004_0010__the_r_0004_0011__party to [nim] r_0004_0007__his his r_0004_0008__wife->r_0004_0007__his [gen] r_0004_0013__to_r_0004_0014__ask->r_0004_0001__You [arg0] r_0004_0016__advice advice r_0004_0013__to_r_0004_0014__ask->r_0004_0016__advice [arg1] r_0004_0016__advice->r_0004_0008__wife [gen] r_0004_0020__to_r_0004_0021__buy to buy r_0004_0016__advice->r_0004_0020__to_r_0004_0021__buy on r_0004_0018__what_r_0004_0019__present what present r_0004_0020__to_r_0004_0021__buy->r_0004_0018__what_r_0004_0019__present [arg1] r_0004_0023__Mr_r_0004_0024__Brown Mr Brown r_0004_0020__to_r_0004_0021__buy->r_0004_0023__Mr_r_0004_0024__Brown [arg2] z_000_4_a_fce_0101_2000_06_54 r_0004_0020__to_r_0004_0021__buy->z_000_4_a_fce_0101_2000_06_54 [arg0]
arc(r_0004_0002__have, r_0004_0003__been, scope).
arc(r_0004_0003__been, r_0004_0004__asked, scope).
arc(r_0004_0004__asked, r_0004_0001__You, arg2).
arc(r_0004_0004__asked, r_0004_0012__and, arg1).
arc(r_0004_0004__asked, z_000_4_a_fce_0101_2000_06_11, arg0).
arc(r_0004_0005__to_r_0004_0006__invite, r_0004_0001__You, arg0).
arc(r_0004_0005__to_r_0004_0006__invite, r_0004_0008__wife, arg1).
arc(r_0004_0005__to_r_0004_0006__invite, r_0004_0010__the_r_0004_0011__party, r_0004_0009__to_nim31).
arc(r_0004_0008__wife, r_0004_0007__his, gen).
arc(r_0004_0012__and, r_0004_0005__to_r_0004_0006__invite, conj1).
arc(r_0004_0012__and, r_0004_0013__to_r_0004_0014__ask, conj2).
arc(r_0004_0013__to_r_0004_0014__ask, r_0004_0001__You, arg0).
arc(r_0004_0013__to_r_0004_0014__ask, r_0004_0016__advice, arg1).
arc(r_0004_0016__advice, r_0004_0008__wife, gen).
arc(r_0004_0016__advice, r_0004_0020__to_r_0004_0021__buy, r_0004_0017__on).
arc(r_0004_0020__to_r_0004_0021__buy, r_0004_0018__what_r_0004_0019__present, arg1).
arc(r_0004_0020__to_r_0004_0021__buy, r_0004_0023__Mr_r_0004_0024__Brown, arg2).
arc(r_0004_0020__to_r_0004_0021__buy, z_000_4_a_fce_0101_2000_06_54, arg0).



%3 r_0004_0002__have_r_0004_0003__been_r_0004_0004__asked have been asked r_0004_0001__You You r_0004_0002__have_r_0004_0003__been_r_0004_0004__asked->r_0004_0001__You [arg2] r_0004_0012__and and r_0004_0002__have_r_0004_0003__been_r_0004_0004__asked->r_0004_0012__and [arg1] z_000_4_a_fce_0101_2000_06_11 r_0004_0002__have_r_0004_0003__been_r_0004_0004__asked->z_000_4_a_fce_0101_2000_06_11 [arg0] r_0004_0005__to_r_0004_0006__invite to invite r_0004_0012__and->r_0004_0005__to_r_0004_0006__invite [conj1] r_0004_0013__to_r_0004_0014__ask to ask r_0004_0012__and->r_0004_0013__to_r_0004_0014__ask [conj2] r_0004_0005__to_r_0004_0006__invite->r_0004_0001__You [arg0] r_0004_0008__wife wife r_0004_0005__to_r_0004_0006__invite->r_0004_0008__wife [arg1] r_0004_0010__the_r_0004_0011__party the party r_0004_0005__to_r_0004_0006__invite->r_0004_0010__the_r_0004_0011__party to [nim] r_0004_0007__his his r_0004_0008__wife->r_0004_0007__his [gen] r_0004_0013__to_r_0004_0014__ask->r_0004_0001__You [arg0] r_0004_0016__advice advice r_0004_0013__to_r_0004_0014__ask->r_0004_0016__advice [arg1] r_0004_0016__advice->r_0004_0008__wife [gen] r_0004_0020__to_r_0004_0021__buy to buy r_0004_0016__advice->r_0004_0020__to_r_0004_0021__buy on r_0004_0018__what_r_0004_0019__present what present r_0004_0020__to_r_0004_0021__buy->r_0004_0018__what_r_0004_0019__present [arg1] r_0004_0023__Mr_r_0004_0024__Brown Mr Brown r_0004_0020__to_r_0004_0021__buy->r_0004_0023__Mr_r_0004_0024__Brown [arg2] z_000_4_a_fce_0101_2000_06_54 r_0004_0020__to_r_0004_0021__buy->z_000_4_a_fce_0101_2000_06_54 [arg0]
fof(formula,axiom,
    ? [R_4_2_HAVE_BEEN_ASKED,Z_4_A_FCE_101_2000_6_11,R_4_12_AND,R_4_5_TO_INVITE,R_4_10_THE_PARTY,R_4_13_TO_ASK,R_4_16_ADVICE,R_4_8_WIFE,R_4_7_HIS,R_4_20_TO_BUY,Z_4_A_FCE_101_2000_6_54,R_4_18_WHAT_PRESENT,R_4_23_MR_BROWN,R_4_1_YOU] :
      ( the_party(R_4_10_THE_PARTY)
      & his(R_4_7_HIS)
      & what_present(R_4_18_WHAT_PRESENT)
      & mr_Brown(R_4_23_MR_BROWN)
      & you(R_4_1_YOU)
      & have_been_asked(R_4_2_HAVE_BEEN_ASKED,Z_4_A_FCE_101_2000_6_11,R_4_12_AND,R_4_1_YOU)
      & and(R_4_12_AND)
      & conj1(R_4_12_AND,R_4_5_TO_INVITE)
      & to_invite(R_4_5_TO_INVITE,R_4_1_YOU,R_4_8_WIFE)
      & wife(R_4_8_WIFE)
      & gen(R_4_8_WIFE,R_4_7_HIS)
      & to_nim31(R_4_5_TO_INVITE,R_4_10_THE_PARTY)
      & conj2(R_4_12_AND,R_4_13_TO_ASK)
      & to_ask(R_4_13_TO_ASK,R_4_1_YOU,R_4_16_ADVICE)
      & advice(R_4_16_ADVICE)
      & gen(R_4_16_ADVICE,R_4_8_WIFE)
      & on(R_4_16_ADVICE,R_4_20_TO_BUY)
      & to_buy(R_4_20_TO_BUY,Z_4_A_FCE_101_2000_6_54,R_4_18_WHAT_PRESENT,R_4_23_MR_BROWN) ) ).



n4_a_fce_0101_2000_06 n4_a_fce_0101_2000_06_4 You n4_a_fce_0101_2000_06_6 have n4_a_fce_0101_2000_06_9 been n4_a_fce_0101_2000_06_12 * n4_a_fce_0101_2000_06_14 asked n4_a_fce_0101_2000_06_19 to n4_a_fce_0101_2000_06_21 invite n4_a_fce_0101_2000_06_25 his n4_a_fce_0101_2000_06_27 wife n4_a_fce_0101_2000_06_30 to n4_a_fce_0101_2000_06_33 the n4_a_fce_0101_2000_06_35 party n4_a_fce_0101_2000_06_38 and n4_a_fce_0101_2000_06_41 to n4_a_fce_0101_2000_06_43 ask n4_a_fce_0101_2000_06_47 her n4_a_fce_0101_2000_06_49 advice n4_a_fce_0101_2000_06_52 on n4_a_fce_0101_2000_06_57 what n4_a_fce_0101_2000_06_59 present n4_a_fce_0101_2000_06_61 to n4_a_fce_0101_2000_06_63 buy n4_a_fce_0101_2000_06_66 for n4_a_fce_0101_2000_06_69 Mr n4_a_fce_0101_2000_06_71 Brown n4_a_fce_0101_2000_06_73 . n4_a_fce_0101_2000_06_1 IP-MAT n4_a_fce_0101_2000_06_2 NP-SBJ n4_a_fce_0101_2000_06_1->n4_a_fce_0101_2000_06_2 n4_a_fce_0101_2000_06_5 HVP;_cat_Ve_ n4_a_fce_0101_2000_06_1->n4_a_fce_0101_2000_06_5 n4_a_fce_0101_2000_06_7 IP-PPL-CAT n4_a_fce_0101_2000_06_1->n4_a_fce_0101_2000_06_7 n4_a_fce_0101_2000_06_72 PUNC n4_a_fce_0101_2000_06_1->n4_a_fce_0101_2000_06_72 n4_a_fce_0101_2000_06_3 PRO n4_a_fce_0101_2000_06_2->n4_a_fce_0101_2000_06_3 n4_a_fce_0101_2000_06_3->n4_a_fce_0101_2000_06_4 n4_a_fce_0101_2000_06_5->n4_a_fce_0101_2000_06_6 n4_a_fce_0101_2000_06_8 BEN;_cat_VePASS_ n4_a_fce_0101_2000_06_7->n4_a_fce_0101_2000_06_8 n4_a_fce_0101_2000_06_10 IP-PPL-CAT n4_a_fce_0101_2000_06_7->n4_a_fce_0101_2000_06_10 n4_a_fce_0101_2000_06_8->n4_a_fce_0101_2000_06_9 n4_a_fce_0101_2000_06_11 NP-LGS n4_a_fce_0101_2000_06_10->n4_a_fce_0101_2000_06_11 n4_a_fce_0101_2000_06_13 VVN;_Dn.t_ n4_a_fce_0101_2000_06_10->n4_a_fce_0101_2000_06_13 n4_a_fce_0101_2000_06_15 IP-INF-OB1 n4_a_fce_0101_2000_06_10->n4_a_fce_0101_2000_06_15 n4_a_fce_0101_2000_06_11->n4_a_fce_0101_2000_06_12 n4_a_fce_0101_2000_06_13->n4_a_fce_0101_2000_06_14 n4_a_fce_0101_2000_06_16 ILYR n4_a_fce_0101_2000_06_15->n4_a_fce_0101_2000_06_16 n4_a_fce_0101_2000_06_17 ILYR n4_a_fce_0101_2000_06_16->n4_a_fce_0101_2000_06_17 n4_a_fce_0101_2000_06_36 CONJP n4_a_fce_0101_2000_06_16->n4_a_fce_0101_2000_06_36 n4_a_fce_0101_2000_06_18 TO n4_a_fce_0101_2000_06_17->n4_a_fce_0101_2000_06_18 n4_a_fce_0101_2000_06_20 VB;_Tn.pr_ n4_a_fce_0101_2000_06_17->n4_a_fce_0101_2000_06_20 n4_a_fce_0101_2000_06_22 NP-OB1 n4_a_fce_0101_2000_06_17->n4_a_fce_0101_2000_06_22 n4_a_fce_0101_2000_06_28 PP-NIM n4_a_fce_0101_2000_06_17->n4_a_fce_0101_2000_06_28 n4_a_fce_0101_2000_06_18->n4_a_fce_0101_2000_06_19 n4_a_fce_0101_2000_06_20->n4_a_fce_0101_2000_06_21 n4_a_fce_0101_2000_06_23 NP-GEN n4_a_fce_0101_2000_06_22->n4_a_fce_0101_2000_06_23 n4_a_fce_0101_2000_06_26 N n4_a_fce_0101_2000_06_22->n4_a_fce_0101_2000_06_26 n4_a_fce_0101_2000_06_24 PRO;_genm_ n4_a_fce_0101_2000_06_23->n4_a_fce_0101_2000_06_24 n4_a_fce_0101_2000_06_24->n4_a_fce_0101_2000_06_25 n4_a_fce_0101_2000_06_26->n4_a_fce_0101_2000_06_27 n4_a_fce_0101_2000_06_29 P-ROLE n4_a_fce_0101_2000_06_28->n4_a_fce_0101_2000_06_29 n4_a_fce_0101_2000_06_31 NP n4_a_fce_0101_2000_06_28->n4_a_fce_0101_2000_06_31 n4_a_fce_0101_2000_06_29->n4_a_fce_0101_2000_06_30 n4_a_fce_0101_2000_06_32 D n4_a_fce_0101_2000_06_31->n4_a_fce_0101_2000_06_32 n4_a_fce_0101_2000_06_34 N n4_a_fce_0101_2000_06_31->n4_a_fce_0101_2000_06_34 n4_a_fce_0101_2000_06_32->n4_a_fce_0101_2000_06_33 n4_a_fce_0101_2000_06_34->n4_a_fce_0101_2000_06_35 n4_a_fce_0101_2000_06_37 CONJ n4_a_fce_0101_2000_06_36->n4_a_fce_0101_2000_06_37 n4_a_fce_0101_2000_06_39 ILYR n4_a_fce_0101_2000_06_36->n4_a_fce_0101_2000_06_39 n4_a_fce_0101_2000_06_37->n4_a_fce_0101_2000_06_38 n4_a_fce_0101_2000_06_40 TO n4_a_fce_0101_2000_06_39->n4_a_fce_0101_2000_06_40 n4_a_fce_0101_2000_06_42 VB;_Tn_ n4_a_fce_0101_2000_06_39->n4_a_fce_0101_2000_06_42 n4_a_fce_0101_2000_06_44 NP-OB1 n4_a_fce_0101_2000_06_39->n4_a_fce_0101_2000_06_44 n4_a_fce_0101_2000_06_40->n4_a_fce_0101_2000_06_41 n4_a_fce_0101_2000_06_42->n4_a_fce_0101_2000_06_43 n4_a_fce_0101_2000_06_45 NP-GEN n4_a_fce_0101_2000_06_44->n4_a_fce_0101_2000_06_45 n4_a_fce_0101_2000_06_48 N n4_a_fce_0101_2000_06_44->n4_a_fce_0101_2000_06_48 n4_a_fce_0101_2000_06_50 PP n4_a_fce_0101_2000_06_44->n4_a_fce_0101_2000_06_50 n4_a_fce_0101_2000_06_46 PRO;_genm_ n4_a_fce_0101_2000_06_45->n4_a_fce_0101_2000_06_46 n4_a_fce_0101_2000_06_46->n4_a_fce_0101_2000_06_47 n4_a_fce_0101_2000_06_48->n4_a_fce_0101_2000_06_49 n4_a_fce_0101_2000_06_51 P-ROLE n4_a_fce_0101_2000_06_50->n4_a_fce_0101_2000_06_51 n4_a_fce_0101_2000_06_53 CP-QUE n4_a_fce_0101_2000_06_50->n4_a_fce_0101_2000_06_53 n4_a_fce_0101_2000_06_51->n4_a_fce_0101_2000_06_52 n4_a_fce_0101_2000_06_54 IP-INF n4_a_fce_0101_2000_06_53->n4_a_fce_0101_2000_06_54 n4_a_fce_0101_2000_06_55 NP-OB1 n4_a_fce_0101_2000_06_54->n4_a_fce_0101_2000_06_55 n4_a_fce_0101_2000_06_60 TO n4_a_fce_0101_2000_06_54->n4_a_fce_0101_2000_06_60 n4_a_fce_0101_2000_06_62 VB;_Dn.pr_ n4_a_fce_0101_2000_06_54->n4_a_fce_0101_2000_06_62 n4_a_fce_0101_2000_06_64 PP-OB2 n4_a_fce_0101_2000_06_54->n4_a_fce_0101_2000_06_64 n4_a_fce_0101_2000_06_56 WD n4_a_fce_0101_2000_06_55->n4_a_fce_0101_2000_06_56 n4_a_fce_0101_2000_06_58 N n4_a_fce_0101_2000_06_55->n4_a_fce_0101_2000_06_58 n4_a_fce_0101_2000_06_56->n4_a_fce_0101_2000_06_57 n4_a_fce_0101_2000_06_58->n4_a_fce_0101_2000_06_59 n4_a_fce_0101_2000_06_60->n4_a_fce_0101_2000_06_61 n4_a_fce_0101_2000_06_62->n4_a_fce_0101_2000_06_63 n4_a_fce_0101_2000_06_65 P-ROLE n4_a_fce_0101_2000_06_64->n4_a_fce_0101_2000_06_65 n4_a_fce_0101_2000_06_67 NP n4_a_fce_0101_2000_06_64->n4_a_fce_0101_2000_06_67 n4_a_fce_0101_2000_06_65->n4_a_fce_0101_2000_06_66 n4_a_fce_0101_2000_06_68 NPR n4_a_fce_0101_2000_06_67->n4_a_fce_0101_2000_06_68 n4_a_fce_0101_2000_06_70 NPR n4_a_fce_0101_2000_06_67->n4_a_fce_0101_2000_06_70 n4_a_fce_0101_2000_06_68->n4_a_fce_0101_2000_06_69 n4_a_fce_0101_2000_06_70->n4_a_fce_0101_2000_06_71 n4_a_fce_0101_2000_06_72->n4_a_fce_0101_2000_06_73
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Dn.t_ asked;{ask})
                                  (IP-INF-OB1 (ILYR (ILYR (TO to;{to})
                                                          (VB;_Tn.pr_ invite;{invite})
                                                          (NP-OB1;{WIFE_OF_BROWN} (NP-GEN;{BROWN} (PRO;_genm_ his;{his}))
                                                                                  (N wife;{wife}))
                                                          (PP-NIM (P-ROLE to;{to})
                                                                  (NP (D the;{the})
                                                                      (N party;{party}))))
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (TO to;{to})
                                                                 (VB;_Tn_ ask;{ask})
                                                                 (NP-OB1 (NP-GEN;{WIFE_OF_BROWN} (PRO;_genm_ her;{her}))
                                                                         (N advice;{advice})
                                                                         (PP (P-ROLE on;{on})
                                                                             (CP-QUE (IP-INF (NP-OB1 (WD what;{what})
                                                                                                     (N present;{present}))
                                                                                             (TO to;{to})
                                                                                             (VB;_Dn.pr_ buy;{buy[for]})
                                                                                             (PP-OB2 (P-ROLE for;{for})
                                                                                                     (NP;{BROWN} (NPR Mr;{Mr})
                                                                                                                 (NPR Brown;{Brown})))))))))))))
          (PUNC .))
  (ID 4_a_fce_0101_2000_06))