4_a_kyoto_3
It used to also be called Ikko Shu and Monto Shu.
( (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))
arc(r_0004_0002__used,r_0004_0005__be,scope).
arc(r_0004_0005__be,r_0004_0004__also,nim).
arc(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_0004_5005___star_,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_0004_0004__ALSO,R_0004_0001__IT,R_0004_0007__IKKO_R_0004_0008__SHU,R_0004_0010__MONTO_R_0004_0011__SHU,R_0004_0009__AND,Z_0004_5005___STAR_,R_0004_0002__USED_R_0004_0005__BE_R_0004_0006__CALLED] :
( r_0004_0001__It(R_0004_0001__IT)
& r_0004_0004__also(R_0004_0004__ALSO)
& r_0004_0007__Ikko_r_0004_0008__Shu(R_0004_0007__IKKO_R_0004_0008__SHU)
& r_0004_0010__Monto_r_0004_0011__Shu(R_0004_0010__MONTO_R_0004_0011__SHU)
& z_0004_5005___star_(Z_0004_5005___STAR_)
& r_0004_0002__used_r_0004_0005__be_r_0004_0006__called(R_0004_0002__USED_R_0004_0005__BE_R_0004_0006__CALLED)
& has_arg0(R_0004_0002__USED_R_0004_0005__BE_R_0004_0006__CALLED,Z_0004_5005___STAR_)
& has_prd(R_0004_0002__USED_R_0004_0005__BE_R_0004_0006__CALLED,R_0004_0009__AND)
& r_0004_0009__and(R_0004_0009__AND)
& has_conj2(R_0004_0009__AND,R_0004_0010__MONTO_R_0004_0011__SHU)
& has_conj1(R_0004_0009__AND,R_0004_0007__IKKO_R_0004_0008__SHU)
& has_arg1(R_0004_0002__USED_R_0004_0005__BE_R_0004_0006__CALLED,R_0004_0001__IT)
& has_nim(R_0004_0002__USED_R_0004_0005__BE_R_0004_0006__CALLED,R_0004_0004__ALSO) ) ).