Context                Previous, Next                Top


26_a_lob_a01
By Hugh Pilcher.

%3 z_000_26_a_lob_a01_1 r_0026_0002__Hugh_r_0026_0003__Pilcher Hugh Pilcher z_000_26_a_lob_a01_1->r_0026_0002__Hugh_r_0026_0003__Pilcher By [nim] 
arc(z_000_26_a_lob_a01_1, r_0026_0002__Hugh_r_0026_0003__Pilcher, r_0026_0001__By_nim5).


%3 z_000_26_a_lob_a01_1 r_0026_0002__Hugh_r_0026_0003__Pilcher Hugh Pilcher z_000_26_a_lob_a01_1->r_0026_0002__Hugh_r_0026_0003__Pilcher By [nim] 
fof(formula,axiom,
    ? [R_0026_0002__HUGH_R_0026_0003__PILCHER,Z_000_26_A_LOB_A01_1] :
      ( r_0026_0002__Hugh_r_0026_0003__Pilcher(R_0026_0002__HUGH_R_0026_0003__PILCHER)
      & z_000_26_a_lob_a01_1(Z_000_26_A_LOB_A01_1)
      & has_r_0026_0001__By_nim5(Z_000_26_A_LOB_A01_1,R_0026_0002__HUGH_R_0026_0003__PILCHER) ) ).


n26_a_lob_a01 n26_a_lob_a01__1_1_1_1 By n26_a_lob_a01__1_1_2_1_1 Hugh n26_a_lob_a01__1_1_2_2_1 Pilcher n26_a_lob_a01__1_2_1 . n26_a_lob_a01__1 FRAG n26_a_lob_a01__1_1 PP n26_a_lob_a01__1->n26_a_lob_a01__1_1 n26_a_lob_a01__1_2 PUNC n26_a_lob_a01__1->n26_a_lob_a01__1_2 n26_a_lob_a01__1_1_1 P-ROLE n26_a_lob_a01__1_1->n26_a_lob_a01__1_1_1 n26_a_lob_a01__1_1_2 NP n26_a_lob_a01__1_1->n26_a_lob_a01__1_1_2 n26_a_lob_a01__1_1_1->n26_a_lob_a01__1_1_1_1 n26_a_lob_a01__1_1_2_1 NPR n26_a_lob_a01__1_1_2->n26_a_lob_a01__1_1_2_1 n26_a_lob_a01__1_1_2_2 NPR n26_a_lob_a01__1_1_2->n26_a_lob_a01__1_1_2_2 n26_a_lob_a01__1_1_2_1->n26_a_lob_a01__1_1_2_1_1 n26_a_lob_a01__1_1_2_2->n26_a_lob_a01__1_1_2_2_1 n26_a_lob_a01__1_2->n26_a_lob_a01__1_2_1 
( (FRAG (PP (P-ROLE By;{by})
            (NP (NPR Hugh;{Hugh})
                (NPR Pilcher;{Pilcher})))
        (PUNC .))
  (ID 26_a_lob_a01))