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,
    ? [Z_3_A_LOB_A02_1,R_3_2_JOHN_DICKIE] :
      ( john_Dickie(R_3_2_JOHN_DICKIE)
      & z_3_a_lob_a02_1(Z_3_A_LOB_A02_1)
      & by_nim5(Z_3_A_LOB_A02_1,R_3_2_JOHN_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))