Context                Previous, Next                Top


84_a_lob_a01
By Hugh Pilcher.

%3 z_000_84_a_lob_a01_1 r_0084_0002__Hugh_r_0084_0003__Pilcher Hugh Pilcher z_000_84_a_lob_a01_1->r_0084_0002__Hugh_r_0084_0003__Pilcher By [nim] 
arc(z_000_84_a_lob_a01_1, r_0084_0002__Hugh_r_0084_0003__Pilcher, r_0084_0001__By_nim5).


%3 z_000_84_a_lob_a01_1 r_0084_0002__Hugh_r_0084_0003__Pilcher Hugh Pilcher z_000_84_a_lob_a01_1->r_0084_0002__Hugh_r_0084_0003__Pilcher By [nim] 
fof(formula,axiom,
    ? [R_0084_0002__HUGH_R_0084_0003__PILCHER,Z_000_84_A_LOB_A01_1] :
      ( r_0084_0002__Hugh_r_0084_0003__Pilcher(R_0084_0002__HUGH_R_0084_0003__PILCHER)
      & z_000_84_a_lob_a01_1(Z_000_84_A_LOB_A01_1)
      & has_r_0084_0001__By_nim5(Z_000_84_A_LOB_A01_1,R_0084_0002__HUGH_R_0084_0003__PILCHER) ) ).


n84_a_lob_a01 n84_a_lob_a01__1_1_1_1 By n84_a_lob_a01__1_1_2_1_1 Hugh n84_a_lob_a01__1_1_2_2_1 Pilcher n84_a_lob_a01__1_2_1 . n84_a_lob_a01__1 FRAG n84_a_lob_a01__1_1 PP n84_a_lob_a01__1->n84_a_lob_a01__1_1 n84_a_lob_a01__1_2 PUNC n84_a_lob_a01__1->n84_a_lob_a01__1_2 n84_a_lob_a01__1_1_1 P-ROLE n84_a_lob_a01__1_1->n84_a_lob_a01__1_1_1 n84_a_lob_a01__1_1_2 NP n84_a_lob_a01__1_1->n84_a_lob_a01__1_1_2 n84_a_lob_a01__1_1_1->n84_a_lob_a01__1_1_1_1 n84_a_lob_a01__1_1_2_1 NPR n84_a_lob_a01__1_1_2->n84_a_lob_a01__1_1_2_1 n84_a_lob_a01__1_1_2_2 NPR n84_a_lob_a01__1_1_2->n84_a_lob_a01__1_1_2_2 n84_a_lob_a01__1_1_2_1->n84_a_lob_a01__1_1_2_1_1 n84_a_lob_a01__1_1_2_2->n84_a_lob_a01__1_1_2_2_1 n84_a_lob_a01__1_2->n84_a_lob_a01__1_2_1 
( (FRAG (PP (P-ROLE By;{by})
            (NP (NPR Hugh;{Hugh})
                (NPR Pilcher;{Pilcher})))
        (PUNC .))
  (ID 84_a_lob_a01))