Context                Previous, Next                Top


3_a_kyoto_3
Due to the historical background of the origin of the sect name, most sects belonging to this religion call themselves Shinshu as a sect name.

n3_a_kyoto_3 n3_a_kyoto_3__1_1_1_1 Due_to n3_a_kyoto_3__1_1_2_1_1 the n3_a_kyoto_3__1_1_2_2_1_1 historical n3_a_kyoto_3__1_1_2_3_1 background n3_a_kyoto_3__1_1_2_4_1_1 of n3_a_kyoto_3__1_1_2_4_2_1_1 the n3_a_kyoto_3__1_1_2_4_2_2_1 origin n3_a_kyoto_3__1_1_2_4_2_3_1_1 of n3_a_kyoto_3__1_1_2_4_2_3_2_1_1 the n3_a_kyoto_3__1_1_2_4_2_3_2_2_1 sect n3_a_kyoto_3__1_1_2_4_2_3_2_3_1 name n3_a_kyoto_3__1_2_1 , n3_a_kyoto_3__1_3_1_1 most n3_a_kyoto_3__1_3_2_1 sects n3_a_kyoto_3__1_3_3_1_1 belonging n3_a_kyoto_3__1_3_3_2_1_1 to n3_a_kyoto_3__1_3_3_2_2_1_1 this n3_a_kyoto_3__1_3_3_2_2_2_1 religion n3_a_kyoto_3__1_4_1 call n3_a_kyoto_3__1_5_1_1 themselves n3_a_kyoto_3__1_6_1_1 Shinshu n3_a_kyoto_3__1_7_1_1 as n3_a_kyoto_3__1_7_2_1_1 a n3_a_kyoto_3__1_7_2_2_1_1 sect n3_a_kyoto_3__1_7_2_3_1 name n3_a_kyoto_3__1_8_1 . n3_a_kyoto_3__1 IP-MAT n3_a_kyoto_3__1_1 PP-NIM n3_a_kyoto_3__1->n3_a_kyoto_3__1_1 n3_a_kyoto_3__1_2 PUNC n3_a_kyoto_3__1->n3_a_kyoto_3__1_2 n3_a_kyoto_3__1_3 NP-SBJ n3_a_kyoto_3__1->n3_a_kyoto_3__1_3 n3_a_kyoto_3__1_4 VBP;_Cn.n_ n3_a_kyoto_3__1->n3_a_kyoto_3__1_4 n3_a_kyoto_3__1_5 NP-OB1 n3_a_kyoto_3__1->n3_a_kyoto_3__1_5 n3_a_kyoto_3__1_6 NP-PRD n3_a_kyoto_3__1->n3_a_kyoto_3__1_6 n3_a_kyoto_3__1_7 PP-NIM n3_a_kyoto_3__1->n3_a_kyoto_3__1_7 n3_a_kyoto_3__1_8 PUNC n3_a_kyoto_3__1->n3_a_kyoto_3__1_8 n3_a_kyoto_3__1_1_1 P-ROLE n3_a_kyoto_3__1_1->n3_a_kyoto_3__1_1_1 n3_a_kyoto_3__1_1_2 NP n3_a_kyoto_3__1_1->n3_a_kyoto_3__1_1_2 n3_a_kyoto_3__1_1_1->n3_a_kyoto_3__1_1_1_1 n3_a_kyoto_3__1_1_2_1 D n3_a_kyoto_3__1_1_2->n3_a_kyoto_3__1_1_2_1 n3_a_kyoto_3__1_1_2_2 ADJP n3_a_kyoto_3__1_1_2->n3_a_kyoto_3__1_1_2_2 n3_a_kyoto_3__1_1_2_3 N n3_a_kyoto_3__1_1_2->n3_a_kyoto_3__1_1_2_3 n3_a_kyoto_3__1_1_2_4 PP n3_a_kyoto_3__1_1_2->n3_a_kyoto_3__1_1_2_4 n3_a_kyoto_3__1_1_2_1->n3_a_kyoto_3__1_1_2_1_1 n3_a_kyoto_3__1_1_2_2_1 ADJ n3_a_kyoto_3__1_1_2_2->n3_a_kyoto_3__1_1_2_2_1 n3_a_kyoto_3__1_1_2_2_1->n3_a_kyoto_3__1_1_2_2_1_1 n3_a_kyoto_3__1_1_2_3->n3_a_kyoto_3__1_1_2_3_1 n3_a_kyoto_3__1_1_2_4_1 P-ROLE n3_a_kyoto_3__1_1_2_4->n3_a_kyoto_3__1_1_2_4_1 n3_a_kyoto_3__1_1_2_4_2 NP n3_a_kyoto_3__1_1_2_4->n3_a_kyoto_3__1_1_2_4_2 n3_a_kyoto_3__1_1_2_4_1->n3_a_kyoto_3__1_1_2_4_1_1 n3_a_kyoto_3__1_1_2_4_2_1 D n3_a_kyoto_3__1_1_2_4_2->n3_a_kyoto_3__1_1_2_4_2_1 n3_a_kyoto_3__1_1_2_4_2_2 N n3_a_kyoto_3__1_1_2_4_2->n3_a_kyoto_3__1_1_2_4_2_2 n3_a_kyoto_3__1_1_2_4_2_3 PP n3_a_kyoto_3__1_1_2_4_2->n3_a_kyoto_3__1_1_2_4_2_3 n3_a_kyoto_3__1_1_2_4_2_1->n3_a_kyoto_3__1_1_2_4_2_1_1 n3_a_kyoto_3__1_1_2_4_2_2->n3_a_kyoto_3__1_1_2_4_2_2_1 n3_a_kyoto_3__1_1_2_4_2_3_1 P-ROLE n3_a_kyoto_3__1_1_2_4_2_3->n3_a_kyoto_3__1_1_2_4_2_3_1 n3_a_kyoto_3__1_1_2_4_2_3_2 NP n3_a_kyoto_3__1_1_2_4_2_3->n3_a_kyoto_3__1_1_2_4_2_3_2 n3_a_kyoto_3__1_1_2_4_2_3_1->n3_a_kyoto_3__1_1_2_4_2_3_1_1 n3_a_kyoto_3__1_1_2_4_2_3_2_1 D n3_a_kyoto_3__1_1_2_4_2_3_2->n3_a_kyoto_3__1_1_2_4_2_3_2_1 n3_a_kyoto_3__1_1_2_4_2_3_2_2 N n3_a_kyoto_3__1_1_2_4_2_3_2->n3_a_kyoto_3__1_1_2_4_2_3_2_2 n3_a_kyoto_3__1_1_2_4_2_3_2_3 N n3_a_kyoto_3__1_1_2_4_2_3_2->n3_a_kyoto_3__1_1_2_4_2_3_2_3 n3_a_kyoto_3__1_1_2_4_2_3_2_1->n3_a_kyoto_3__1_1_2_4_2_3_2_1_1 n3_a_kyoto_3__1_1_2_4_2_3_2_2->n3_a_kyoto_3__1_1_2_4_2_3_2_2_1 n3_a_kyoto_3__1_1_2_4_2_3_2_3->n3_a_kyoto_3__1_1_2_4_2_3_2_3_1 n3_a_kyoto_3__1_2->n3_a_kyoto_3__1_2_1 n3_a_kyoto_3__1_3_1 Q n3_a_kyoto_3__1_3->n3_a_kyoto_3__1_3_1 n3_a_kyoto_3__1_3_2 NS n3_a_kyoto_3__1_3->n3_a_kyoto_3__1_3_2 n3_a_kyoto_3__1_3_3 IP-PPL n3_a_kyoto_3__1_3->n3_a_kyoto_3__1_3_3 n3_a_kyoto_3__1_3_1->n3_a_kyoto_3__1_3_1_1 n3_a_kyoto_3__1_3_2->n3_a_kyoto_3__1_3_2_1 n3_a_kyoto_3__1_3_3_1 VAG;_Ipr_ n3_a_kyoto_3__1_3_3->n3_a_kyoto_3__1_3_3_1 n3_a_kyoto_3__1_3_3_2 PP-CLR n3_a_kyoto_3__1_3_3->n3_a_kyoto_3__1_3_3_2 n3_a_kyoto_3__1_3_3_1->n3_a_kyoto_3__1_3_3_1_1 n3_a_kyoto_3__1_3_3_2_1 P-ROLE n3_a_kyoto_3__1_3_3_2->n3_a_kyoto_3__1_3_3_2_1 n3_a_kyoto_3__1_3_3_2_2 NP n3_a_kyoto_3__1_3_3_2->n3_a_kyoto_3__1_3_3_2_2 n3_a_kyoto_3__1_3_3_2_1->n3_a_kyoto_3__1_3_3_2_1_1 n3_a_kyoto_3__1_3_3_2_2_1 D n3_a_kyoto_3__1_3_3_2_2->n3_a_kyoto_3__1_3_3_2_2_1 n3_a_kyoto_3__1_3_3_2_2_2 N n3_a_kyoto_3__1_3_3_2_2->n3_a_kyoto_3__1_3_3_2_2_2 n3_a_kyoto_3__1_3_3_2_2_1->n3_a_kyoto_3__1_3_3_2_2_1_1 n3_a_kyoto_3__1_3_3_2_2_2->n3_a_kyoto_3__1_3_3_2_2_2_1 n3_a_kyoto_3__1_4->n3_a_kyoto_3__1_4_1 n3_a_kyoto_3__1_5_1 PNX n3_a_kyoto_3__1_5->n3_a_kyoto_3__1_5_1 n3_a_kyoto_3__1_5_1->n3_a_kyoto_3__1_5_1_1 n3_a_kyoto_3__1_6_1 NPR n3_a_kyoto_3__1_6->n3_a_kyoto_3__1_6_1 n3_a_kyoto_3__1_6_1->n3_a_kyoto_3__1_6_1_1 n3_a_kyoto_3__1_7_1 P-ROLE n3_a_kyoto_3__1_7->n3_a_kyoto_3__1_7_1 n3_a_kyoto_3__1_7_2 NP n3_a_kyoto_3__1_7->n3_a_kyoto_3__1_7_2 n3_a_kyoto_3__1_7_1->n3_a_kyoto_3__1_7_1_1 n3_a_kyoto_3__1_7_2_1 D n3_a_kyoto_3__1_7_2->n3_a_kyoto_3__1_7_2_1 n3_a_kyoto_3__1_7_2_2 ADJP n3_a_kyoto_3__1_7_2->n3_a_kyoto_3__1_7_2_2 n3_a_kyoto_3__1_7_2_3 N n3_a_kyoto_3__1_7_2->n3_a_kyoto_3__1_7_2_3 n3_a_kyoto_3__1_7_2_1->n3_a_kyoto_3__1_7_2_1_1 n3_a_kyoto_3__1_7_2_2_1 ADJ n3_a_kyoto_3__1_7_2_2->n3_a_kyoto_3__1_7_2_2_1 n3_a_kyoto_3__1_7_2_2_1->n3_a_kyoto_3__1_7_2_2_1_1 n3_a_kyoto_3__1_7_2_3->n3_a_kyoto_3__1_7_2_3_1 n3_a_kyoto_3__1_8->n3_a_kyoto_3__1_8_1 
( (IP-MAT (PP-NIM (P-ROLE Due_to;{due_to})
                  (NP (D the;{the})
                      (ADJP (ADJ historical;{historical}))
                      (N background;{background})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (N origin;{origin})
                              (PP (P-ROLE of;{of})
                                  (NP (D the;{the})
                                      (N sect;{sect})
                                      (N name;{name})))))))
          (PUNC ,)
          (NP-SBJ (Q most;{most})
                  (NS sects;{sect})
                  (IP-PPL (VAG;_Ipr_ belonging;{belong[to]})
                          (PP-CLR (P-ROLE to;{to})
                                  (NP (D this;{this})
                                      (N religion;{religion})))))
          (VBP;_Cn.n_ call;{call})
          (NP-OB1 (PNX themselves;{themselves}))
          (NP-PRD (NPR Shinshu;{Shinshu}))
          (PP-NIM (P-ROLE as;{as})
                  (NP (D a;{a})
                      (ADJP (ADJ sect;{sect}))
                      (N name;{name})))
          (PUNC .))
  (ID 3_a_kyoto_3;BDS_00003;3))


