Context                Previous, Next                Top


5_a_kyoto_3
Doctrine

n5_a_kyoto_3 n5_a_kyoto_3__1_1_1 Doctrine n5_a_kyoto_3__1 NP n5_a_kyoto_3__1_1 N n5_a_kyoto_3__1->n5_a_kyoto_3__1_1 n5_a_kyoto_3__1_1->n5_a_kyoto_3__1_1_1 
( (NP (N Doctrine;{doctrine}))
  (ID 5_a_kyoto_3;BDS_00003;5))


%3 z_0005_5004 r_0005_0001__Doctrine Doctrine z_0005_5004->r_0005_0001__Doctrine 
arc(z_0005_5004,r_0005_0001__Doctrine,z_0005_5002).


%3 z_0005_5004 r_0005_0001__Doctrine Doctrine z_0005_5004->r_0005_0001__Doctrine 
fof(formula,axiom,
    ? [R_0005_0001__DOCTRINE,Z_0005_5004] :
      ( r_0005_0001__Doctrine(R_0005_0001__DOCTRINE)
      & z_0005_5004(Z_0005_5004)
      & has_z_0005_5002(Z_0005_5004,R_0005_0001__DOCTRINE) ) ).