TSPC 86_a_kyoto

86_a_kyoto_2
Daitoku-ji sect

( (NP (NPR Daitoku_<hyphen>_ji;{Daitoku_ji})
      (N sect;{sect}))
  (ID 86_a_kyoto_2;BDS_00002;85))

arc(z_0086_5004,r_0086_0001__Daitoku__hyphen__ji_r_0086_0002__sect,z_0086_5002).

fof(formula,axiom,
    ? [R_0086_0001__DAITOKU__HYPHEN__JI_R_0086_0002__SECT,Z_0086_5004] :
      ( r_0086_0001__Daitoku__hyphen__ji_r_0086_0002__sect(R_0086_0001__DAITOKU__HYPHEN__JI_R_0086_0002__SECT)
      & z_0086_5004(Z_0086_5004)
      & has_z_0086_5002(Z_0086_5004,R_0086_0001__DAITOKU__HYPHEN__JI_R_0086_0002__SECT) ) ).