TSPC 85_a_kyoto

85_a_kyoto_2
Taninaka-no-Zenseian, founded by Tesshuu, is a famous temple of the Kokutai-ji sect.

( (IP-MAT (NP-SBJ (NPR Taninaka_<hyphen>_no_<hyphen>_Zenseian;{Taninaka_no_Zenseian})
                  (PUNC ,)
                  (IP-PPL (VVN;__ founded;{found})
                          (PP-LGS (P-ROLE;_lgs_ by;{by})
                                  (NP (NPR Tesshuu;{Tesshuu})))))
          (PUNC ,)
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ famous;{famous}))
                  (N temple;{temple})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NPR Kokutai_<hyphen>_ji;{Kokutai_ji})
                          (N sect;{sect}))))
          (PUNC .))
  (ID 85_a_kyoto_2;BDS_00002;84))

arc(r_0085_0003__founded,r_0085_0001__Taninaka__hyphen__no__hyphen__Zenseian,inv_arg1).
arc(r_0085_0003__founded,r_0085_0005__Tesshuu,r_0085_0004__by_arg0).
arc(r_0085_0007__is,r_0085_0001__Taninaka__hyphen__no__hyphen__Zenseian,arg0).
arc(r_0085_0007__is,r_0085_0008__a_r_0085_0010__temple,prd).
arc(r_0085_0008__a_r_0085_0010__temple,r_0085_0009__famous,attrib).
arc(r_0085_0008__a_r_0085_0010__temple,r_0085_0012__the_r_0085_0013__Kokutai__hyphen__ji_r_0085_0014__sect,r_0085_0011__of).

fof(formula,axiom,
    ? [R_0085_0005__TESSHUU,R_0085_0003__FOUNDED,R_0085_0001__TANINAKA__HYPHEN__NO__HYPHEN__ZENSEIAN,R_0085_0009__FAMOUS,R_0085_0012__THE_R_0085_0013__KOKUTAI__HYPHEN__JI_R_0085_0014__SECT,R_0085_0008__A_R_0085_0010__TEMPLE,R_0085_0007__IS] :
      ( r_0085_0005__Tesshuu(R_0085_0005__TESSHUU)
      & r_0085_0009__famous(R_0085_0009__FAMOUS)
      & r_0085_0012__the_r_0085_0013__Kokutai__hyphen__ji_r_0085_0014__sect(R_0085_0012__THE_R_0085_0013__KOKUTAI__HYPHEN__JI_R_0085_0014__SECT)
      & r_0085_0007__is(R_0085_0007__IS)
      & has_prd(R_0085_0007__IS,R_0085_0008__A_R_0085_0010__TEMPLE)
      & r_0085_0008__a_r_0085_0010__temple(R_0085_0008__A_R_0085_0010__TEMPLE)
      & has_r_0085_0011__of(R_0085_0008__A_R_0085_0010__TEMPLE,R_0085_0012__THE_R_0085_0013__KOKUTAI__HYPHEN__JI_R_0085_0014__SECT)
      & has_attrib(R_0085_0008__A_R_0085_0010__TEMPLE,R_0085_0009__FAMOUS)
      & has_arg0(R_0085_0007__IS,R_0085_0001__TANINAKA__HYPHEN__NO__HYPHEN__ZENSEIAN)
      & r_0085_0001__Taninaka__hyphen__no__hyphen__Zenseian(R_0085_0001__TANINAKA__HYPHEN__NO__HYPHEN__ZENSEIAN)
      & has_inv_arg1(R_0085_0001__TANINAKA__HYPHEN__NO__HYPHEN__ZENSEIAN,R_0085_0003__FOUNDED)
      & r_0085_0003__founded(R_0085_0003__FOUNDED)
      & has_r_0085_0004__by_arg0(R_0085_0003__FOUNDED,R_0085_0005__TESSHUU) ) ).