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_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] 
fof(formula,axiom,
    ? [R_3_4_WAS,R_3_3_FRIEND,R_3_1_JOHN_APOS_S] :
      ( john_apos_s(R_3_1_JOHN_APOS_S)
      & was(R_3_4_WAS,R_3_3_FRIEND)
      & friend(R_3_3_FRIEND)
      & gen(R_3_3_FRIEND,R_3_1_JOHN_APOS_S)
      & with_clr15(R_3_4_WAS,R_3_1_JOHN_APOS_S) ) ).


n3_a_stories_09_m12 n3_a_stories_09_m12_5 John n3_a_stories_09_m12_7 's n3_a_stories_09_m12_9 friend n3_a_stories_09_m12_11 was n3_a_stories_09_m12_14 with n3_a_stories_09_m12_17 him n3_a_stories_09_m12_19 . n3_a_stories_09_m12_1 IP-MAT n3_a_stories_09_m12_2 NP-SBJ n3_a_stories_09_m12_1->n3_a_stories_09_m12_2 n3_a_stories_09_m12_10 BED;_Ipr_ n3_a_stories_09_m12_1->n3_a_stories_09_m12_10 n3_a_stories_09_m12_12 PP-CLR n3_a_stories_09_m12_1->n3_a_stories_09_m12_12 n3_a_stories_09_m12_18 PUNC n3_a_stories_09_m12_1->n3_a_stories_09_m12_18 n3_a_stories_09_m12_3 NP-GEN n3_a_stories_09_m12_2->n3_a_stories_09_m12_3 n3_a_stories_09_m12_8 N n3_a_stories_09_m12_2->n3_a_stories_09_m12_8 n3_a_stories_09_m12_4 NPR n3_a_stories_09_m12_3->n3_a_stories_09_m12_4 n3_a_stories_09_m12_6 GENM n3_a_stories_09_m12_3->n3_a_stories_09_m12_6 n3_a_stories_09_m12_4->n3_a_stories_09_m12_5 n3_a_stories_09_m12_6->n3_a_stories_09_m12_7 n3_a_stories_09_m12_8->n3_a_stories_09_m12_9 n3_a_stories_09_m12_10->n3_a_stories_09_m12_11 n3_a_stories_09_m12_13 P-ROLE n3_a_stories_09_m12_12->n3_a_stories_09_m12_13 n3_a_stories_09_m12_15 NP n3_a_stories_09_m12_12->n3_a_stories_09_m12_15 n3_a_stories_09_m12_13->n3_a_stories_09_m12_14 n3_a_stories_09_m12_16 PRO n3_a_stories_09_m12_15->n3_a_stories_09_m12_16 n3_a_stories_09_m12_16->n3_a_stories_09_m12_17 n3_a_stories_09_m12_18->n3_a_stories_09_m12_19 
( (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))