Context                Previous, Next                Top


29_a_kyoto_2
Enlightenment

n29_a_kyoto_2 n29_a_kyoto_2__1_1_1 Enlightenment n29_a_kyoto_2__1 NP n29_a_kyoto_2__1_1 N n29_a_kyoto_2__1->n29_a_kyoto_2__1_1 n29_a_kyoto_2__1_1->n29_a_kyoto_2__1_1_1 
( (NP (N Enlightenment;{enlightenment}))
  (ID 29_a_kyoto_2;BDS_00002;29))


%3 z_0029_5004 r_0029_0001__Enlightenment Enlightenment z_0029_5004->r_0029_0001__Enlightenment 
arc(z_0029_5004,r_0029_0001__Enlightenment,z_0029_5002).


%3 z_0029_5004 r_0029_0001__Enlightenment Enlightenment z_0029_5004->r_0029_0001__Enlightenment 
fof(formula,axiom,
    ? [R_0029_0001__ENLIGHTENMENT,Z_0029_5004] :
      ( r_0029_0001__Enlightenment(R_0029_0001__ENLIGHTENMENT)
      & z_0029_5004(Z_0029_5004)
      & has_z_0029_5002(Z_0029_5004,R_0029_0001__ENLIGHTENMENT) ) ).