%3 r_0003_0023__a_r_0003_0025__name a name r_0003_0024__sect sect r_0003_0023__a_r_0003_0025__name->r_0003_0024__sect [attrib] r_0003_0019__call call r_0003_0019__call->r_0003_0023__a_r_0003_0025__name as [nim] r_0003_0021__Shinshu Shinshu r_0003_0019__call->r_0003_0021__Shinshu [prd] r_0003_0020__themselves themselves r_0003_0019__call->r_0003_0020__themselves [arg1] r_0003_0014__sects sects r_0003_0019__call->r_0003_0014__sects [arg0] r_0003_0002__the_r_0003_0004__background the background r_0003_0019__call->r_0003_0002__the_r_0003_0004__background Due_to [nim] r_0003_0006__the_r_0003_0007__origin the origin r_0003_0002__the_r_0003_0004__background->r_0003_0006__the_r_0003_0007__origin of r_0003_0003__historical historical r_0003_0002__the_r_0003_0004__background->r_0003_0003__historical [attrib] r_0003_0015__belonging_r_0003_0016__to belonging to r_0003_0015__belonging_r_0003_0016__to->r_0003_0014__sects [inv_arg0] r_0003_0017__this_r_0003_0018__religion this religion r_0003_0015__belonging_r_0003_0016__to->r_0003_0017__this_r_0003_0018__religion [arg1] r_0003_0013__most__quant most [quant] r_0003_0013__most__quant->r_0003_0019__call [scope] r_0003_0013__most__quant->r_0003_0014__sects [restriction] r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name the sect name r_0003_0006__the_r_0003_0007__origin->r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name of 
arc(r_0003_0002__the_r_0003_0004__background,r_0003_0003__historical,attrib).
arc(r_0003_0002__the_r_0003_0004__background,r_0003_0006__the_r_0003_0007__origin,r_0003_0005__of).
arc(r_0003_0006__the_r_0003_0007__origin,r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name,r_0003_0008__of).
arc(r_0003_0013__most__quant,r_0003_0014__sects,restriction).
arc(r_0003_0013__most__quant,r_0003_0019__call,scope).
arc(r_0003_0015__belonging_r_0003_0016__to,r_0003_0014__sects,inv_arg0).
arc(r_0003_0015__belonging_r_0003_0016__to,r_0003_0017__this_r_0003_0018__religion,arg1).
arc(r_0003_0019__call,r_0003_0002__the_r_0003_0004__background,r_0003_0001__Due_to__nim).
arc(r_0003_0019__call,r_0003_0014__sects,arg0).
arc(r_0003_0019__call,r_0003_0020__themselves,arg1).
arc(r_0003_0019__call,r_0003_0021__Shinshu,prd).
arc(r_0003_0019__call,r_0003_0023__a_r_0003_0025__name,r_0003_0022__as__nim).
arc(r_0003_0023__a_r_0003_0025__name,r_0003_0024__sect,attrib).


