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_0005_0001__JOHN_R_0005_0002___APOS_S,R_0005_0003__FRIEND,R_0005_0008__THE_R_0005_0009__BULLDOG,R_0005_0006__TO_R_0005_0007__CLEAN,R_0005_0004__TOLD] :
( r_0005_0001__John_r_0005_0002___apos_s(R_0005_0001__JOHN_R_0005_0002___APOS_S)
& r_0005_0008__the_r_0005_0009__bulldog(R_0005_0008__THE_R_0005_0009__BULLDOG)
& r_0005_0004__told(R_0005_0004__TOLD)
& has_arg1(R_0005_0004__TOLD,R_0005_0006__TO_R_0005_0007__CLEAN)
& r_0005_0006__to_r_0005_0007__clean(R_0005_0006__TO_R_0005_0007__CLEAN)
& has_arg1(R_0005_0006__TO_R_0005_0007__CLEAN,R_0005_0008__THE_R_0005_0009__BULLDOG)
& has_arg0(R_0005_0006__TO_R_0005_0007__CLEAN,R_0005_0001__JOHN_R_0005_0002___APOS_S)
& has_arg0(R_0005_0004__TOLD,R_0005_0003__FRIEND)
& r_0005_0003__friend(R_0005_0003__FRIEND)
& has_gen(R_0005_0003__FRIEND,R_0005_0001__JOHN_R_0005_0002___APOS_S)
& has_arg2(R_0005_0004__TOLD,R_0005_0001__JOHN_R_0005_0002___APOS_S) ) ).
( (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))