4_a_kyoto_3
It used to also be called Ikko Shu and Monto Shu.
arc(r_0004_0002__used, r_0004_0003__to_r_0004_0005__be, scope).
arc(r_0004_0003__to_r_0004_0005__be, r_0004_0004__also, nim10).
arc(r_0004_0003__to_r_0004_0005__be, r_0004_0006__called, scope).
arc(r_0004_0006__called, r_0004_0001__It, arg1).
arc(r_0004_0006__called, r_0004_0009__and, prd).
arc(r_0004_0006__called, z_000_4_a_kyoto_3_16, arg0).
arc(r_0004_0009__and, r_0004_0007__Ikko_r_0004_0008__Shu, conj1).
arc(r_0004_0009__and, r_0004_0010__Monto_r_0004_0011__Shu, conj2).
fof(formula,axiom,
? [R_4_2_USED_TO_BE_CALLED,Z_4_A_KYOTO_3_16,R_4_1_IT,R_4_4_ALSO,R_4_9_AND,R_4_7_IKKO_SHU,R_4_10_MONTO_SHU] :
( it(R_4_1_IT)
& also(R_4_4_ALSO)
& ikko_Shu(R_4_7_IKKO_SHU)
& monto_Shu(R_4_10_MONTO_SHU)
& used_to_be_called(R_4_2_USED_TO_BE_CALLED,Z_4_A_KYOTO_3_16,R_4_1_IT,R_4_9_AND)
& and(R_4_9_AND)
& conj1(R_4_9_AND,R_4_7_IKKO_SHU)
& conj2(R_4_9_AND,R_4_10_MONTO_SHU)
& nim10(R_4_2_USED_TO_BE_CALLED,R_4_4_ALSO) ) ).
( (IP-MAT (NP-SBJ;{JODO_SHINSHU} (PRO It;{it}))
(MD;_cat_Vt_ used;{used})
(IP-INF-CAT (TO to;{to})
(ADVP-NIM (ADV also;{also}))
(BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Cn.n_ called;{call})
(NP-PRD (NLYR (NLYR (NPR Ikko;{Ikko})
(NPR Shu;{Shu}))
(CONJP (CONJ and;{and})
(NLYR (NPR Monto;{Monto})
(NPR Shu;{Shu})))))))
(PUNC .))
(ID 4_a_kyoto_3;BDS_00003;4))