3_a_kyoto_3
%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_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_0014__sects
sects
r_0003_0019__call->r_0003_0014__sects
[arg0]
r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name
the sect name
r_0003_0019__call->r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name
[arg1]
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
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_0013__most_quant
most [quant]
r_0003_0013__most_quant->r_0003_0019__call
[scope]
r_0003_0013__most_quant->r_0003_0015__belonging
[restriction]
r_0003_0006__the_r_0003_0007__origin->r_0003_0009__the_r_0003_0010__sect_r_0003_0011__name
of
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__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))