32_a_fce_0102_2001_12
Write a letter to your friend about the book you have read, explaining why it would be suitable for your pen friend to read on holiday.

%3 r_0032_0001__Write Write r_0032_0002__a_r_0032_0003__letter a letter r_0032_0001__Write->r_0032_0002__a_r_0032_0003__letter [arg1] r_0032_0006__friend friend r_0032_0001__Write->r_0032_0006__friend [arg2] r_0032_0008__the_r_0032_0009__book the book r_0032_0001__Write->r_0032_0008__the_r_0032_0009__book about [nim] z_000_32_a_fce_0102_2001_12_1 r_0032_0001__Write->z_000_32_a_fce_0102_2001_12_1 [arg0] r_0032_0005__your your r_0032_0006__friend->r_0032_0005__your [gen] r_0032_0011__have have r_0032_0012__read read r_0032_0011__have->r_0032_0012__read [scope] r_0032_0012__read->r_0032_0008__the_r_0032_0009__book [arg1] r_0032_0012__read->r_0032_0005__your [arg0] r_0032_0014__explaining explaining r_0032_0014__explaining->z_000_32_a_fce_0102_2001_12_1 [arg0] r_0032_0017__would would r_0032_0014__explaining->r_0032_0017__would [arg1] r_0032_0018__be be r_0032_0017__would->r_0032_0018__be [scope] r_0032_0015__why why r_0032_0018__be->r_0032_0015__why [nim] r_0032_0019__suitable suitable r_0032_0018__be->r_0032_0019__suitable [prd] r_0032_0020__for_r_0032_0024__to_r_0032_0025__read for to read r_0032_0018__be->r_0032_0020__for_r_0032_0024__to_r_0032_0025__read [arg0] r_0032_0020__for_r_0032_0024__to_r_0032_0025__read->r_0032_0008__the_r_0032_0009__book [arg1] r_0032_0022__pen_r_0032_0023__friend pen friend r_0032_0020__for_r_0032_0024__to_r_0032_0025__read->r_0032_0022__pen_r_0032_0023__friend [arg0] r_0032_0027__holiday holiday r_0032_0020__for_r_0032_0024__to_r_0032_0025__read->r_0032_0027__holiday on [nim] r_0032_0022__pen_r_0032_0023__friend->r_0032_0005__your [gen] z_000_32_a_fce_0102_2001_12_39 z_000_32_a_fce_0102_2001_12_39->r_0032_0001__Write [scope] z_000_32_a_fce_0102_2001_12_39->r_0032_0014__explaining [restriction]
arc(r_0032_0001__Write, r_0032_0002__a_r_0032_0003__letter, arg1).
arc(r_0032_0001__Write, r_0032_0006__friend, arg2).
arc(r_0032_0001__Write, r_0032_0008__the_r_0032_0009__book, r_0032_0007__about_nim21).
arc(r_0032_0001__Write, z_000_32_a_fce_0102_2001_12_1, arg0).
arc(r_0032_0006__friend, r_0032_0005__your, gen).
arc(r_0032_0011__have, r_0032_0012__read, scope).
arc(r_0032_0012__read, r_0032_0005__your, arg0).
arc(r_0032_0012__read, r_0032_0008__the_r_0032_0009__book, arg1).
arc(r_0032_0014__explaining, r_0032_0017__would, arg1).
arc(r_0032_0014__explaining, z_000_32_a_fce_0102_2001_12_1, arg0).
arc(r_0032_0017__would, r_0032_0018__be, scope).
arc(r_0032_0018__be, r_0032_0015__why, nim54).
arc(r_0032_0018__be, r_0032_0019__suitable, prd).
arc(r_0032_0018__be, r_0032_0020__for_r_0032_0024__to_r_0032_0025__read, arg0).
arc(r_0032_0020__for_r_0032_0024__to_r_0032_0025__read, r_0032_0008__the_r_0032_0009__book, arg1).
arc(r_0032_0020__for_r_0032_0024__to_r_0032_0025__read, r_0032_0022__pen_r_0032_0023__friend, arg0).
arc(r_0032_0020__for_r_0032_0024__to_r_0032_0025__read, r_0032_0027__holiday, r_0032_0026__on_nim79).
arc(r_0032_0022__pen_r_0032_0023__friend, r_0032_0005__your, gen).
arc(z_000_32_a_fce_0102_2001_12_39, r_0032_0001__Write, scope).
arc(z_000_32_a_fce_0102_2001_12_39, r_0032_0014__explaining, restriction).



