Context                Previous, Next                Top


66_a_potter_1902
THE END

%3 z_000_66_a_potter_1902_1 r_0066_0001__THE_r_0066_0002__END THE END z_000_66_a_potter_1902_1->r_0066_0001__THE_r_0066_0002__END [nim] 
arc(z_000_66_a_potter_1902_1, r_0066_0001__THE_r_0066_0002__END, nim2).


%3 z_000_66_a_potter_1902_1 r_0066_0001__THE_r_0066_0002__END THE END z_000_66_a_potter_1902_1->r_0066_0001__THE_r_0066_0002__END [nim] 
fof(formula,axiom,
    ? [Z_66_A_POTTER_1902_1,R_66_1_THE_END] :
      ( tHE_END(R_66_1_THE_END)
      & z_66_a_potter_1902_1(Z_66_A_POTTER_1902_1)
      & nim2(Z_66_A_POTTER_1902_1,R_66_1_THE_END) ) ).


n66_a_potter_1902 n66_a_potter_1902_4 THE n66_a_potter_1902_6 END n66_a_potter_1902_1 FRAG n66_a_potter_1902_2 NP n66_a_potter_1902_1->n66_a_potter_1902_2 n66_a_potter_1902_3 D n66_a_potter_1902_2->n66_a_potter_1902_3 n66_a_potter_1902_5 N n66_a_potter_1902_2->n66_a_potter_1902_5 n66_a_potter_1902_3->n66_a_potter_1902_4 n66_a_potter_1902_5->n66_a_potter_1902_6 
( (FRAG (NP (D THE;{the})
            (N END;{end})))
  (ID 66_a_potter_1902))