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_4 By n3_a_lob_a02_7 John n3_a_lob_a02_9 Dickie n3_a_lob_a02_11 . n3_a_lob_a02_1 FRAG n3_a_lob_a02_2 PP n3_a_lob_a02_1->n3_a_lob_a02_2 n3_a_lob_a02_10 PUNC n3_a_lob_a02_1->n3_a_lob_a02_10 n3_a_lob_a02_3 P-ROLE n3_a_lob_a02_2->n3_a_lob_a02_3 n3_a_lob_a02_5 NP n3_a_lob_a02_2->n3_a_lob_a02_5 n3_a_lob_a02_3->n3_a_lob_a02_4 n3_a_lob_a02_6 NPR n3_a_lob_a02_5->n3_a_lob_a02_6 n3_a_lob_a02_8 NPR n3_a_lob_a02_5->n3_a_lob_a02_8 n3_a_lob_a02_6->n3_a_lob_a02_7 n3_a_lob_a02_8->n3_a_lob_a02_9 n3_a_lob_a02_10->n3_a_lob_a02_11 
( (FRAG (PP (P-ROLE By;{by})
            (NP (NPR John;{John})
                (NPR Dickie;{Dickie})))
        (PUNC .))
  (ID 3_a_lob_a02))