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,
    ? [Z_26_A_LOB_A01_1,R_26_2_HUGH_PILCHER] :
      ( hugh_Pilcher(R_26_2_HUGH_PILCHER)
      & z_26_a_lob_a01_1(Z_26_A_LOB_A01_1)
      & by_nim5(Z_26_A_LOB_A01_1,R_26_2_HUGH_PILCHER) ) ).


n26_a_lob_a01 n26_a_lob_a01_4 By n26_a_lob_a01_7 Hugh n26_a_lob_a01_9 Pilcher n26_a_lob_a01_11 . n26_a_lob_a01_1 FRAG n26_a_lob_a01_2 PP n26_a_lob_a01_1->n26_a_lob_a01_2 n26_a_lob_a01_10 PUNC n26_a_lob_a01_1->n26_a_lob_a01_10 n26_a_lob_a01_3 P-ROLE n26_a_lob_a01_2->n26_a_lob_a01_3 n26_a_lob_a01_5 NP n26_a_lob_a01_2->n26_a_lob_a01_5 n26_a_lob_a01_3->n26_a_lob_a01_4 n26_a_lob_a01_6 NPR n26_a_lob_a01_5->n26_a_lob_a01_6 n26_a_lob_a01_8 NPR n26_a_lob_a01_5->n26_a_lob_a01_8 n26_a_lob_a01_6->n26_a_lob_a01_7 n26_a_lob_a01_8->n26_a_lob_a01_9 n26_a_lob_a01_10->n26_a_lob_a01_11 
( (FRAG (PP (P-ROLE By;{by})
            (NP (NPR Hugh;{Hugh})
                (NPR Pilcher;{Pilcher})))
        (PUNC .))
  (ID 26_a_lob_a01))