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.
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).
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) ) ).
( (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))