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__1_1_1_1 John n82_a_lob_a02__1_1_2_1 Dickie n82_a_lob_a02__1_2_1 writes n82_a_lob_a02__1_3_1 : n82_a_lob_a02__1 IP-MAT n82_a_lob_a02__1_1 NP-SBJ n82_a_lob_a02__1->n82_a_lob_a02__1_1 n82_a_lob_a02__1_2 VBP;__ n82_a_lob_a02__1->n82_a_lob_a02__1_2 n82_a_lob_a02__1_3 PUNC n82_a_lob_a02__1->n82_a_lob_a02__1_3 n82_a_lob_a02__1_1_1 NPR n82_a_lob_a02__1_1->n82_a_lob_a02__1_1_1 n82_a_lob_a02__1_1_2 NPR n82_a_lob_a02__1_1->n82_a_lob_a02__1_1_2 n82_a_lob_a02__1_1_1->n82_a_lob_a02__1_1_1_1 n82_a_lob_a02__1_1_2->n82_a_lob_a02__1_1_2_1 n82_a_lob_a02__1_2->n82_a_lob_a02__1_2_1 n82_a_lob_a02__1_3->n82_a_lob_a02__1_3_1 
( (IP-MAT (NP-SBJ (NPR John;{John})
                  (NPR Dickie;{Dickie}))
          (VBP;__ writes;{write})
          (PUNC :))
  (ID 82_a_lob_a02))