Context                Previous, Next                Top


29_a_fce_0102_2000_06
Write a letter to a friend who has not read the book, explaining why your friend should listen to the programme.

%3 r_0029_0001__Write Write r_0029_0002__a_r_0029_0003__letter a letter r_0029_0001__Write->r_0029_0002__a_r_0029_0003__letter [arg1] r_0029_0005__a_r_0029_0006__friend a friend r_0029_0001__Write->r_0029_0005__a_r_0029_0006__friend [arg2] z_000_29_a_fce_0102_2000_06_1 r_0029_0001__Write->z_000_29_a_fce_0102_2000_06_1 [arg0] r_0029_0008__has has r_0029_0010__read read r_0029_0008__has->r_0029_0010__read [scope] r_0029_0010__read->r_0029_0005__a_r_0029_0006__friend [arg0] r_0029_0011__the_r_0029_0012__book the book r_0029_0010__read->r_0029_0011__the_r_0029_0012__book [arg1] r_0029_0009__not not r_0029_0009__not->r_0029_0008__has [keep_scope] r_0029_0014__explaining explaining r_0029_0014__explaining->z_000_29_a_fce_0102_2000_06_1 [arg0] r_0029_0018__should should r_0029_0014__explaining->r_0029_0018__should [arg1] r_0029_0019__listen listen r_0029_0018__should->r_0029_0019__listen [scope] r_0029_0017__friend friend r_0029_0016__your your r_0029_0017__friend->r_0029_0016__your [gen] r_0029_0019__listen->r_0029_0017__friend [arg0] r_0029_0015__why why r_0029_0019__listen->r_0029_0015__why [nim] r_0029_0021__the_r_0029_0022__programme the programme r_0029_0019__listen->r_0029_0021__the_r_0029_0022__programme to [clr] z_000_29_a_fce_0102_2000_06_35 z_000_29_a_fce_0102_2000_06_35->r_0029_0001__Write [scope] z_000_29_a_fce_0102_2000_06_35->r_0029_0014__explaining [restriction] 
arc(r_0029_0001__Write, r_0029_0002__a_r_0029_0003__letter, arg1).
arc(r_0029_0001__Write, r_0029_0005__a_r_0029_0006__friend, arg2).
arc(r_0029_0001__Write, z_000_29_a_fce_0102_2000_06_1, arg0).
arc(r_0029_0008__has, r_0029_0010__read, scope).
arc(r_0029_0009__not, r_0029_0008__has, keep_scope).
arc(r_0029_0010__read, r_0029_0005__a_r_0029_0006__friend, arg0).
arc(r_0029_0010__read, r_0029_0011__the_r_0029_0012__book, arg1).
arc(r_0029_0014__explaining, r_0029_0018__should, arg1).
arc(r_0029_0014__explaining, z_000_29_a_fce_0102_2000_06_1, arg0).
arc(r_0029_0017__friend, r_0029_0016__your, gen).
arc(r_0029_0018__should, r_0029_0019__listen, scope).
arc(r_0029_0019__listen, r_0029_0015__why, nim53).
arc(r_0029_0019__listen, r_0029_0017__friend, arg0).
arc(r_0029_0019__listen, r_0029_0021__the_r_0029_0022__programme, r_0029_0020__to_clr60).
arc(z_000_29_a_fce_0102_2000_06_35, r_0029_0001__Write, scope).
arc(z_000_29_a_fce_0102_2000_06_35, r_0029_0014__explaining, restriction).


