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.

%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_0019__call->r_0003_0002__the_r_0003_0004__background Due to [nim] r_0003_0019__call->r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name [arg1] r_0003_0019__call->r_0003_0014__sects [arg0] 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_0015__belonging belonging r_0003_0015__belonging->r_0003_0014__sects [arg0] r_0003_0017__this_r_0003_0018__religion this religion r_0003_0015__belonging->r_0003_0017__this_r_0003_0018__religion to [clr] r_0003_0024__sect sect r_0003_0023__a_r_0003_0025__name->r_0003_0024__sect [attrib] 
arc(r_0003_0002__the_r_0003_0004__background, r_0003_0003__historical, attrib8).
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_0014__sects, arg0).
arc(r_0003_0015__belonging, r_0003_0017__this_r_0003_0018__religion, r_0003_0016__to_clr44).
arc(r_0003_0019__call, r_0003_0002__the_r_0003_0004__background, r_0003_0001__Due_to_nim5).
arc(r_0003_0019__call, r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name, arg1).
arc(r_0003_0019__call, r_0003_0014__sects, arg0).
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_nim60).
arc(r_0003_0023__a_r_0003_0025__name, r_0003_0024__sect, attrib63).


%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_0015__belonging belonging r_0003_0013__most_quant->r_0003_0015__belonging [restriction] r_0003_0019__call call r_0003_0013__most_quant->r_0003_0019__call [scope] r_0003_0014__sects sects r_0003_0015__belonging->r_0003_0014__sects [arg0] r_0003_0017__this_r_0003_0018__religion this religion r_0003_0015__belonging->r_0003_0017__this_r_0003_0018__religion to [clr] r_0003_0019__call->r_0003_0002__the_r_0003_0004__background Due to [nim] r_0003_0019__call->r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name [arg1] r_0003_0019__call->r_0003_0014__sects [arg0] 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_0024__sect sect r_0003_0023__a_r_0003_0025__name->r_0003_0024__sect [attrib] 
fof(formula,axiom,
    ! [R_3_15_BELONGING,R_3_14_SECTS,R_3_17_THIS_RELIGION] :
      ( ( sects(R_3_14_SECTS)
        & this_religion(R_3_17_THIS_RELIGION)
        & belonging(R_3_15_BELONGING,R_3_14_SECTS)
        & to_clr44(R_3_15_BELONGING,R_3_17_THIS_RELIGION) )
     => ? [R_3_19_CALL,R_3_21_SHINSHU,R_3_2_THE_BACKGROUND,R_3_3_HISTORICAL,R_3_6_THE_ORIGIN,R_3_9_THE_SECT_NAME,R_3_23_A_NAME,R_3_24_SECT] :
          ( shinshu(R_3_21_SHINSHU)
          & historical(R_3_3_HISTORICAL)
          & the_sect_name(R_3_9_THE_SECT_NAME)
          & sect(R_3_24_SECT)
          & call(R_3_19_CALL,R_3_14_SECTS,R_3_9_THE_SECT_NAME,R_3_21_SHINSHU)
          & due_to_nim5(R_3_19_CALL,R_3_2_THE_BACKGROUND)
          & the_background(R_3_2_THE_BACKGROUND)
          & attrib8(R_3_2_THE_BACKGROUND,R_3_3_HISTORICAL)
          & of(R_3_2_THE_BACKGROUND,R_3_6_THE_ORIGIN)
          & the_origin(R_3_6_THE_ORIGIN)
          & of(R_3_6_THE_ORIGIN,R_3_9_THE_SECT_NAME)
          & as_nim60(R_3_19_CALL,R_3_23_A_NAME)
          & a_name(R_3_23_A_NAME)
          & attrib63(R_3_23_A_NAME,R_3_24_SECT) ) ) ).


