Context                Previous, Next                Top


56_a_potter_1902
THE END

%3 z_000_56_a_potter_1902_1 r_0056_0001__THE_r_0056_0002__END THE END z_000_56_a_potter_1902_1->r_0056_0001__THE_r_0056_0002__END [nim] 
arc(z_000_56_a_potter_1902_1, r_0056_0001__THE_r_0056_0002__END, nim2).


%3 z_000_56_a_potter_1902_1 r_0056_0001__THE_r_0056_0002__END THE END z_000_56_a_potter_1902_1->r_0056_0001__THE_r_0056_0002__END [nim] 
fof(formula,axiom,
    ? [Z_56_A_POTTER_1902_1,R_56_1_THE_END] :
      ( tHE_END(R_56_1_THE_END)
      & z_56_a_potter_1902_1(Z_56_A_POTTER_1902_1)
      & nim2(Z_56_A_POTTER_1902_1,R_56_1_THE_END) ) ).


n56_a_potter_1902 n56_a_potter_1902__1_1_1_1 THE n56_a_potter_1902__1_1_2_1 END n56_a_potter_1902__1 FRAG n56_a_potter_1902__1_1 NP n56_a_potter_1902__1->n56_a_potter_1902__1_1 n56_a_potter_1902__1_1_1 D n56_a_potter_1902__1_1->n56_a_potter_1902__1_1_1 n56_a_potter_1902__1_1_2 N n56_a_potter_1902__1_1->n56_a_potter_1902__1_1_2 n56_a_potter_1902__1_1_1->n56_a_potter_1902__1_1_1_1 n56_a_potter_1902__1_1_2->n56_a_potter_1902__1_1_2_1 
( (FRAG (NP (D THE;{the})
            (N END;{end})))
  (ID 56_a_potter_1902))