32_a_fce_0100_2000_12
Write a letter to your pen friend giving your opinion with reference to the book or short story you have read.

%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__pen_r_0032_0007__friend pen friend r_0032_0001__Write->r_0032_0006__pen_r_0032_0007__friend [arg2] z_000_32_a_fce_0100_2000_12_1 r_0032_0001__Write->z_000_32_a_fce_0100_2000_12_1 [arg0] r_0032_0005__your your r_0032_0006__pen_r_0032_0007__friend->r_0032_0005__your [gen] r_0032_0008__giving giving r_0032_0008__giving->z_000_32_a_fce_0100_2000_12_1 [arg0] r_0032_0010__opinion opinion r_0032_0008__giving->r_0032_0010__opinion [arg1] r_0032_0012__reference reference r_0032_0008__giving->r_0032_0012__reference with [nim] r_0032_0010__opinion->r_0032_0005__your [gen] r_0032_0016__or or r_0032_0012__reference->r_0032_0016__or to r_0032_0015__book book r_0032_0016__or->r_0032_0015__book [conj1] r_0032_0018__story story r_0032_0016__or->r_0032_0018__story [conj2] r_0032_0017__short short r_0032_0018__story->r_0032_0017__short [attrib] r_0032_0020__have have r_0032_0021__read read r_0032_0020__have->r_0032_0021__read [scope] r_0032_0021__read->r_0032_0005__your [arg0] r_0032_0021__read->r_0032_0016__or [arg1] z_000_32_a_fce_0100_2000_12_20 z_000_32_a_fce_0100_2000_12_20->r_0032_0001__Write [scope] z_000_32_a_fce_0100_2000_12_20->r_0032_0008__giving [restriction]
arc(r_0032_0001__Write, r_0032_0002__a_r_0032_0003__letter, arg1).
arc(r_0032_0001__Write, r_0032_0006__pen_r_0032_0007__friend, arg2).
arc(r_0032_0001__Write, z_000_32_a_fce_0100_2000_12_1, arg0).
arc(r_0032_0006__pen_r_0032_0007__friend, r_0032_0005__your, gen).
arc(r_0032_0008__giving, r_0032_0010__opinion, arg1).
arc(r_0032_0008__giving, r_0032_0012__reference, r_0032_0011__with_nim33).
arc(r_0032_0008__giving, z_000_32_a_fce_0100_2000_12_1, arg0).
arc(r_0032_0010__opinion, r_0032_0005__your, gen).
arc(r_0032_0012__reference, r_0032_0016__or, r_0032_0013__to).
arc(r_0032_0016__or, r_0032_0015__book, conj1).
arc(r_0032_0016__or, r_0032_0018__story, conj2).
arc(r_0032_0018__story, r_0032_0017__short, attrib50).
arc(r_0032_0020__have, r_0032_0021__read, scope).
arc(r_0032_0021__read, r_0032_0005__your, arg0).
arc(r_0032_0021__read, r_0032_0016__or, arg1).
arc(z_000_32_a_fce_0100_2000_12_20, r_0032_0001__Write, scope).
arc(z_000_32_a_fce_0100_2000_12_20, r_0032_0008__giving, 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__pen_r_0032_0007__friend pen friend r_0032_0001__Write->r_0032_0006__pen_r_0032_0007__friend [arg2] z_000_32_a_fce_0100_2000_12_1 r_0032_0001__Write->z_000_32_a_fce_0100_2000_12_1 [arg0] r_0032_0005__your your r_0032_0006__pen_r_0032_0007__friend->r_0032_0005__your [gen] r_0032_0008__giving giving r_0032_0008__giving->z_000_32_a_fce_0100_2000_12_1 [arg0] r_0032_0010__opinion opinion r_0032_0008__giving->r_0032_0010__opinion [arg1] r_0032_0012__reference reference r_0032_0008__giving->r_0032_0012__reference with [nim] r_0032_0010__opinion->r_0032_0005__your [gen] r_0032_0016__or or r_0032_0012__reference->r_0032_0016__or to r_0032_0015__book book r_0032_0016__or->r_0032_0015__book [conj1] r_0032_0018__story story r_0032_0016__or->r_0032_0018__story [conj2] r_0032_0017__short short r_0032_0018__story->r_0032_0017__short [attrib] r_0032_0020__have_r_0032_0021__read have read r_0032_0020__have_r_0032_0021__read->r_0032_0005__your [arg0] r_0032_0020__have_r_0032_0021__read->r_0032_0016__or [arg1] z_000_32_a_fce_0100_2000_12_20 z_000_32_a_fce_0100_2000_12_20->r_0032_0001__Write [conj2] z_000_32_a_fce_0100_2000_12_20->r_0032_0008__giving [conj1]
fof(formula,axiom,
    ? [R_32_20_HAVE_READ,Z_32_A_FCE_100_2000_12_20,R_32_8_GIVING,R_32_10_OPINION,R_32_12_REFERENCE,R_32_16_OR,R_32_15_BOOK,R_32_18_STORY,R_32_17_SHORT,R_32_1_WRITE,Z_32_A_FCE_100_2000_12_1,R_32_2_A_LETTER,R_32_6_PEN_FRIEND,R_32_5_YOUR] :
      ( book(R_32_15_BOOK)
      & short(R_32_17_SHORT)
      & a_letter(R_32_2_A_LETTER)
      & your(R_32_5_YOUR)
      & have_read(R_32_20_HAVE_READ,R_32_5_YOUR,R_32_16_OR)
      & or(R_32_16_OR)
      & conj1(R_32_16_OR,R_32_15_BOOK)
      & conj2(R_32_16_OR,R_32_18_STORY)
      & story(R_32_18_STORY)
      & attrib50(R_32_18_STORY,R_32_17_SHORT)
      & z_32_a_fce_100_2000_12_20(Z_32_A_FCE_100_2000_12_20)
      & conj1(Z_32_A_FCE_100_2000_12_20,R_32_8_GIVING)
      & giving(R_32_8_GIVING,Z_32_A_FCE_100_2000_12_1,R_32_10_OPINION)
      & opinion(R_32_10_OPINION)
      & gen(R_32_10_OPINION,R_32_5_YOUR)
      & with_nim33(R_32_8_GIVING,R_32_12_REFERENCE)
      & reference(R_32_12_REFERENCE)
      & to(R_32_12_REFERENCE,R_32_16_OR)
      & conj2(Z_32_A_FCE_100_2000_12_20,R_32_1_WRITE)
      & write(R_32_1_WRITE,Z_32_A_FCE_100_2000_12_1,R_32_2_A_LETTER,R_32_6_PEN_FRIEND)
      & pen_friend(R_32_6_PEN_FRIEND)
      & gen(R_32_6_PEN_FRIEND,R_32_5_YOUR) ) ).



n32_a_fce_0100_2000_12 n32_a_fce_0100_2000_12_3 Write n32_a_fce_0100_2000_12_6 a n32_a_fce_0100_2000_12_8 letter n32_a_fce_0100_2000_12_11 to n32_a_fce_0100_2000_12_15 your n32_a_fce_0100_2000_12_17 pen n32_a_fce_0100_2000_12_19 friend n32_a_fce_0100_2000_12_23 giving n32_a_fce_0100_2000_12_27 your n32_a_fce_0100_2000_12_29 opinion n32_a_fce_0100_2000_12_32 with n32_a_fce_0100_2000_12_35 reference n32_a_fce_0100_2000_12_38 to n32_a_fce_0100_2000_12_41 the n32_a_fce_0100_2000_12_45 book n32_a_fce_0100_2000_12_48 or n32_a_fce_0100_2000_12_52 short n32_a_fce_0100_2000_12_54 story n32_a_fce_0100_2000_12_58 you n32_a_fce_0100_2000_12_60 have n32_a_fce_0100_2000_12_63 *T* n32_a_fce_0100_2000_12_65 read n32_a_fce_0100_2000_12_67 . n32_a_fce_0100_2000_12_1 IP-IMP n32_a_fce_0100_2000_12_2 VB;_Dn.pr_ n32_a_fce_0100_2000_12_1->n32_a_fce_0100_2000_12_2 n32_a_fce_0100_2000_12_4 NP-OB1 n32_a_fce_0100_2000_12_1->n32_a_fce_0100_2000_12_4 n32_a_fce_0100_2000_12_9 PP-OB2 n32_a_fce_0100_2000_12_1->n32_a_fce_0100_2000_12_9 n32_a_fce_0100_2000_12_20 PP-SCON n32_a_fce_0100_2000_12_1->n32_a_fce_0100_2000_12_20 n32_a_fce_0100_2000_12_66 PUNC n32_a_fce_0100_2000_12_1->n32_a_fce_0100_2000_12_66 n32_a_fce_0100_2000_12_2->n32_a_fce_0100_2000_12_3 n32_a_fce_0100_2000_12_5 D n32_a_fce_0100_2000_12_4->n32_a_fce_0100_2000_12_5 n32_a_fce_0100_2000_12_7 N n32_a_fce_0100_2000_12_4->n32_a_fce_0100_2000_12_7 n32_a_fce_0100_2000_12_5->n32_a_fce_0100_2000_12_6 n32_a_fce_0100_2000_12_7->n32_a_fce_0100_2000_12_8 n32_a_fce_0100_2000_12_10 P-ROLE n32_a_fce_0100_2000_12_9->n32_a_fce_0100_2000_12_10 n32_a_fce_0100_2000_12_12 NP n32_a_fce_0100_2000_12_9->n32_a_fce_0100_2000_12_12 n32_a_fce_0100_2000_12_10->n32_a_fce_0100_2000_12_11 n32_a_fce_0100_2000_12_13 NP-GEN n32_a_fce_0100_2000_12_12->n32_a_fce_0100_2000_12_13 n32_a_fce_0100_2000_12_16 N n32_a_fce_0100_2000_12_12->n32_a_fce_0100_2000_12_16 n32_a_fce_0100_2000_12_18 N n32_a_fce_0100_2000_12_12->n32_a_fce_0100_2000_12_18 n32_a_fce_0100_2000_12_14 PRO;_genm_ n32_a_fce_0100_2000_12_13->n32_a_fce_0100_2000_12_14 n32_a_fce_0100_2000_12_14->n32_a_fce_0100_2000_12_15 n32_a_fce_0100_2000_12_16->n32_a_fce_0100_2000_12_17 n32_a_fce_0100_2000_12_18->n32_a_fce_0100_2000_12_19 n32_a_fce_0100_2000_12_21 IP-PPL2 n32_a_fce_0100_2000_12_20->n32_a_fce_0100_2000_12_21 n32_a_fce_0100_2000_12_22 VAG;_Tn_ n32_a_fce_0100_2000_12_21->n32_a_fce_0100_2000_12_22 n32_a_fce_0100_2000_12_24 NP-OB1 n32_a_fce_0100_2000_12_21->n32_a_fce_0100_2000_12_24 n32_a_fce_0100_2000_12_30 PP-NIM n32_a_fce_0100_2000_12_21->n32_a_fce_0100_2000_12_30 n32_a_fce_0100_2000_12_22->n32_a_fce_0100_2000_12_23 n32_a_fce_0100_2000_12_25 NP-GEN n32_a_fce_0100_2000_12_24->n32_a_fce_0100_2000_12_25 n32_a_fce_0100_2000_12_28 N n32_a_fce_0100_2000_12_24->n32_a_fce_0100_2000_12_28 n32_a_fce_0100_2000_12_26 PRO;_genm_ n32_a_fce_0100_2000_12_25->n32_a_fce_0100_2000_12_26 n32_a_fce_0100_2000_12_26->n32_a_fce_0100_2000_12_27 n32_a_fce_0100_2000_12_28->n32_a_fce_0100_2000_12_29 n32_a_fce_0100_2000_12_31 P-ROLE n32_a_fce_0100_2000_12_30->n32_a_fce_0100_2000_12_31 n32_a_fce_0100_2000_12_33 NP n32_a_fce_0100_2000_12_30->n32_a_fce_0100_2000_12_33 n32_a_fce_0100_2000_12_31->n32_a_fce_0100_2000_12_32 n32_a_fce_0100_2000_12_34 N n32_a_fce_0100_2000_12_33->n32_a_fce_0100_2000_12_34 n32_a_fce_0100_2000_12_36 PP n32_a_fce_0100_2000_12_33->n32_a_fce_0100_2000_12_36 n32_a_fce_0100_2000_12_34->n32_a_fce_0100_2000_12_35 n32_a_fce_0100_2000_12_37 P-ROLE n32_a_fce_0100_2000_12_36->n32_a_fce_0100_2000_12_37 n32_a_fce_0100_2000_12_39 NP n32_a_fce_0100_2000_12_36->n32_a_fce_0100_2000_12_39 n32_a_fce_0100_2000_12_37->n32_a_fce_0100_2000_12_38 n32_a_fce_0100_2000_12_40 D n32_a_fce_0100_2000_12_39->n32_a_fce_0100_2000_12_40 n32_a_fce_0100_2000_12_42 NLYR n32_a_fce_0100_2000_12_39->n32_a_fce_0100_2000_12_42 n32_a_fce_0100_2000_12_55 IP-REL n32_a_fce_0100_2000_12_39->n32_a_fce_0100_2000_12_55 n32_a_fce_0100_2000_12_40->n32_a_fce_0100_2000_12_41 n32_a_fce_0100_2000_12_43 NLYR n32_a_fce_0100_2000_12_42->n32_a_fce_0100_2000_12_43 n32_a_fce_0100_2000_12_46 CONJP n32_a_fce_0100_2000_12_42->n32_a_fce_0100_2000_12_46 n32_a_fce_0100_2000_12_44 N n32_a_fce_0100_2000_12_43->n32_a_fce_0100_2000_12_44 n32_a_fce_0100_2000_12_44->n32_a_fce_0100_2000_12_45 n32_a_fce_0100_2000_12_47 CONJ n32_a_fce_0100_2000_12_46->n32_a_fce_0100_2000_12_47 n32_a_fce_0100_2000_12_49 NLYR n32_a_fce_0100_2000_12_46->n32_a_fce_0100_2000_12_49 n32_a_fce_0100_2000_12_47->n32_a_fce_0100_2000_12_48 n32_a_fce_0100_2000_12_50 ADJP n32_a_fce_0100_2000_12_49->n32_a_fce_0100_2000_12_50 n32_a_fce_0100_2000_12_53 N n32_a_fce_0100_2000_12_49->n32_a_fce_0100_2000_12_53 n32_a_fce_0100_2000_12_51 ADJ n32_a_fce_0100_2000_12_50->n32_a_fce_0100_2000_12_51 n32_a_fce_0100_2000_12_51->n32_a_fce_0100_2000_12_52 n32_a_fce_0100_2000_12_53->n32_a_fce_0100_2000_12_54 n32_a_fce_0100_2000_12_56 NP-SBJ n32_a_fce_0100_2000_12_55->n32_a_fce_0100_2000_12_56 n32_a_fce_0100_2000_12_59 HVP;_cat_Ve_ n32_a_fce_0100_2000_12_55->n32_a_fce_0100_2000_12_59 n32_a_fce_0100_2000_12_61 IP-PPL-CAT n32_a_fce_0100_2000_12_55->n32_a_fce_0100_2000_12_61 n32_a_fce_0100_2000_12_57 PRO n32_a_fce_0100_2000_12_56->n32_a_fce_0100_2000_12_57 n32_a_fce_0100_2000_12_57->n32_a_fce_0100_2000_12_58 n32_a_fce_0100_2000_12_59->n32_a_fce_0100_2000_12_60 n32_a_fce_0100_2000_12_62 NP-OB1 n32_a_fce_0100_2000_12_61->n32_a_fce_0100_2000_12_62 n32_a_fce_0100_2000_12_64 VVN;_Tn_ n32_a_fce_0100_2000_12_61->n32_a_fce_0100_2000_12_64 n32_a_fce_0100_2000_12_62->n32_a_fce_0100_2000_12_63 n32_a_fce_0100_2000_12_64->n32_a_fce_0100_2000_12_65 n32_a_fce_0100_2000_12_66->n32_a_fce_0100_2000_12_67
( (IP-IMP (VB;_Dn.pr_ Write;{write[to]})
          (NP-OB1;{LETTER} (D a;{a})
                           (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP;{FRIEND} (NP-GEN (PRO;_genm_ your;{your}))
                               (N pen;{pen})
                               (N friend;{friend})))
          (PP-SCON (IP-PPL2 (VAG;_Tn_ giving;{give})
                            (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                    (N opinion;{opinion}))
                            (PP-NIM (P-ROLE with;{with})
                                    (NP (N reference;{reference})
                                        (PP (P-ROLE to;{to})
                                            (NP;{BOOK} (D the;{the})
                                                       (NLYR (NLYR (N book;{book}))
                                                             (CONJP (CONJ or;{or})
                                                                    (NLYR (ADJP (ADJ short;{short}))
                                                                          (N story;{story}))))
                                                       (IP-REL (NP-SBJ (PRO you;{you}))
                                                               (HVP;_cat_Ve_ have;{have})
                                                               (IP-PPL-CAT (NP-OB1 *T*)
                                                                           (VVN;_Tn_ read;{read})))))))))
          (PUNC .))
  (ID 32_a_fce_0100_2000_12))