TSPC 79_a_kyoto

79_a_kyoto_2
Nanzen-ji sect

( (NP (NPR Nanzen_<hyphen>_ji;{Nanzen_ji})
      (N sect;{sect}))
  (ID 79_a_kyoto_2;BDS_00002;78))

arc(z_0079_5004,r_0079_0001__Nanzen__hyphen__ji_r_0079_0002__sect,z_0079_5002).

fof(formula,axiom,
    ? [R_0079_0001__NANZEN__HYPHEN__JI_R_0079_0002__SECT,Z_0079_5004] :
      ( r_0079_0001__Nanzen__hyphen__ji_r_0079_0002__sect(R_0079_0001__NANZEN__HYPHEN__JI_R_0079_0002__SECT)
      & z_0079_5004(Z_0079_5004)
      & has_z_0079_5002(Z_0079_5004,R_0079_0001__NANZEN__HYPHEN__JI_R_0079_0002__SECT) ) ).