%3 r_0029_0001__Write Write r_0029_0002__a_r_0029_0003__letter a letter r_0029_0001__Write->r_0029_0002__a_r_0029_0003__letter [arg1] r_0029_0005__a_r_0029_0006__friend a friend r_0029_0001__Write->r_0029_0005__a_r_0029_0006__friend [arg2] z_000_29_a_fce_0102_2000_06_1 r_0029_0001__Write->z_000_29_a_fce_0102_2000_06_1 [arg0] r_0029_0008__has_r_0029_0010__read has read r_0029_0008__has_r_0029_0010__read->r_0029_0005__a_r_0029_0006__friend [arg0] r_0029_0011__the_r_0029_0012__book the book r_0029_0008__has_r_0029_0010__read->r_0029_0011__the_r_0029_0012__book [arg1] r_0029_0009__not not r_0029_0009__not->r_0029_0008__has_r_0029_0010__read [keep_scope] r_0029_0014__explaining explaining r_0029_0014__explaining->z_000_29_a_fce_0102_2000_06_1 [arg0] r_0029_0018__should_r_0029_0019__listen should listen r_0029_0014__explaining->r_0029_0018__should_r_0029_0019__listen [arg1] r_0029_0017__friend friend r_0029_0018__should_r_0029_0019__listen->r_0029_0017__friend [arg0] r_0029_0015__why why r_0029_0018__should_r_0029_0019__listen->r_0029_0015__why [nim] r_0029_0021__the_r_0029_0022__programme the programme r_0029_0018__should_r_0029_0019__listen->r_0029_0021__the_r_0029_0022__programme to [clr] r_0029_0016__your your r_0029_0017__friend->r_0029_0016__your [gen] z_000_29_a_fce_0102_2000_06_35 z_000_29_a_fce_0102_2000_06_35->r_0029_0001__Write [conj2] z_000_29_a_fce_0102_2000_06_35->r_0029_0014__explaining [conj1] 
fof(formula,axiom,
    ? [Z_29_A_FCE_102_2000_6_35,R_29_14_EXPLAINING,R_29_18_SHOULD_LISTEN,R_29_17_FRIEND,R_29_16_YOUR,R_29_15_WHY,R_29_21_THE_PROGRAMME,R_29_1_WRITE,Z_29_A_FCE_102_2000_6_1,R_29_2_A_LETTER,R_29_5_A_FRIEND] :
      ( your(R_29_16_YOUR)
      & why(R_29_15_WHY)
      & the_programme(R_29_21_THE_PROGRAMME)
      & a_letter(R_29_2_A_LETTER)
      & a_friend(R_29_5_A_FRIEND)
      & ~ ? [R_29_8_HAS_READ,R_29_11_THE_BOOK] :
            ( the_book(R_29_11_THE_BOOK)
            & has_read(R_29_8_HAS_READ,R_29_5_A_FRIEND,R_29_11_THE_BOOK) )
      & z_29_a_fce_102_2000_6_35(Z_29_A_FCE_102_2000_6_35)
      & conj1(Z_29_A_FCE_102_2000_6_35,R_29_14_EXPLAINING)
      & explaining(R_29_14_EXPLAINING,Z_29_A_FCE_102_2000_6_1,R_29_18_SHOULD_LISTEN)
      & should_listen(R_29_18_SHOULD_LISTEN,R_29_17_FRIEND)
      & friend(R_29_17_FRIEND)
      & gen(R_29_17_FRIEND,R_29_16_YOUR)
      & nim53(R_29_18_SHOULD_LISTEN,R_29_15_WHY)
      & to_clr60(R_29_18_SHOULD_LISTEN,R_29_21_THE_PROGRAMME)
      & conj2(Z_29_A_FCE_102_2000_6_35,R_29_1_WRITE)
      & write(R_29_1_WRITE,Z_29_A_FCE_102_2000_6_1,R_29_2_A_LETTER,R_29_5_A_FRIEND) ) ).


