Context                Previous, Next                Top


5_a_stories_09_m12
John's friend told him to clean the bulldog.

n5_a_stories_09_m12 n5_a_stories_09_m12__1_1_1_1_1 John n5_a_stories_09_m12__1_1_1_2_1 's n5_a_stories_09_m12__1_1_2_1 friend n5_a_stories_09_m12__1_2_1 told n5_a_stories_09_m12__1_3_1_1 him n5_a_stories_09_m12__1_4_1_1 to n5_a_stories_09_m12__1_4_2_1 clean n5_a_stories_09_m12__1_4_3_1_1 the n5_a_stories_09_m12__1_4_3_2_1 bulldog n5_a_stories_09_m12__1_5_1 . n5_a_stories_09_m12__1 IP-MAT n5_a_stories_09_m12__1_1 NP-SBJ n5_a_stories_09_m12__1->n5_a_stories_09_m12__1_1 n5_a_stories_09_m12__1_2 VBD;_Dn.t_ n5_a_stories_09_m12__1->n5_a_stories_09_m12__1_2 n5_a_stories_09_m12__1_3 NP-OB2 n5_a_stories_09_m12__1->n5_a_stories_09_m12__1_3 n5_a_stories_09_m12__1_4 IP-INF-OB1 n5_a_stories_09_m12__1->n5_a_stories_09_m12__1_4 n5_a_stories_09_m12__1_5 PUNC n5_a_stories_09_m12__1->n5_a_stories_09_m12__1_5 n5_a_stories_09_m12__1_1_1 NP-GEN n5_a_stories_09_m12__1_1->n5_a_stories_09_m12__1_1_1 n5_a_stories_09_m12__1_1_2 N n5_a_stories_09_m12__1_1->n5_a_stories_09_m12__1_1_2 n5_a_stories_09_m12__1_1_1_1 NPR n5_a_stories_09_m12__1_1_1->n5_a_stories_09_m12__1_1_1_1 n5_a_stories_09_m12__1_1_1_2 GENM n5_a_stories_09_m12__1_1_1->n5_a_stories_09_m12__1_1_1_2 n5_a_stories_09_m12__1_1_1_1->n5_a_stories_09_m12__1_1_1_1_1 n5_a_stories_09_m12__1_1_1_2->n5_a_stories_09_m12__1_1_1_2_1 n5_a_stories_09_m12__1_1_2->n5_a_stories_09_m12__1_1_2_1 n5_a_stories_09_m12__1_2->n5_a_stories_09_m12__1_2_1 n5_a_stories_09_m12__1_3_1 PRO n5_a_stories_09_m12__1_3->n5_a_stories_09_m12__1_3_1 n5_a_stories_09_m12__1_3_1->n5_a_stories_09_m12__1_3_1_1 n5_a_stories_09_m12__1_4_1 TO n5_a_stories_09_m12__1_4->n5_a_stories_09_m12__1_4_1 n5_a_stories_09_m12__1_4_2 VB;_Tn_ n5_a_stories_09_m12__1_4->n5_a_stories_09_m12__1_4_2 n5_a_stories_09_m12__1_4_3 NP-OB1 n5_a_stories_09_m12__1_4->n5_a_stories_09_m12__1_4_3 n5_a_stories_09_m12__1_4_1->n5_a_stories_09_m12__1_4_1_1 n5_a_stories_09_m12__1_4_2->n5_a_stories_09_m12__1_4_2_1 n5_a_stories_09_m12__1_4_3_1 D n5_a_stories_09_m12__1_4_3->n5_a_stories_09_m12__1_4_3_1 n5_a_stories_09_m12__1_4_3_2 N n5_a_stories_09_m12__1_4_3->n5_a_stories_09_m12__1_4_3_2 n5_a_stories_09_m12__1_4_3_1->n5_a_stories_09_m12__1_4_3_1_1 n5_a_stories_09_m12__1_4_3_2->n5_a_stories_09_m12__1_4_3_2_1 n5_a_stories_09_m12__1_5->n5_a_stories_09_m12__1_5_1 
( (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))


%3 r_0005_0007__clean clean r_0005_0008__the_r_0005_0009__bulldog the bulldog r_0005_0007__clean->r_0005_0008__the_r_0005_0009__bulldog [arg1] r_0005_0001__John John r_0005_0007__clean->r_0005_0001__John [arg0] r_0005_0004__told told r_0005_0004__told->r_0005_0007__clean [arg1] r_0005_0004__told->r_0005_0001__John [arg2] r_0005_0003__friend friend r_0005_0004__told->r_0005_0003__friend [arg0] r_0005_0003__friend->r_0005_0001__John [gen] 
arc(r_0005_0003__friend,r_0005_0001__John,gen).
arc(r_0005_0004__told,r_0005_0001__John,arg2).
arc(r_0005_0004__told,r_0005_0003__friend,arg0).
arc(r_0005_0004__told,r_0005_0007__clean,arg1).
arc(r_0005_0007__clean,r_0005_0001__John,arg0).
arc(r_0005_0007__clean,r_0005_0008__the_r_0005_0009__bulldog,arg1).


%3 r_0005_0003__friend friend r_0005_0001__John John r_0005_0003__friend->r_0005_0001__John [gen] r_0005_0004__told told r_0005_0004__told->r_0005_0003__friend [arg0] r_0005_0004__told->r_0005_0001__John [arg2] r_0005_0007__clean clean r_0005_0004__told->r_0005_0007__clean [arg1] r_0005_0007__clean->r_0005_0001__John [arg0] r_0005_0008__the_r_0005_0009__bulldog the bulldog r_0005_0007__clean->r_0005_0008__the_r_0005_0009__bulldog [arg1] 
fof(formula,axiom,
    ? [R_0005_0001__JOHN,R_0005_0003__FRIEND,R_0005_0008__THE_R_0005_0009__BULLDOG,R_0005_0007__CLEAN,R_0005_0004__TOLD] :
      ( r_0005_0001__John(R_0005_0001__JOHN)
      & 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_0007__CLEAN)
      & r_0005_0007__clean(R_0005_0007__CLEAN)
      & has_arg1(R_0005_0007__CLEAN,R_0005_0008__THE_R_0005_0009__BULLDOG)
      & has_arg0(R_0005_0007__CLEAN,R_0005_0001__JOHN)
      & 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)
      & has_arg2(R_0005_0004__TOLD,R_0005_0001__JOHN) ) ).