Context                Previous, Next                Top


3_a_stories_09_m12
John's friend was with him.

%3 r_0003_0003__friend friend r_0003_0001__John_r_0003_0002___apos_s John 's r_0003_0003__friend->r_0003_0001__John_r_0003_0002___apos_s [gen] r_0003_0004__was was r_0003_0004__was->r_0003_0003__friend [arg0] r_0003_0004__was->r_0003_0001__John_r_0003_0002___apos_s with [clr] 
arc(r_0003_0003__friend, r_0003_0001__John_r_0003_0002___apos_s, gen).
arc(r_0003_0004__was, r_0003_0001__John_r_0003_0002___apos_s, r_0003_0005__with_clr15).
arc(r_0003_0004__was, r_0003_0003__friend, arg0).


%3 r_0003_0004__was was r_0003_0003__friend friend r_0003_0004__was->r_0003_0003__friend [arg0] r_0003_0001__John_r_0003_0002___apos_s John 's r_0003_0004__was->r_0003_0001__John_r_0003_0002___apos_s with [clr] r_0003_0003__friend->r_0003_0001__John_r_0003_0002___apos_s [gen] 
fof(formula,axiom,
    ? [R_0003_0001__JOHN_R_0003_0002___APOS_S,R_0003_0003__FRIEND,R_0003_0004__WAS] :
      ( r_0003_0001__John_r_0003_0002___apos_s(R_0003_0001__JOHN_R_0003_0002___APOS_S)
      & r_0003_0004__was(R_0003_0004__WAS)
      & has_arg0(R_0003_0004__WAS,R_0003_0003__FRIEND)
      & r_0003_0003__friend(R_0003_0003__FRIEND)
      & has_gen(R_0003_0003__FRIEND,R_0003_0001__JOHN_R_0003_0002___APOS_S)
      & has_r_0003_0005__with_clr15(R_0003_0004__WAS,R_0003_0001__JOHN_R_0003_0002___APOS_S) ) ).


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))