Context                Previous, Next                Top


82_a_lob_a02
John Dickie writes:

%3 r_0082_0003__writes writes r_0082_0001__John_r_0082_0002__Dickie John Dickie r_0082_0003__writes->r_0082_0001__John_r_0082_0002__Dickie [arg0] 
arc(r_0082_0003__writes, r_0082_0001__John_r_0082_0002__Dickie, arg0).


%3 r_0082_0003__writes writes r_0082_0001__John_r_0082_0002__Dickie John Dickie r_0082_0003__writes->r_0082_0001__John_r_0082_0002__Dickie [arg0] 
fof(formula,axiom,
    ? [R_82_3_WRITES,R_82_1_JOHN_DICKIE] :
      ( john_Dickie(R_82_1_JOHN_DICKIE)
      & writes(R_82_3_WRITES,R_82_1_JOHN_DICKIE) ) ).


n82_a_lob_a02 n82_a_lob_a02_4 John n82_a_lob_a02_6 Dickie n82_a_lob_a02_8 writes n82_a_lob_a02_10 : n82_a_lob_a02_1 IP-MAT n82_a_lob_a02_2 NP-SBJ n82_a_lob_a02_1->n82_a_lob_a02_2 n82_a_lob_a02_7 VBP;__ n82_a_lob_a02_1->n82_a_lob_a02_7 n82_a_lob_a02_9 PUNC n82_a_lob_a02_1->n82_a_lob_a02_9 n82_a_lob_a02_3 NPR n82_a_lob_a02_2->n82_a_lob_a02_3 n82_a_lob_a02_5 NPR n82_a_lob_a02_2->n82_a_lob_a02_5 n82_a_lob_a02_3->n82_a_lob_a02_4 n82_a_lob_a02_5->n82_a_lob_a02_6 n82_a_lob_a02_7->n82_a_lob_a02_8 n82_a_lob_a02_9->n82_a_lob_a02_10 
( (IP-MAT (NP-SBJ (NPR John;{John})
                  (NPR Dickie;{Dickie}))
          (VBP;__ writes;{write})
          (PUNC :))
  (ID 82_a_lob_a02))