%3 r_0032_0001__Write Write r_0032_0002__a_r_0032_0003__letter a letter r_0032_0001__Write->r_0032_0002__a_r_0032_0003__letter [arg1] r_0032_0006__friend friend r_0032_0001__Write->r_0032_0006__friend [arg2] r_0032_0008__the_r_0032_0009__book the book r_0032_0001__Write->r_0032_0008__the_r_0032_0009__book about [nim] z_000_32_a_fce_0102_2001_12_1 r_0032_0001__Write->z_000_32_a_fce_0102_2001_12_1 [arg0] r_0032_0005__your your r_0032_0006__friend->r_0032_0005__your [gen] r_0032_0011__have_r_0032_0012__read have read r_0032_0011__have_r_0032_0012__read->r_0032_0008__the_r_0032_0009__book [arg1] r_0032_0011__have_r_0032_0012__read->r_0032_0005__your [arg0] r_0032_0014__explaining explaining r_0032_0014__explaining->z_000_32_a_fce_0102_2001_12_1 [arg0] r_0032_0017__would_r_0032_0018__be would be r_0032_0014__explaining->r_0032_0017__would_r_0032_0018__be [arg1] r_0032_0015__why why r_0032_0017__would_r_0032_0018__be->r_0032_0015__why [nim] r_0032_0019__suitable suitable r_0032_0017__would_r_0032_0018__be->r_0032_0019__suitable [prd] r_0032_0020__for_r_0032_0024__to_r_0032_0025__read for to read r_0032_0017__would_r_0032_0018__be->r_0032_0020__for_r_0032_0024__to_r_0032_0025__read [arg0] r_0032_0020__for_r_0032_0024__to_r_0032_0025__read->r_0032_0008__the_r_0032_0009__book [arg1] r_0032_0022__pen_r_0032_0023__friend pen friend r_0032_0020__for_r_0032_0024__to_r_0032_0025__read->r_0032_0022__pen_r_0032_0023__friend [arg0] r_0032_0027__holiday holiday r_0032_0020__for_r_0032_0024__to_r_0032_0025__read->r_0032_0027__holiday on [nim] r_0032_0022__pen_r_0032_0023__friend->r_0032_0005__your [gen] z_000_32_a_fce_0102_2001_12_39 z_000_32_a_fce_0102_2001_12_39->r_0032_0001__Write [conj2] z_000_32_a_fce_0102_2001_12_39->r_0032_0014__explaining [conj1]
fof(formula,axiom,
    ? [R_32_11_HAVE_READ,Z_32_A_FCE_102_2001_12_39,R_32_14_EXPLAINING,R_32_17_WOULD_BE,R_32_20_FOR_TO_READ,R_32_22_PEN_FRIEND,R_32_27_HOLIDAY,R_32_15_WHY,R_32_19_SUITABLE,R_32_1_WRITE,Z_32_A_FCE_102_2001_12_1,R_32_2_A_LETTER,R_32_6_FRIEND,R_32_5_YOUR,R_32_8_THE_BOOK] :
      ( holiday(R_32_27_HOLIDAY)
      & why(R_32_15_WHY)
      & suitable(R_32_19_SUITABLE)
      & a_letter(R_32_2_A_LETTER)
      & your(R_32_5_YOUR)
      & the_book(R_32_8_THE_BOOK)
      & have_read(R_32_11_HAVE_READ,R_32_5_YOUR,R_32_8_THE_BOOK)
      & z_32_a_fce_102_2001_12_39(Z_32_A_FCE_102_2001_12_39)
      & conj1(Z_32_A_FCE_102_2001_12_39,R_32_14_EXPLAINING)
      & explaining(R_32_14_EXPLAINING,Z_32_A_FCE_102_2001_12_1,R_32_17_WOULD_BE)
      & would_be(R_32_17_WOULD_BE,R_32_20_FOR_TO_READ,R_32_19_SUITABLE)
      & for_to_read(R_32_20_FOR_TO_READ,R_32_22_PEN_FRIEND,R_32_8_THE_BOOK)
      & pen_friend(R_32_22_PEN_FRIEND)
      & gen(R_32_22_PEN_FRIEND,R_32_5_YOUR)
      & on_nim79(R_32_20_FOR_TO_READ,R_32_27_HOLIDAY)
      & nim54(R_32_17_WOULD_BE,R_32_15_WHY)
      & conj2(Z_32_A_FCE_102_2001_12_39,R_32_1_WRITE)
      & write(R_32_1_WRITE,Z_32_A_FCE_102_2001_12_1,R_32_2_A_LETTER,R_32_6_FRIEND)
      & friend(R_32_6_FRIEND)
      & gen(R_32_6_FRIEND,R_32_5_YOUR)
      & about_nim21(R_32_1_WRITE,R_32_8_THE_BOOK) ) ).



