5_a_fce_0102_2001_03
Read the extract from his letter and your notes.
( (IP-IMP (VB;_Tn_ Read;{read})
(NP-OB1 (NLYR (NLYR (D the;{the})
(N extract;{extract})
(PP (P-ROLE from;{from})
(NP (NP-GEN;{PETE} (PRO;_genm_ his;{his}))
(N letter;{letter}))))
(CONJP (CONJ and;{and})
(NLYR (NP-GEN (PRO;_genm_ your;{your}))
(NS notes;{note})))))
(PUNC .))
(ID 5_a_fce_0102_2001_03))
arc(r_0005_0001__Read,r_0005_0007__and,arg1).
arc(r_0005_0001__Read,z_0005_5002,arg0).
arc(r_0005_0002__the_r_0005_0003__extract,r_0005_0006__letter,r_0005_0004__from).
arc(r_0005_0006__letter,r_0005_0005__his,gen).
arc(r_0005_0007__and,r_0005_0002__the_r_0005_0003__extract,conj1).
arc(r_0005_0007__and,r_0005_0009__notes,conj2).
arc(r_0005_0009__notes,r_0005_0008__your,gen).
fof(formula,axiom,
? [R_0005_0005__HIS,R_0005_0006__LETTER,R_0005_0002__THE_R_0005_0003__EXTRACT,R_0005_0008__YOUR,R_0005_0009__NOTES,R_0005_0007__AND,Z_0005_5002,R_0005_0001__READ] :
( r_0005_0005__his(R_0005_0005__HIS)
& r_0005_0008__your(R_0005_0008__YOUR)
& z_0005_5002(Z_0005_5002)
& r_0005_0001__Read(R_0005_0001__READ)
& has_arg0(R_0005_0001__READ,Z_0005_5002)
& has_arg1(R_0005_0001__READ,R_0005_0007__AND)
& r_0005_0007__and(R_0005_0007__AND)
& has_conj2(R_0005_0007__AND,R_0005_0009__NOTES)
& ~ has_gen(R_0005_0009__NOTES,R_0005_0008__YOUR)
& has_conj1(R_0005_0007__AND,R_0005_0002__THE_R_0005_0003__EXTRACT)
& r_0005_0002__the_r_0005_0003__extract(R_0005_0002__THE_R_0005_0003__EXTRACT)
& has_r_0005_0004__from(R_0005_0002__THE_R_0005_0003__EXTRACT,R_0005_0006__LETTER)
& r_0005_0006__letter(R_0005_0006__LETTER)
& has_gen(R_0005_0006__LETTER,R_0005_0005__HIS) ) ).