Context                Previous, Next                Top


12_a_coleridge_1798
1798

n12_a_coleridge_1798 n12_a_coleridge_1798__1_1_1 1798 n12_a_coleridge_1798__1 NP n12_a_coleridge_1798__1_1 NPR n12_a_coleridge_1798__1->n12_a_coleridge_1798__1_1 n12_a_coleridge_1798__1_1->n12_a_coleridge_1798__1_1_1 
( (NP (NPR 1798))
  (ID 12_a_coleridge_1798))


%3 z_0012_5003 r_0012_0001__1798 1798 z_0012_5003->r_0012_0001__1798 
arc(z_0012_5003,r_0012_0001__1798,z_0012_5002).


%3 z_0012_5003 r_0012_0001__1798 1798 z_0012_5003->r_0012_0001__1798 
fof(formula,axiom,
    ? [R_0012_0001__1798,Z_0012_5003] :
      ( r_0012_0001__1798(R_0012_0001__1798)
      & z_0012_5003(Z_0012_5003)
      & has_z_0012_5002(Z_0012_5003,R_0012_0001__1798) ) ).