%3 r_0003_0002__the_r_0003_0004__background the background r_0003_0003__historical historical r_0003_0002__the_r_0003_0004__background->r_0003_0003__historical [attrib] r_0003_0006__the_r_0003_0007__origin the origin r_0003_0002__the_r_0003_0004__background->r_0003_0006__the_r_0003_0007__origin of r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name the sect name r_0003_0006__the_r_0003_0007__origin->r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name of r_0003_0013__most__quant most [quant] r_0003_0014__sects sects r_0003_0013__most__quant->r_0003_0014__sects [restriction] r_0003_0019__call call r_0003_0013__most__quant->r_0003_0019__call [scope] r_0003_0015__belonging_r_0003_0016__to belonging to r_0003_0014__sects->r_0003_0015__belonging_r_0003_0016__to [inv_arg0] r_0003_0019__call->r_0003_0002__the_r_0003_0004__background Due_to [nim] r_0003_0019__call->r_0003_0014__sects [arg0] r_0003_0020__themselves themselves r_0003_0019__call->r_0003_0020__themselves [arg1] r_0003_0021__Shinshu Shinshu r_0003_0019__call->r_0003_0021__Shinshu [prd] r_0003_0023__a_r_0003_0025__name a name r_0003_0019__call->r_0003_0023__a_r_0003_0025__name as [nim] r_0003_0017__this_r_0003_0018__religion this religion r_0003_0015__belonging_r_0003_0016__to->r_0003_0017__this_r_0003_0018__religion [arg1] r_0003_0024__sect sect r_0003_0023__a_r_0003_0025__name->r_0003_0024__sect [attrib] 
fof(formula,axiom,
    ! [R_0003_0014__SECTS,R_0003_0017__THIS_R_0003_0018__RELIGION,R_0003_0015__BELONGING_R_0003_0016__TO] :
      ( ( r_0003_0017__this_r_0003_0018__religion(R_0003_0017__THIS_R_0003_0018__RELIGION)
        & r_0003_0014__sects(R_0003_0014__SECTS)
        & has_inv_arg0(R_0003_0014__SECTS,R_0003_0015__BELONGING_R_0003_0016__TO)
        & r_0003_0015__belonging_r_0003_0016__to(R_0003_0015__BELONGING_R_0003_0016__TO)
        & has_arg1(R_0003_0015__BELONGING_R_0003_0016__TO,R_0003_0017__THIS_R_0003_0018__RELIGION) )
     => ? [R_0003_0003__HISTORICAL,R_0003_0009__THE_R_0003_0010__SECT_R_0003_0011__NAME,R_0003_0006__THE_R_0003_0007__ORIGIN,R_0003_0002__THE_R_0003_0004__BACKGROUND,R_0003_0020__THEMSELVES,R_0003_0021__SHINSHU,R_0003_0024__SECT,R_0003_0023__A_R_0003_0025__NAME,R_0003_0019__CALL] :
          ( r_0003_0003__historical(R_0003_0003__HISTORICAL)
          & r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name(R_0003_0009__THE_R_0003_0010__SECT_R_0003_0011__NAME)
          & r_0003_0020__themselves(R_0003_0020__THEMSELVES)
          & r_0003_0021__Shinshu(R_0003_0021__SHINSHU)
          & r_0003_0024__sect(R_0003_0024__SECT)
          & r_0003_0019__call(R_0003_0019__CALL)
          & has_r_0003_0022__as__nim(R_0003_0019__CALL,R_0003_0023__A_R_0003_0025__NAME)
          & r_0003_0023__a_r_0003_0025__name(R_0003_0023__A_R_0003_0025__NAME)
          & has_attrib(R_0003_0023__A_R_0003_0025__NAME,R_0003_0024__SECT)
          & has_prd(R_0003_0019__CALL,R_0003_0021__SHINSHU)
          & has_arg1(R_0003_0019__CALL,R_0003_0020__THEMSELVES)
          & has_arg0(R_0003_0019__CALL,R_0003_0014__SECTS)
          & has_r_0003_0001__Due_to__nim(R_0003_0019__CALL,R_0003_0002__THE_R_0003_0004__BACKGROUND)
          & r_0003_0002__the_r_0003_0004__background(R_0003_0002__THE_R_0003_0004__BACKGROUND)
          & has_r_0003_0005__of(R_0003_0002__THE_R_0003_0004__BACKGROUND,R_0003_0006__THE_R_0003_0007__ORIGIN)
          & r_0003_0006__the_r_0003_0007__origin(R_0003_0006__THE_R_0003_0007__ORIGIN)
          & has_r_0003_0008__of(R_0003_0006__THE_R_0003_0007__ORIGIN,R_0003_0009__THE_R_0003_0010__SECT_R_0003_0011__NAME)
          & has_attrib(R_0003_0002__THE_R_0003_0004__BACKGROUND,R_0003_0003__HISTORICAL) ) ) ).