Context                Previous, Next                Top


12_a_lob_a01
By Dennis Newson.

%3 z_000_12_a_lob_a01_1 r_0012_0002__Dennis_r_0012_0003__Newson Dennis Newson z_000_12_a_lob_a01_1->r_0012_0002__Dennis_r_0012_0003__Newson By [nim] 
arc(z_000_12_a_lob_a01_1, r_0012_0002__Dennis_r_0012_0003__Newson, r_0012_0001__By_nim5).


%3 z_000_12_a_lob_a01_1 r_0012_0002__Dennis_r_0012_0003__Newson Dennis Newson z_000_12_a_lob_a01_1->r_0012_0002__Dennis_r_0012_0003__Newson By [nim] 
fof(formula,axiom,
    ? [R_0012_0002__DENNIS_R_0012_0003__NEWSON,Z_000_12_A_LOB_A01_1] :
      ( r_0012_0002__Dennis_r_0012_0003__Newson(R_0012_0002__DENNIS_R_0012_0003__NEWSON)
      & z_000_12_a_lob_a01_1(Z_000_12_A_LOB_A01_1)
      & has_r_0012_0001__By_nim5(Z_000_12_A_LOB_A01_1,R_0012_0002__DENNIS_R_0012_0003__NEWSON) ) ).


n12_a_lob_a01 n12_a_lob_a01__1_1_1_1 By n12_a_lob_a01__1_1_2_1_1 Dennis n12_a_lob_a01__1_1_2_2_1 Newson n12_a_lob_a01__1_2_1 . n12_a_lob_a01__1 FRAG n12_a_lob_a01__1_1 PP n12_a_lob_a01__1->n12_a_lob_a01__1_1 n12_a_lob_a01__1_2 PUNC n12_a_lob_a01__1->n12_a_lob_a01__1_2 n12_a_lob_a01__1_1_1 P-ROLE n12_a_lob_a01__1_1->n12_a_lob_a01__1_1_1 n12_a_lob_a01__1_1_2 NP n12_a_lob_a01__1_1->n12_a_lob_a01__1_1_2 n12_a_lob_a01__1_1_1->n12_a_lob_a01__1_1_1_1 n12_a_lob_a01__1_1_2_1 NPR n12_a_lob_a01__1_1_2->n12_a_lob_a01__1_1_2_1 n12_a_lob_a01__1_1_2_2 NPR n12_a_lob_a01__1_1_2->n12_a_lob_a01__1_1_2_2 n12_a_lob_a01__1_1_2_1->n12_a_lob_a01__1_1_2_1_1 n12_a_lob_a01__1_1_2_2->n12_a_lob_a01__1_1_2_2_1 n12_a_lob_a01__1_2->n12_a_lob_a01__1_2_1 
( (FRAG (PP (P-ROLE By;{by})
            (NP (NPR Dennis;{Dennis})
                (NPR Newson;{Newson})))
        (PUNC .))
  (ID 12_a_lob_a01))