n32_a_fce_0102_2001_12 n32_a_fce_0102_2001_12_3 Write n32_a_fce_0102_2001_12_6 a n32_a_fce_0102_2001_12_8 letter n32_a_fce_0102_2001_12_11 to n32_a_fce_0102_2001_12_15 your n32_a_fce_0102_2001_12_17 friend n32_a_fce_0102_2001_12_20 about n32_a_fce_0102_2001_12_23 the n32_a_fce_0102_2001_12_25 book n32_a_fce_0102_2001_12_29 you n32_a_fce_0102_2001_12_31 have n32_a_fce_0102_2001_12_34 *T* n32_a_fce_0102_2001_12_36 read n32_a_fce_0102_2001_12_38 , n32_a_fce_0102_2001_12_42 explaining n32_a_fce_0102_2001_12_47 why n32_a_fce_0102_2001_12_50 it n32_a_fce_0102_2001_12_52 would n32_a_fce_0102_2001_12_55 *ICH*-128 n32_a_fce_0102_2001_12_57 be n32_a_fce_0102_2001_12_60 suitable n32_a_fce_0102_2001_12_63 for n32_a_fce_0102_2001_12_67 your n32_a_fce_0102_2001_12_69 pen n32_a_fce_0102_2001_12_71 friend n32_a_fce_0102_2001_12_73 to n32_a_fce_0102_2001_12_75 read n32_a_fce_0102_2001_12_78 on n32_a_fce_0102_2001_12_81 holiday n32_a_fce_0102_2001_12_83 . n32_a_fce_0102_2001_12_1 IP-IMP n32_a_fce_0102_2001_12_2 VB;_Dn.pr_ n32_a_fce_0102_2001_12_1->n32_a_fce_0102_2001_12_2 n32_a_fce_0102_2001_12_4 NP-OB1 n32_a_fce_0102_2001_12_1->n32_a_fce_0102_2001_12_4 n32_a_fce_0102_2001_12_9 PP-OB2 n32_a_fce_0102_2001_12_1->n32_a_fce_0102_2001_12_9 n32_a_fce_0102_2001_12_18 PP-NIM n32_a_fce_0102_2001_12_1->n32_a_fce_0102_2001_12_18 n32_a_fce_0102_2001_12_37 PUNC n32_a_fce_0102_2001_12_1->n32_a_fce_0102_2001_12_37 n32_a_fce_0102_2001_12_39 PP-SCON n32_a_fce_0102_2001_12_1->n32_a_fce_0102_2001_12_39 n32_a_fce_0102_2001_12_82 PUNC n32_a_fce_0102_2001_12_1->n32_a_fce_0102_2001_12_82 n32_a_fce_0102_2001_12_2->n32_a_fce_0102_2001_12_3 n32_a_fce_0102_2001_12_5 D n32_a_fce_0102_2001_12_4->n32_a_fce_0102_2001_12_5 n32_a_fce_0102_2001_12_7 N n32_a_fce_0102_2001_12_4->n32_a_fce_0102_2001_12_7 n32_a_fce_0102_2001_12_5->n32_a_fce_0102_2001_12_6 n32_a_fce_0102_2001_12_7->n32_a_fce_0102_2001_12_8 n32_a_fce_0102_2001_12_10 P-ROLE n32_a_fce_0102_2001_12_9->n32_a_fce_0102_2001_12_10 n32_a_fce_0102_2001_12_12 NP n32_a_fce_0102_2001_12_9->n32_a_fce_0102_2001_12_12 n32_a_fce_0102_2001_12_10->n32_a_fce_0102_2001_12_11 n32_a_fce_0102_2001_12_13 NP-GEN n32_a_fce_0102_2001_12_12->n32_a_fce_0102_2001_12_13 n32_a_fce_0102_2001_12_16 N n32_a_fce_0102_2001_12_12->n32_a_fce_0102_2001_12_16 n32_a_fce_0102_2001_12_14 PRO;_genm_ n32_a_fce_0102_2001_12_13->n32_a_fce_0102_2001_12_14 n32_a_fce_0102_2001_12_14->n32_a_fce_0102_2001_12_15 n32_a_fce_0102_2001_12_16->n32_a_fce_0102_2001_12_17 n32_a_fce_0102_2001_12_19 P-ROLE n32_a_fce_0102_2001_12_18->n32_a_fce_0102_2001_12_19 n32_a_fce_0102_2001_12_21 NP n32_a_fce_0102_2001_12_18->n32_a_fce_0102_2001_12_21 n32_a_fce_0102_2001_12_19->n32_a_fce_0102_2001_12_20 n32_a_fce_0102_2001_12_22 D n32_a_fce_0102_2001_12_21->n32_a_fce_0102_2001_12_22 n32_a_fce_0102_2001_12_24 N n32_a_fce_0102_2001_12_21->n32_a_fce_0102_2001_12_24 n32_a_fce_0102_2001_12_26 IP-REL n32_a_fce_0102_2001_12_21->n32_a_fce_0102_2001_12_26 n32_a_fce_0102_2001_12_22->n32_a_fce_0102_2001_12_23 n32_a_fce_0102_2001_12_24->n32_a_fce_0102_2001_12_25 n32_a_fce_0102_2001_12_27 NP-SBJ n32_a_fce_0102_2001_12_26->n32_a_fce_0102_2001_12_27 n32_a_fce_0102_2001_12_30 HVP;_cat_Ve_ n32_a_fce_0102_2001_12_26->n32_a_fce_0102_2001_12_30 n32_a_fce_0102_2001_12_32 IP-PPL-CAT n32_a_fce_0102_2001_12_26->n32_a_fce_0102_2001_12_32 n32_a_fce_0102_2001_12_28 PRO n32_a_fce_0102_2001_12_27->n32_a_fce_0102_2001_12_28 n32_a_fce_0102_2001_12_28->n32_a_fce_0102_2001_12_29 n32_a_fce_0102_2001_12_30->n32_a_fce_0102_2001_12_31 n32_a_fce_0102_2001_12_33 NP-OB1 n32_a_fce_0102_2001_12_32->n32_a_fce_0102_2001_12_33 n32_a_fce_0102_2001_12_35 VVN;_Tn_ n32_a_fce_0102_2001_12_32->n32_a_fce_0102_2001_12_35 n32_a_fce_0102_2001_12_33->n32_a_fce_0102_2001_12_34 n32_a_fce_0102_2001_12_35->n32_a_fce_0102_2001_12_36 n32_a_fce_0102_2001_12_37->n32_a_fce_0102_2001_12_38 n32_a_fce_0102_2001_12_40 IP-PPL2 n32_a_fce_0102_2001_12_39->n32_a_fce_0102_2001_12_40 n32_a_fce_0102_2001_12_41 VAG;_Tw_ n32_a_fce_0102_2001_12_40->n32_a_fce_0102_2001_12_41 n32_a_fce_0102_2001_12_43 CP-QUE-OB1 n32_a_fce_0102_2001_12_40->n32_a_fce_0102_2001_12_43 n32_a_fce_0102_2001_12_41->n32_a_fce_0102_2001_12_42 n32_a_fce_0102_2001_12_44 IP-SUB n32_a_fce_0102_2001_12_43->n32_a_fce_0102_2001_12_44 n32_a_fce_0102_2001_12_45 ADVP-128 n32_a_fce_0102_2001_12_44->n32_a_fce_0102_2001_12_45 n32_a_fce_0102_2001_12_48 NP-SBJ n32_a_fce_0102_2001_12_44->n32_a_fce_0102_2001_12_48 n32_a_fce_0102_2001_12_51 MD;_cat_Vi_ n32_a_fce_0102_2001_12_44->n32_a_fce_0102_2001_12_51 n32_a_fce_0102_2001_12_53 IP-INF-CAT n32_a_fce_0102_2001_12_44->n32_a_fce_0102_2001_12_53 n32_a_fce_0102_2001_12_46 WADV n32_a_fce_0102_2001_12_45->n32_a_fce_0102_2001_12_46 n32_a_fce_0102_2001_12_46->n32_a_fce_0102_2001_12_47 n32_a_fce_0102_2001_12_49 PRO n32_a_fce_0102_2001_12_48->n32_a_fce_0102_2001_12_49 n32_a_fce_0102_2001_12_49->n32_a_fce_0102_2001_12_50 n32_a_fce_0102_2001_12_51->n32_a_fce_0102_2001_12_52 n32_a_fce_0102_2001_12_54 ADVP-NIM n32_a_fce_0102_2001_12_53->n32_a_fce_0102_2001_12_54 n32_a_fce_0102_2001_12_56 BE;_La_ n32_a_fce_0102_2001_12_53->n32_a_fce_0102_2001_12_56 n32_a_fce_0102_2001_12_58 ADJP-PRD n32_a_fce_0102_2001_12_53->n32_a_fce_0102_2001_12_58 n32_a_fce_0102_2001_12_61 IP-INF-NSBJ n32_a_fce_0102_2001_12_53->n32_a_fce_0102_2001_12_61 n32_a_fce_0102_2001_12_54->n32_a_fce_0102_2001_12_55 n32_a_fce_0102_2001_12_56->n32_a_fce_0102_2001_12_57 n32_a_fce_0102_2001_12_59 ADJ n32_a_fce_0102_2001_12_58->n32_a_fce_0102_2001_12_59 n32_a_fce_0102_2001_12_59->n32_a_fce_0102_2001_12_60 n32_a_fce_0102_2001_12_62 P-CONN n32_a_fce_0102_2001_12_61->n32_a_fce_0102_2001_12_62 n32_a_fce_0102_2001_12_64 NP-LGS n32_a_fce_0102_2001_12_61->n32_a_fce_0102_2001_12_64 n32_a_fce_0102_2001_12_72 TO n32_a_fce_0102_2001_12_61->n32_a_fce_0102_2001_12_72 n32_a_fce_0102_2001_12_74 VB;_Tn_ n32_a_fce_0102_2001_12_61->n32_a_fce_0102_2001_12_74 n32_a_fce_0102_2001_12_76 PP-NIM n32_a_fce_0102_2001_12_61->n32_a_fce_0102_2001_12_76 n32_a_fce_0102_2001_12_62->n32_a_fce_0102_2001_12_63 n32_a_fce_0102_2001_12_65 NP-GEN n32_a_fce_0102_2001_12_64->n32_a_fce_0102_2001_12_65 n32_a_fce_0102_2001_12_68 N n32_a_fce_0102_2001_12_64->n32_a_fce_0102_2001_12_68 n32_a_fce_0102_2001_12_70 N n32_a_fce_0102_2001_12_64->n32_a_fce_0102_2001_12_70 n32_a_fce_0102_2001_12_66 PRO;_genm_ n32_a_fce_0102_2001_12_65->n32_a_fce_0102_2001_12_66 n32_a_fce_0102_2001_12_66->n32_a_fce_0102_2001_12_67 n32_a_fce_0102_2001_12_68->n32_a_fce_0102_2001_12_69 n32_a_fce_0102_2001_12_70->n32_a_fce_0102_2001_12_71 n32_a_fce_0102_2001_12_72->n32_a_fce_0102_2001_12_73 n32_a_fce_0102_2001_12_74->n32_a_fce_0102_2001_12_75 n32_a_fce_0102_2001_12_77 P-ROLE n32_a_fce_0102_2001_12_76->n32_a_fce_0102_2001_12_77 n32_a_fce_0102_2001_12_79 NP n32_a_fce_0102_2001_12_76->n32_a_fce_0102_2001_12_79 n32_a_fce_0102_2001_12_77->n32_a_fce_0102_2001_12_78 n32_a_fce_0102_2001_12_80 N n32_a_fce_0102_2001_12_79->n32_a_fce_0102_2001_12_80 n32_a_fce_0102_2001_12_80->n32_a_fce_0102_2001_12_81 n32_a_fce_0102_2001_12_82->n32_a_fce_0102_2001_12_83
( (IP-IMP (VB;_Dn.pr_ Write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (NP-GEN (PRO;_genm_ your;{your}))
                      (N friend;{friend})))
          (PP-NIM (P-ROLE about;{about})
                  (NP;{BOOK} (D the;{the})
                             (N book;{book})
                             (IP-REL (NP-SBJ (PRO you;{you}))
                                     (HVP;_cat_Ve_ have;{have})
                                     (IP-PPL-CAT (NP-OB1 *T*)
                                                 (VVN;_Tn_ read;{read})))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tw_ explaining;{explain})
                            (CP-QUE-OB1 (IP-SUB (ADVP-128 (WADV why;{why}))
                                                (NP-SBJ;{BOOK} (PRO it;{it}))
                                                (MD;_cat_Vi_ would;{will})
                                                (IP-INF-CAT (ADVP-NIM *ICH*-128)
                                                            (BE;_La_ be;{be})
                                                            (ADJP-PRD (ADJ suitable;{suitable}))
                                                            (IP-INF-NSBJ (P-CONN for;{for})
                                                                         (NP-LGS (NP-GEN (PRO;_genm_ your;{your}))
                                                                                 (N pen;{pen})
                                                                                 (N friend;{friend}))
                                                                         (TO to;{to})
                                                                         (VB;_Tn_ read;{read})
                                                                         (PP-NIM (P-ROLE on;{on})
                                                                                 (NP (N holiday;{holiday})))))))))
          (PUNC .))
  (ID 32_a_fce_0102_2001_12))