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.
( (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))
arc(r_0029_0001__Write_r_0029_0004__to,r_0029_0002__a_r_0029_0003__letter,arg1).
arc(r_0029_0001__Write_r_0029_0004__to,r_0029_0005__a_r_0029_0006__friend,arg2).
arc(r_0029_0001__Write_r_0029_0004__to,z_0029_5002,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_0029_5002,arg0).
arc(r_0029_0017__friend,r_0029_0016__your,gen).
arc(r_0029_0018__should,r_0029_0019__listen_r_0029_0020__to,scope).
arc(r_0029_0019__listen_r_0029_0020__to,r_0029_0015__why,nim).
arc(r_0029_0019__listen_r_0029_0020__to,r_0029_0017__friend,arg0).
arc(r_0029_0019__listen_r_0029_0020__to,r_0029_0021__the_r_0029_0022__programme,arg1).
arc(z_0029_5010,r_0029_0001__Write_r_0029_0004__to,scope).
arc(z_0029_5010,r_0029_0014__explaining,restriction).
fof(formula,axiom,
? [R_0029_0002__A_R_0029_0003__LETTER,R_0029_0005__A_R_0029_0006__FRIEND,Z_0029_5002,R_0029_0001__WRITE_R_0029_0004__TO,R_0029_0015__WHY,R_0029_0016__YOUR,R_0029_0017__FRIEND,R_0029_0021__THE_R_0029_0022__PROGRAMME,R_0029_0018__SHOULD_R_0029_0019__LISTEN_R_0029_0020__TO,R_0029_0014__EXPLAINING,Z_0029_5010] :
( r_0029_0002__a_r_0029_0003__letter(R_0029_0002__A_R_0029_0003__LETTER)
& r_0029_0005__a_r_0029_0006__friend(R_0029_0005__A_R_0029_0006__FRIEND)
& r_0029_0015__why(R_0029_0015__WHY)
& r_0029_0016__your(R_0029_0016__YOUR)
& r_0029_0021__the_r_0029_0022__programme(R_0029_0021__THE_R_0029_0022__PROGRAMME)
& z_0029_5002(Z_0029_5002)
& z_0029_5010(Z_0029_5010)
& has_conj1(Z_0029_5010,R_0029_0014__EXPLAINING)
& r_0029_0014__explaining(R_0029_0014__EXPLAINING)
& has_arg0(R_0029_0014__EXPLAINING,Z_0029_5002)
& has_arg1(R_0029_0014__EXPLAINING,R_0029_0018__SHOULD_R_0029_0019__LISTEN_R_0029_0020__TO)
& r_0029_0018__should_r_0029_0019__listen_r_0029_0020__to(R_0029_0018__SHOULD_R_0029_0019__LISTEN_R_0029_0020__TO)
& has_arg1(R_0029_0018__SHOULD_R_0029_0019__LISTEN_R_0029_0020__TO,R_0029_0021__THE_R_0029_0022__PROGRAMME)
& has_arg0(R_0029_0018__SHOULD_R_0029_0019__LISTEN_R_0029_0020__TO,R_0029_0017__FRIEND)
& r_0029_0017__friend(R_0029_0017__FRIEND)
& has_gen(R_0029_0017__FRIEND,R_0029_0016__YOUR)
& has_nim(R_0029_0018__SHOULD_R_0029_0019__LISTEN_R_0029_0020__TO,R_0029_0015__WHY)
& has_conj2(Z_0029_5010,R_0029_0001__WRITE_R_0029_0004__TO)
& r_0029_0001__Write_r_0029_0004__to(R_0029_0001__WRITE_R_0029_0004__TO)
& has_arg0(R_0029_0001__WRITE_R_0029_0004__TO,Z_0029_5002)
& has_arg2(R_0029_0001__WRITE_R_0029_0004__TO,R_0029_0005__A_R_0029_0006__FRIEND)
& has_arg1(R_0029_0001__WRITE_R_0029_0004__TO,R_0029_0002__A_R_0029_0003__LETTER)
& ~ ? [R_0029_0011__THE_R_0029_0012__BOOK,R_0029_0008__HAS_R_0029_0010__READ] :
( r_0029_0011__the_r_0029_0012__book(R_0029_0011__THE_R_0029_0012__BOOK)
& r_0029_0008__has_r_0029_0010__read(R_0029_0008__HAS_R_0029_0010__READ)
& has_arg1(R_0029_0008__HAS_R_0029_0010__READ,R_0029_0011__THE_R_0029_0012__BOOK)
& has_arg0(R_0029_0008__HAS_R_0029_0010__READ,R_0029_0005__A_R_0029_0006__FRIEND) ) ) ).