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,
    ? [R_0056_0001__THE_R_0056_0002__END,Z_000_56_A_POTTER_1902_1] :
      ( r_0056_0001__THE_r_0056_0002__END(R_0056_0001__THE_R_0056_0002__END)
      & z_000_56_a_potter_1902_1(Z_000_56_A_POTTER_1902_1)
      & has_nim2(Z_000_56_A_POTTER_1902_1,R_0056_0001__THE_R_0056_0002__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))