Context                Previous, Next                Top


82_a_lob_a02
John Dickie writes:

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


%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_0082_0001__JOHN_R_0082_0002__DICKIE,R_0082_0003__WRITES] :
      ( r_0082_0001__John_r_0082_0002__Dickie(R_0082_0001__JOHN_R_0082_0002__DICKIE)
      & r_0082_0003__writes(R_0082_0003__WRITES)
      & has_arg0(R_0082_0003__WRITES,R_0082_0001__JOHN_R_0082_0002__DICKIE) ) ).