Context                Previous, Next                Top


3_a_stories_09_m12
John's friend was with him.

n3_a_stories_09_m12 n3_a_stories_09_m12__1_1_1_1_1 John n3_a_stories_09_m12__1_1_1_2_1 's n3_a_stories_09_m12__1_1_2_1 friend n3_a_stories_09_m12__1_2_1 was n3_a_stories_09_m12__1_3_1_1 with n3_a_stories_09_m12__1_3_2_1_1 him n3_a_stories_09_m12__1_4_1 . n3_a_stories_09_m12__1 IP-MAT n3_a_stories_09_m12__1_1 NP-SBJ n3_a_stories_09_m12__1->n3_a_stories_09_m12__1_1 n3_a_stories_09_m12__1_2 BED;_Ipr_ n3_a_stories_09_m12__1->n3_a_stories_09_m12__1_2 n3_a_stories_09_m12__1_3 PP-CLR n3_a_stories_09_m12__1->n3_a_stories_09_m12__1_3 n3_a_stories_09_m12__1_4 PUNC n3_a_stories_09_m12__1->n3_a_stories_09_m12__1_4 n3_a_stories_09_m12__1_1_1 NP-GEN n3_a_stories_09_m12__1_1->n3_a_stories_09_m12__1_1_1 n3_a_stories_09_m12__1_1_2 N n3_a_stories_09_m12__1_1->n3_a_stories_09_m12__1_1_2 n3_a_stories_09_m12__1_1_1_1 NPR n3_a_stories_09_m12__1_1_1->n3_a_stories_09_m12__1_1_1_1 n3_a_stories_09_m12__1_1_1_2 GENM n3_a_stories_09_m12__1_1_1->n3_a_stories_09_m12__1_1_1_2 n3_a_stories_09_m12__1_1_1_1->n3_a_stories_09_m12__1_1_1_1_1 n3_a_stories_09_m12__1_1_1_2->n3_a_stories_09_m12__1_1_1_2_1 n3_a_stories_09_m12__1_1_2->n3_a_stories_09_m12__1_1_2_1 n3_a_stories_09_m12__1_2->n3_a_stories_09_m12__1_2_1 n3_a_stories_09_m12__1_3_1 P-ROLE n3_a_stories_09_m12__1_3->n3_a_stories_09_m12__1_3_1 n3_a_stories_09_m12__1_3_2 NP n3_a_stories_09_m12__1_3->n3_a_stories_09_m12__1_3_2 n3_a_stories_09_m12__1_3_1->n3_a_stories_09_m12__1_3_1_1 n3_a_stories_09_m12__1_3_2_1 PRO n3_a_stories_09_m12__1_3_2->n3_a_stories_09_m12__1_3_2_1 n3_a_stories_09_m12__1_3_2_1->n3_a_stories_09_m12__1_3_2_1_1 n3_a_stories_09_m12__1_4->n3_a_stories_09_m12__1_4_1 
( (IP-MAT (NP-SBJ (NP-GEN;{JOHN} (NPR John;{John})
                                 (GENM <apos>s))
                  (N friend;{friend}))
          (BED;_Ipr_ was;{be[with]})
          (PP-CLR (P-ROLE with;{with})
                  (NP;{JOHN} (PRO him;{he})))
          (PUNC .))
  (ID 3_a_stories_09_m12))


%3 r_0003_0004__was_r_0003_0005__with was with r_0003_0003__friend friend r_0003_0004__was_r_0003_0005__with->r_0003_0003__friend [arg0] r_0003_0001__John John r_0003_0004__was_r_0003_0005__with->r_0003_0001__John [arg1] r_0003_0003__friend->r_0003_0001__John [gen] 
arc(r_0003_0003__friend,r_0003_0001__John,gen).
arc(r_0003_0004__was_r_0003_0005__with,r_0003_0001__John,arg1).
arc(r_0003_0004__was_r_0003_0005__with,r_0003_0003__friend,arg0).


%3 r_0003_0003__friend friend r_0003_0001__John John r_0003_0003__friend->r_0003_0001__John [gen] r_0003_0004__was_r_0003_0005__with was with r_0003_0004__was_r_0003_0005__with->r_0003_0003__friend [arg0] r_0003_0004__was_r_0003_0005__with->r_0003_0001__John [arg1] 
fof(formula,axiom,
    ? [R_0003_0001__JOHN,R_0003_0003__FRIEND,R_0003_0004__WAS_R_0003_0005__WITH] :
      ( r_0003_0001__John(R_0003_0001__JOHN)
      & r_0003_0004__was_r_0003_0005__with(R_0003_0004__WAS_R_0003_0005__WITH)
      & has_arg0(R_0003_0004__WAS_R_0003_0005__WITH,R_0003_0003__FRIEND)
      & r_0003_0003__friend(R_0003_0003__FRIEND)
      & has_gen(R_0003_0003__FRIEND,R_0003_0001__JOHN)
      & has_arg1(R_0003_0004__WAS_R_0003_0005__WITH,R_0003_0001__JOHN) ) ).