n3_a_kyoto_3 n3_a_kyoto_3_4 Due_to n3_a_kyoto_3_7 the n3_a_kyoto_3_10 historical n3_a_kyoto_3_12 background n3_a_kyoto_3_15 of n3_a_kyoto_3_18 the n3_a_kyoto_3_20 origin n3_a_kyoto_3_23 of n3_a_kyoto_3_26 the n3_a_kyoto_3_28 sect n3_a_kyoto_3_30 name n3_a_kyoto_3_32 , n3_a_kyoto_3_35 most n3_a_kyoto_3_37 sects n3_a_kyoto_3_40 belonging n3_a_kyoto_3_43 to n3_a_kyoto_3_46 this n3_a_kyoto_3_48 religion n3_a_kyoto_3_50 call n3_a_kyoto_3_53 themselves n3_a_kyoto_3_56 Shinshu n3_a_kyoto_3_59 as n3_a_kyoto_3_62 a n3_a_kyoto_3_65 sect n3_a_kyoto_3_67 name n3_a_kyoto_3_69 . n3_a_kyoto_3_1 IP-MAT n3_a_kyoto_3_2 PP-NIM n3_a_kyoto_3_1->n3_a_kyoto_3_2 n3_a_kyoto_3_31 PUNC n3_a_kyoto_3_1->n3_a_kyoto_3_31 n3_a_kyoto_3_33 NP-SBJ n3_a_kyoto_3_1->n3_a_kyoto_3_33 n3_a_kyoto_3_49 VBP;_Cn.n_ n3_a_kyoto_3_1->n3_a_kyoto_3_49 n3_a_kyoto_3_51 NP-OB1 n3_a_kyoto_3_1->n3_a_kyoto_3_51 n3_a_kyoto_3_54 NP-PRD n3_a_kyoto_3_1->n3_a_kyoto_3_54 n3_a_kyoto_3_57 PP-NIM n3_a_kyoto_3_1->n3_a_kyoto_3_57 n3_a_kyoto_3_68 PUNC n3_a_kyoto_3_1->n3_a_kyoto_3_68 n3_a_kyoto_3_3 P-ROLE n3_a_kyoto_3_2->n3_a_kyoto_3_3 n3_a_kyoto_3_5 NP n3_a_kyoto_3_2->n3_a_kyoto_3_5 n3_a_kyoto_3_3->n3_a_kyoto_3_4 n3_a_kyoto_3_6 D n3_a_kyoto_3_5->n3_a_kyoto_3_6 n3_a_kyoto_3_8 ADJP n3_a_kyoto_3_5->n3_a_kyoto_3_8 n3_a_kyoto_3_11 N n3_a_kyoto_3_5->n3_a_kyoto_3_11 n3_a_kyoto_3_13 PP n3_a_kyoto_3_5->n3_a_kyoto_3_13 n3_a_kyoto_3_6->n3_a_kyoto_3_7 n3_a_kyoto_3_9 ADJ n3_a_kyoto_3_8->n3_a_kyoto_3_9 n3_a_kyoto_3_9->n3_a_kyoto_3_10 n3_a_kyoto_3_11->n3_a_kyoto_3_12 n3_a_kyoto_3_14 P-ROLE n3_a_kyoto_3_13->n3_a_kyoto_3_14 n3_a_kyoto_3_16 NP n3_a_kyoto_3_13->n3_a_kyoto_3_16 n3_a_kyoto_3_14->n3_a_kyoto_3_15 n3_a_kyoto_3_17 D n3_a_kyoto_3_16->n3_a_kyoto_3_17 n3_a_kyoto_3_19 N n3_a_kyoto_3_16->n3_a_kyoto_3_19 n3_a_kyoto_3_21 PP n3_a_kyoto_3_16->n3_a_kyoto_3_21 n3_a_kyoto_3_17->n3_a_kyoto_3_18 n3_a_kyoto_3_19->n3_a_kyoto_3_20 n3_a_kyoto_3_22 P-ROLE n3_a_kyoto_3_21->n3_a_kyoto_3_22 n3_a_kyoto_3_24 NP n3_a_kyoto_3_21->n3_a_kyoto_3_24 n3_a_kyoto_3_22->n3_a_kyoto_3_23 n3_a_kyoto_3_25 D n3_a_kyoto_3_24->n3_a_kyoto_3_25 n3_a_kyoto_3_27 N n3_a_kyoto_3_24->n3_a_kyoto_3_27 n3_a_kyoto_3_29 N n3_a_kyoto_3_24->n3_a_kyoto_3_29 n3_a_kyoto_3_25->n3_a_kyoto_3_26 n3_a_kyoto_3_27->n3_a_kyoto_3_28 n3_a_kyoto_3_29->n3_a_kyoto_3_30 n3_a_kyoto_3_31->n3_a_kyoto_3_32 n3_a_kyoto_3_34 Q n3_a_kyoto_3_33->n3_a_kyoto_3_34 n3_a_kyoto_3_36 NS n3_a_kyoto_3_33->n3_a_kyoto_3_36 n3_a_kyoto_3_38 IP-PPL n3_a_kyoto_3_33->n3_a_kyoto_3_38 n3_a_kyoto_3_34->n3_a_kyoto_3_35 n3_a_kyoto_3_36->n3_a_kyoto_3_37 n3_a_kyoto_3_39 VAG;_Ipr_ n3_a_kyoto_3_38->n3_a_kyoto_3_39 n3_a_kyoto_3_41 PP-CLR n3_a_kyoto_3_38->n3_a_kyoto_3_41 n3_a_kyoto_3_39->n3_a_kyoto_3_40 n3_a_kyoto_3_42 P-ROLE n3_a_kyoto_3_41->n3_a_kyoto_3_42 n3_a_kyoto_3_44 NP n3_a_kyoto_3_41->n3_a_kyoto_3_44 n3_a_kyoto_3_42->n3_a_kyoto_3_43 n3_a_kyoto_3_45 D n3_a_kyoto_3_44->n3_a_kyoto_3_45 n3_a_kyoto_3_47 N n3_a_kyoto_3_44->n3_a_kyoto_3_47 n3_a_kyoto_3_45->n3_a_kyoto_3_46 n3_a_kyoto_3_47->n3_a_kyoto_3_48 n3_a_kyoto_3_49->n3_a_kyoto_3_50 n3_a_kyoto_3_52 PNX n3_a_kyoto_3_51->n3_a_kyoto_3_52 n3_a_kyoto_3_52->n3_a_kyoto_3_53 n3_a_kyoto_3_55 NPR n3_a_kyoto_3_54->n3_a_kyoto_3_55 n3_a_kyoto_3_55->n3_a_kyoto_3_56 n3_a_kyoto_3_58 P-ROLE n3_a_kyoto_3_57->n3_a_kyoto_3_58 n3_a_kyoto_3_60 NP n3_a_kyoto_3_57->n3_a_kyoto_3_60 n3_a_kyoto_3_58->n3_a_kyoto_3_59 n3_a_kyoto_3_61 D n3_a_kyoto_3_60->n3_a_kyoto_3_61 n3_a_kyoto_3_63 ADJP n3_a_kyoto_3_60->n3_a_kyoto_3_63 n3_a_kyoto_3_66 N n3_a_kyoto_3_60->n3_a_kyoto_3_66 n3_a_kyoto_3_61->n3_a_kyoto_3_62 n3_a_kyoto_3_64 ADJ n3_a_kyoto_3_63->n3_a_kyoto_3_64 n3_a_kyoto_3_64->n3_a_kyoto_3_65 n3_a_kyoto_3_66->n3_a_kyoto_3_67 n3_a_kyoto_3_68->n3_a_kyoto_3_69 
( (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))