Context                Previous, Next                Top


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

%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] 
arc(r_0105_0001__Belonged, r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect, r_0105_0002__to_clr7).
arc(r_0105_0001__Belonged, r_0105_0007__1880, r_0105_0006__until_nim17).


%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] 
fof(formula,axiom,
    ? [R_105_1_BELONGED,R_105_3_THE_TOFUKU_HYPHEN_JI_SECT,R_105_7_1880] :
      ( the_Tofuku_hyphen_ji_sect(R_105_3_THE_TOFUKU_HYPHEN_JI_SECT)
      & 1880(R_105_7_1880)
      & belonged(R_105_1_BELONGED)
      & to_clr7(R_105_1_BELONGED,R_105_3_THE_TOFUKU_HYPHEN_JI_SECT)
      & until_nim17(R_105_1_BELONGED,R_105_7_1880) ) ).


n105_a_kyoto_2 n105_a_kyoto_2_3 Belonged n105_a_kyoto_2_6 to n105_a_kyoto_2_9 the n105_a_kyoto_2_11 Tofuku-ji n105_a_kyoto_2_13 sect n105_a_kyoto_2_16 until n105_a_kyoto_2_19 1880 n105_a_kyoto_2_21 . n105_a_kyoto_2_1 IP-MAT n105_a_kyoto_2_2 VBD;__ n105_a_kyoto_2_1->n105_a_kyoto_2_2 n105_a_kyoto_2_4 PP-CLR n105_a_kyoto_2_1->n105_a_kyoto_2_4 n105_a_kyoto_2_14 PP-NIM n105_a_kyoto_2_1->n105_a_kyoto_2_14 n105_a_kyoto_2_20 PUNC n105_a_kyoto_2_1->n105_a_kyoto_2_20 n105_a_kyoto_2_2->n105_a_kyoto_2_3 n105_a_kyoto_2_5 P-ROLE n105_a_kyoto_2_4->n105_a_kyoto_2_5 n105_a_kyoto_2_7 NP n105_a_kyoto_2_4->n105_a_kyoto_2_7 n105_a_kyoto_2_5->n105_a_kyoto_2_6 n105_a_kyoto_2_8 D n105_a_kyoto_2_7->n105_a_kyoto_2_8 n105_a_kyoto_2_10 NPR n105_a_kyoto_2_7->n105_a_kyoto_2_10 n105_a_kyoto_2_12 N n105_a_kyoto_2_7->n105_a_kyoto_2_12 n105_a_kyoto_2_8->n105_a_kyoto_2_9 n105_a_kyoto_2_10->n105_a_kyoto_2_11 n105_a_kyoto_2_12->n105_a_kyoto_2_13 n105_a_kyoto_2_15 P-ROLE n105_a_kyoto_2_14->n105_a_kyoto_2_15 n105_a_kyoto_2_17 NP n105_a_kyoto_2_14->n105_a_kyoto_2_17 n105_a_kyoto_2_15->n105_a_kyoto_2_16 n105_a_kyoto_2_18 NPR n105_a_kyoto_2_17->n105_a_kyoto_2_18 n105_a_kyoto_2_18->n105_a_kyoto_2_19 n105_a_kyoto_2_20->n105_a_kyoto_2_21 
( (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))