105_a_kyoto_2
Belonged to the Tofuku-ji sect until 1880.

n105_a_kyoto_2 n105_a_kyoto_2__1_1_1 Belonged n105_a_kyoto_2__1_2_1_1 to n105_a_kyoto_2__1_2_2_1_1 the n105_a_kyoto_2__1_2_2_2_1 Tofuku-ji n105_a_kyoto_2__1_2_2_3_1 sect n105_a_kyoto_2__1_3_1_1 until n105_a_kyoto_2__1_3_2_1_1 1880 n105_a_kyoto_2__1_4_1 . n105_a_kyoto_2__1 IP-MAT n105_a_kyoto_2__1_1 VBD;__ n105_a_kyoto_2__1->n105_a_kyoto_2__1_1 n105_a_kyoto_2__1_2 PP-CLR n105_a_kyoto_2__1->n105_a_kyoto_2__1_2 n105_a_kyoto_2__1_3 PP-NIM n105_a_kyoto_2__1->n105_a_kyoto_2__1_3 n105_a_kyoto_2__1_4 PUNC n105_a_kyoto_2__1->n105_a_kyoto_2__1_4 n105_a_kyoto_2__1_1->n105_a_kyoto_2__1_1_1 n105_a_kyoto_2__1_2_1 P-ROLE n105_a_kyoto_2__1_2->n105_a_kyoto_2__1_2_1 n105_a_kyoto_2__1_2_2 NP n105_a_kyoto_2__1_2->n105_a_kyoto_2__1_2_2 n105_a_kyoto_2__1_2_1->n105_a_kyoto_2__1_2_1_1 n105_a_kyoto_2__1_2_2_1 D n105_a_kyoto_2__1_2_2->n105_a_kyoto_2__1_2_2_1 n105_a_kyoto_2__1_2_2_2 NPR n105_a_kyoto_2__1_2_2->n105_a_kyoto_2__1_2_2_2 n105_a_kyoto_2__1_2_2_3 N n105_a_kyoto_2__1_2_2->n105_a_kyoto_2__1_2_2_3 n105_a_kyoto_2__1_2_2_1->n105_a_kyoto_2__1_2_2_1_1 n105_a_kyoto_2__1_2_2_2->n105_a_kyoto_2__1_2_2_2_1 n105_a_kyoto_2__1_2_2_3->n105_a_kyoto_2__1_2_2_3_1 n105_a_kyoto_2__1_3_1 P-ROLE n105_a_kyoto_2__1_3->n105_a_kyoto_2__1_3_1 n105_a_kyoto_2__1_3_2 NP n105_a_kyoto_2__1_3->n105_a_kyoto_2__1_3_2 n105_a_kyoto_2__1_3_1->n105_a_kyoto_2__1_3_1_1 n105_a_kyoto_2__1_3_2_1 NPR n105_a_kyoto_2__1_3_2->n105_a_kyoto_2__1_3_2_1 n105_a_kyoto_2__1_3_2_1->n105_a_kyoto_2__1_3_2_1_1 n105_a_kyoto_2__1_4->n105_a_kyoto_2__1_4_1
( (IP-MAT (VBD;__ Belonged;{belong})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (NPR Tofuku_<hyphen>_ji;{Tofuku_ji})
                      (N sect;{sect})))
          (PP-NIM (P-ROLE until;{until})
                  (NP (NPR 1880)))
          (PUNC .))
  (ID 105_a_kyoto_2;BDS_00002;104))



%3 r_0105_0001__Belonged Belonged z_0105_5002 r_0105_0001__Belonged->z_0105_5002 [arg0] r_0105_0007__1880 1880 r_0105_0001__Belonged->r_0105_0007__1880 until [nim] r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect the Tofuku-ji sect r_0105_0001__Belonged->r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect to [clr]
arc(r_0105_0001__Belonged,r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect,r_0105_0002__to__clr).
arc(r_0105_0001__Belonged,r_0105_0007__1880,r_0105_0006__until__nim).
arc(r_0105_0001__Belonged,z_0105_5002,arg0).



%3 r_0105_0001__Belonged Belonged r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect the Tofuku-ji sect r_0105_0001__Belonged->r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect to [clr] r_0105_0007__1880 1880 r_0105_0001__Belonged->r_0105_0007__1880 until [nim] z_0105_5002 r_0105_0001__Belonged->z_0105_5002 [arg0]
fof(formula,axiom,
    ? [R_0105_0003__THE_R_0105_0004__TOFUKU__HYPHEN__JI_R_0105_0005__SECT,R_0105_0007__1880,Z_0105_5002,R_0105_0001__BELONGED] :
      ( r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect(R_0105_0003__THE_R_0105_0004__TOFUKU__HYPHEN__JI_R_0105_0005__SECT)
      & r_0105_0007__1880(R_0105_0007__1880)
      & z_0105_5002(Z_0105_5002)
      & r_0105_0001__Belonged(R_0105_0001__BELONGED)
      & has_arg0(R_0105_0001__BELONGED,Z_0105_5002)
      & has_r_0105_0006__until__nim(R_0105_0001__BELONGED,R_0105_0007__1880)
      & has_r_0105_0002__to__clr(R_0105_0001__BELONGED,R_0105_0003__THE_R_0105_0004__TOFUKU__HYPHEN__JI_R_0105_0005__SECT) ) ).