n29_a_fce_0102_2000_06 n29_a_fce_0102_2000_06_3 Write n29_a_fce_0102_2000_06_6 a n29_a_fce_0102_2000_06_8 letter n29_a_fce_0102_2000_06_11 to n29_a_fce_0102_2000_06_14 a n29_a_fce_0102_2000_06_16 friend n29_a_fce_0102_2000_06_20 who n29_a_fce_0102_2000_06_22 has n29_a_fce_0102_2000_06_24 not n29_a_fce_0102_2000_06_27 read n29_a_fce_0102_2000_06_30 the n29_a_fce_0102_2000_06_32 book n29_a_fce_0102_2000_06_34 , n29_a_fce_0102_2000_06_38 explaining n29_a_fce_0102_2000_06_43 why n29_a_fce_0102_2000_06_47 your n29_a_fce_0102_2000_06_49 friend n29_a_fce_0102_2000_06_51 should n29_a_fce_0102_2000_06_54 *ICH*-132 n29_a_fce_0102_2000_06_56 listen n29_a_fce_0102_2000_06_59 to n29_a_fce_0102_2000_06_62 the n29_a_fce_0102_2000_06_64 programme n29_a_fce_0102_2000_06_66 . n29_a_fce_0102_2000_06_1 IP-IMP n29_a_fce_0102_2000_06_2 VB;_Dn.pr_ n29_a_fce_0102_2000_06_1->n29_a_fce_0102_2000_06_2 n29_a_fce_0102_2000_06_4 NP-OB1 n29_a_fce_0102_2000_06_1->n29_a_fce_0102_2000_06_4 n29_a_fce_0102_2000_06_9 PP-OB2 n29_a_fce_0102_2000_06_1->n29_a_fce_0102_2000_06_9 n29_a_fce_0102_2000_06_33 PUNC n29_a_fce_0102_2000_06_1->n29_a_fce_0102_2000_06_33 n29_a_fce_0102_2000_06_35 PP-SCON n29_a_fce_0102_2000_06_1->n29_a_fce_0102_2000_06_35 n29_a_fce_0102_2000_06_65 PUNC n29_a_fce_0102_2000_06_1->n29_a_fce_0102_2000_06_65 n29_a_fce_0102_2000_06_2->n29_a_fce_0102_2000_06_3 n29_a_fce_0102_2000_06_5 D n29_a_fce_0102_2000_06_4->n29_a_fce_0102_2000_06_5 n29_a_fce_0102_2000_06_7 N n29_a_fce_0102_2000_06_4->n29_a_fce_0102_2000_06_7 n29_a_fce_0102_2000_06_5->n29_a_fce_0102_2000_06_6 n29_a_fce_0102_2000_06_7->n29_a_fce_0102_2000_06_8 n29_a_fce_0102_2000_06_10 P-ROLE n29_a_fce_0102_2000_06_9->n29_a_fce_0102_2000_06_10 n29_a_fce_0102_2000_06_12 NP n29_a_fce_0102_2000_06_9->n29_a_fce_0102_2000_06_12 n29_a_fce_0102_2000_06_10->n29_a_fce_0102_2000_06_11 n29_a_fce_0102_2000_06_13 D n29_a_fce_0102_2000_06_12->n29_a_fce_0102_2000_06_13 n29_a_fce_0102_2000_06_15 N n29_a_fce_0102_2000_06_12->n29_a_fce_0102_2000_06_15 n29_a_fce_0102_2000_06_17 IP-REL n29_a_fce_0102_2000_06_12->n29_a_fce_0102_2000_06_17 n29_a_fce_0102_2000_06_13->n29_a_fce_0102_2000_06_14 n29_a_fce_0102_2000_06_15->n29_a_fce_0102_2000_06_16 n29_a_fce_0102_2000_06_18 NP-SBJ n29_a_fce_0102_2000_06_17->n29_a_fce_0102_2000_06_18 n29_a_fce_0102_2000_06_21 HVP;_cat_Ve_ n29_a_fce_0102_2000_06_17->n29_a_fce_0102_2000_06_21 n29_a_fce_0102_2000_06_23 NEG n29_a_fce_0102_2000_06_17->n29_a_fce_0102_2000_06_23 n29_a_fce_0102_2000_06_25 IP-PPL-CAT n29_a_fce_0102_2000_06_17->n29_a_fce_0102_2000_06_25 n29_a_fce_0102_2000_06_19 RPRO n29_a_fce_0102_2000_06_18->n29_a_fce_0102_2000_06_19 n29_a_fce_0102_2000_06_19->n29_a_fce_0102_2000_06_20 n29_a_fce_0102_2000_06_21->n29_a_fce_0102_2000_06_22 n29_a_fce_0102_2000_06_23->n29_a_fce_0102_2000_06_24 n29_a_fce_0102_2000_06_26 VVN;_Tn_ n29_a_fce_0102_2000_06_25->n29_a_fce_0102_2000_06_26 n29_a_fce_0102_2000_06_28 NP-OB1 n29_a_fce_0102_2000_06_25->n29_a_fce_0102_2000_06_28 n29_a_fce_0102_2000_06_26->n29_a_fce_0102_2000_06_27 n29_a_fce_0102_2000_06_29 D n29_a_fce_0102_2000_06_28->n29_a_fce_0102_2000_06_29 n29_a_fce_0102_2000_06_31 N n29_a_fce_0102_2000_06_28->n29_a_fce_0102_2000_06_31 n29_a_fce_0102_2000_06_29->n29_a_fce_0102_2000_06_30 n29_a_fce_0102_2000_06_31->n29_a_fce_0102_2000_06_32 n29_a_fce_0102_2000_06_33->n29_a_fce_0102_2000_06_34 n29_a_fce_0102_2000_06_36 IP-PPL2 n29_a_fce_0102_2000_06_35->n29_a_fce_0102_2000_06_36 n29_a_fce_0102_2000_06_37 VAG;_Tw_ n29_a_fce_0102_2000_06_36->n29_a_fce_0102_2000_06_37 n29_a_fce_0102_2000_06_39 CP-QUE-OB1 n29_a_fce_0102_2000_06_36->n29_a_fce_0102_2000_06_39 n29_a_fce_0102_2000_06_37->n29_a_fce_0102_2000_06_38 n29_a_fce_0102_2000_06_40 IP-SUB n29_a_fce_0102_2000_06_39->n29_a_fce_0102_2000_06_40 n29_a_fce_0102_2000_06_41 ADVP-132 n29_a_fce_0102_2000_06_40->n29_a_fce_0102_2000_06_41 n29_a_fce_0102_2000_06_44 NP-SBJ n29_a_fce_0102_2000_06_40->n29_a_fce_0102_2000_06_44 n29_a_fce_0102_2000_06_50 MD;_cat_Vi_ n29_a_fce_0102_2000_06_40->n29_a_fce_0102_2000_06_50 n29_a_fce_0102_2000_06_52 IP-INF-CAT n29_a_fce_0102_2000_06_40->n29_a_fce_0102_2000_06_52 n29_a_fce_0102_2000_06_42 WADV n29_a_fce_0102_2000_06_41->n29_a_fce_0102_2000_06_42 n29_a_fce_0102_2000_06_42->n29_a_fce_0102_2000_06_43 n29_a_fce_0102_2000_06_45 NP-GEN n29_a_fce_0102_2000_06_44->n29_a_fce_0102_2000_06_45 n29_a_fce_0102_2000_06_48 N n29_a_fce_0102_2000_06_44->n29_a_fce_0102_2000_06_48 n29_a_fce_0102_2000_06_46 PRO;_genm_ n29_a_fce_0102_2000_06_45->n29_a_fce_0102_2000_06_46 n29_a_fce_0102_2000_06_46->n29_a_fce_0102_2000_06_47 n29_a_fce_0102_2000_06_48->n29_a_fce_0102_2000_06_49 n29_a_fce_0102_2000_06_50->n29_a_fce_0102_2000_06_51 n29_a_fce_0102_2000_06_53 ADVP-NIM n29_a_fce_0102_2000_06_52->n29_a_fce_0102_2000_06_53 n29_a_fce_0102_2000_06_55 VB;_Ipr_ n29_a_fce_0102_2000_06_52->n29_a_fce_0102_2000_06_55 n29_a_fce_0102_2000_06_57 PP-CLR n29_a_fce_0102_2000_06_52->n29_a_fce_0102_2000_06_57 n29_a_fce_0102_2000_06_53->n29_a_fce_0102_2000_06_54 n29_a_fce_0102_2000_06_55->n29_a_fce_0102_2000_06_56 n29_a_fce_0102_2000_06_58 P-ROLE n29_a_fce_0102_2000_06_57->n29_a_fce_0102_2000_06_58 n29_a_fce_0102_2000_06_60 NP n29_a_fce_0102_2000_06_57->n29_a_fce_0102_2000_06_60 n29_a_fce_0102_2000_06_58->n29_a_fce_0102_2000_06_59 n29_a_fce_0102_2000_06_61 D n29_a_fce_0102_2000_06_60->n29_a_fce_0102_2000_06_61 n29_a_fce_0102_2000_06_63 N n29_a_fce_0102_2000_06_60->n29_a_fce_0102_2000_06_63 n29_a_fce_0102_2000_06_61->n29_a_fce_0102_2000_06_62 n29_a_fce_0102_2000_06_63->n29_a_fce_0102_2000_06_64 n29_a_fce_0102_2000_06_65->n29_a_fce_0102_2000_06_66 
( (IP-IMP (VB;_Dn.pr_ Write;{write[to]})
          (NP-OB1 (D a;{a})
                  (N letter;{letter}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (D a;{a})
                      (N friend;{friend})
                      (IP-REL (NP-SBJ (RPRO who;{who}))
                              (HVP;_cat_Ve_ has;{have})
                              (NEG not;{not})
                              (IP-PPL-CAT (VVN;_Tn_ read;{read})
                                          (NP-OB1 (D the;{the})
                                                  (N book;{book}))))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tw_ explaining;{explain})
                            (CP-QUE-OB1 (IP-SUB (ADVP-132 (WADV why;{why}))
                                                (NP-SBJ (NP-GEN (PRO;_genm_ your;{your}))
                                                        (N friend;{friend}))
                                                (MD;_cat_Vi_ should;{shall})
                                                (IP-INF-CAT (ADVP-NIM *ICH*-132)
                                                            (VB;_Ipr_ listen;{listen[to]})
                                                            (PP-CLR (P-ROLE to;{to})
                                                                    (NP (D the;{the})
                                                                        (N programme;{programme}))))))))
          (PUNC .))
  (ID 29_a_fce_0102_2000_06))