Context                Previous, Next                Top


3_a_lob_a02
By John Dickie.

%3 z_000_3_a_lob_a02_1 r_0003_0002__John_r_0003_0003__Dickie John Dickie z_000_3_a_lob_a02_1->r_0003_0002__John_r_0003_0003__Dickie By [nim] 
arc(z_000_3_a_lob_a02_1, r_0003_0002__John_r_0003_0003__Dickie, r_0003_0001__By_nim5).


%3 z_000_3_a_lob_a02_1 r_0003_0002__John_r_0003_0003__Dickie John Dickie z_000_3_a_lob_a02_1->r_0003_0002__John_r_0003_0003__Dickie By [nim] 
fof(formula,axiom,
    ? [R_0003_0002__JOHN_R_0003_0003__DICKIE,Z_000_3_A_LOB_A02_1] :
      ( r_0003_0002__John_r_0003_0003__Dickie(R_0003_0002__JOHN_R_0003_0003__DICKIE)
      & z_000_3_a_lob_a02_1(Z_000_3_A_LOB_A02_1)
      & has_r_0003_0001__By_nim5(Z_000_3_A_LOB_A02_1,R_0003_0002__JOHN_R_0003_0003__DICKIE) ) ).


n3_a_lob_a02 n3_a_lob_a02__1_1_1_1 By n3_a_lob_a02__1_1_2_1_1 John n3_a_lob_a02__1_1_2_2_1 Dickie n3_a_lob_a02__1_2_1 . n3_a_lob_a02__1 FRAG n3_a_lob_a02__1_1 PP n3_a_lob_a02__1->n3_a_lob_a02__1_1 n3_a_lob_a02__1_2 PUNC n3_a_lob_a02__1->n3_a_lob_a02__1_2 n3_a_lob_a02__1_1_1 P-ROLE n3_a_lob_a02__1_1->n3_a_lob_a02__1_1_1 n3_a_lob_a02__1_1_2 NP n3_a_lob_a02__1_1->n3_a_lob_a02__1_1_2 n3_a_lob_a02__1_1_1->n3_a_lob_a02__1_1_1_1 n3_a_lob_a02__1_1_2_1 NPR n3_a_lob_a02__1_1_2->n3_a_lob_a02__1_1_2_1 n3_a_lob_a02__1_1_2_2 NPR n3_a_lob_a02__1_1_2->n3_a_lob_a02__1_1_2_2 n3_a_lob_a02__1_1_2_1->n3_a_lob_a02__1_1_2_1_1 n3_a_lob_a02__1_1_2_2->n3_a_lob_a02__1_1_2_2_1 n3_a_lob_a02__1_2->n3_a_lob_a02__1_2_1 
( (FRAG (PP (P-ROLE By;{by})
            (NP (NPR John;{John})
                (NPR Dickie;{Dickie})))
        (PUNC .))
  (ID 3_a_lob_a02))