5_a_stories_09_m12
John's friend told him to clean the bulldog.
arc(r_0005_0003__friend, r_0005_0001__John_r_0005_0002___apos_s, gen).
arc(r_0005_0004__told, r_0005_0001__John_r_0005_0002___apos_s, arg2).
arc(r_0005_0004__told, r_0005_0003__friend, arg0).
arc(r_0005_0004__told, r_0005_0006__to_r_0005_0007__clean, arg1).
arc(r_0005_0006__to_r_0005_0007__clean, r_0005_0001__John_r_0005_0002___apos_s, arg0).
arc(r_0005_0006__to_r_0005_0007__clean, r_0005_0008__the_r_0005_0009__bulldog, arg1).
fof(formula,axiom,
? [R_5_4_TOLD,R_5_3_FRIEND,R_5_6_TO_CLEAN,R_5_8_THE_BULLDOG,R_5_1_JOHN_APOS_S] :
( the_bulldog(R_5_8_THE_BULLDOG)
& john_apos_s(R_5_1_JOHN_APOS_S)
& told(R_5_4_TOLD,R_5_3_FRIEND,R_5_6_TO_CLEAN,R_5_1_JOHN_APOS_S)
& friend(R_5_3_FRIEND)
& gen(R_5_3_FRIEND,R_5_1_JOHN_APOS_S)
& to_clean(R_5_6_TO_CLEAN,R_5_1_JOHN_APOS_S,R_5_8_THE_BULLDOG) ) ).
( (IP-MAT (NP-SBJ (NP-GEN;{JOHN} (NPR John;{John})
(GENM <apos>s))
(N friend;{friend}))
(VBD;_Dn.t_ told;{tell})
(NP-OB2;{JOHN} (PRO him;{he}))
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ clean;{clean})
(NP-OB1;{BULLDOG} (D the;{the})
(N bulldog;{bulldog})))
(PUNC .))
(ID 5_a_stories_09_m12))